Abstract—We present a case study in employing rule-based high-level synthesis to implement a parameterizable general purpose processor. We contrast a generic implementation in Bluespec SystemVerilog ...
Designing a synchronous finite state machine (FSM) is a common task for a digital logic engineer. This paper discusses a variety of issues regarding FSM design using Verilog and VHDL coding styles.
The functional verification process involves the development of constrained random test cases, and the technique of coverage driven verification [1] to produce, and analyze the simulation results.