Separation Logic for High-level Synthesis - 9783319532219

Sasao - Switching Theory for Logic Synthesis - New paperback or softba - X555z

Logic Synthesis for FPGA-Based Control Units - 9783030382971

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

VHDL for Logic Synthesis Rushton, Andrew:

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

The Logic of Chemical Synthesis

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