Separation Logic for High-level Synthesis - 9783319532219

Logic Synthesis for FPGA-Based Control Units - 9783030382971

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

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

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

New Data Structures and Algorithms for Logic Synthesis and Verifi