Logic Synthesis for VLSI-Based Combined Finite State Machines More Books Like This

SSA-based Compiler Design

Application and Theory of Petri Nets and Concurrency