Separation Logic for High-level Synthesis - 9783319850948

Winterstein - Separation Logic for High-level Synthesis - New hardback - X555z

Logic Synthesis for FPGA-Based Control Units - 9783030382971

Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation (NATO

VHDL for Logic Synthesis Rushton, Andrew:

VHDL for Logic Synthesis Andrew Rushton Hardcover John Wiley Sons

Logic Synthesis for VLSI-Based Combined Finite State Machines Syn

New Data Structures and Algorithms for Logic Synthesis and Verifi