Overview

The provided evidence identifies the University of Washington through computer-architecture and processor-verification research. In the paper ProcessorFuzz: Processor Fuzzing with Control and Status Registers Guidance, Anoop Nataraja and Michael Bedford Taylor are listed under affiliation Department of ECE, University of Washington. A separate processor-verification paper describes BlackParrot as joint work of the University of Washington and Boston University.

ProcessorFuzz connection

The ProcessorFuzz paper presents ProcessorFuzz, a processor fuzzer guided by a CSR-transition coverage metric. The paper states that ProcessorFuzz monitors transitions in Control and Status Registers (CSRs), which control and hold processor state, and uses those transitions as feedback to explore new processor states.

The paper reports evaluation on three real-world open-source RISC-V processors: Rocket, BOOM, and BlackParrot. It states that ProcessorFuzz triggered ground-truth bugs 1.23× faster on average than DIFUZZRTL, exposed eight new bugs across the three RISC-V cores and one new bug in a reference model, and that all nine bugs were confirmed by the corresponding project developers.

BlackParrot connection

The provided MICRO 2021 evidence describes BlackParrot as joint work of the University of Washington and Boston University. It characterizes BlackParrot as a SystemVerilog, single-issue, in-order core implementing the 64-bit RISC-V instruction set, capable of booting Linux, with a four-core configuration taped out in 12 nm technology.

Evidence-limited notes

No broader institutional facts about the University of Washington are present in the provided evidence. This article therefore records only the supported links to the ProcessorFuzz publication and the BlackParrot processor-core work.