Separation Logic for High-level Synthesis - 9783319850948

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

Maxwell - Walter A spanking and a whipping from Monica - New paperbac - X555z

Vargas - Kuckle Duster A Guide to Using Brass Knuckles - New paperbac - X555z

Barkalov - Logic Synthesis for FPGA-Based Finite State Machines - New - X555z

Andrew Rushton - VHDL for Logic Synthesis - New Hardback - X555z

Separation Logic for High-level Synthesis - 9783319532219

Baranov - Logic Synthesis for Control Automata - New hardback or cased - X555z