Separation Logic for High-level Synthesis - 9783319850948

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

Khalid - Domain Specific High-Level Synthesis for Cryptographic Worklo - X555z

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

Gerhard - BIG BIRD! - ODERN SIGHTINGS OF FLYING ONSTERS - New paperbac - X555z

Barkalov - Logic Synthesis for FPGA-Based Control Units Structural D - X555z

Martens - High-Level Modeling and Synthesis of Analog Integrated Syste - X555z

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