Logic Synthesis for Asynchronous Controllers and Interfaces b... - 9783642627767

Gangadharan - Constraining Designs for Synthesis and Timing Analysis - X555z

Clement - Logic Program Synthesis and Transformation Proceedings of - X555z

Amaru - New Data Structures and Algorithms for Logic Synthesis and Ver - X555z

Cortadella - Logic Synthesis for Asynchronous Controllers and Interfac - X555z

D. Hachtel - Logic Synthesis and Verification Algorithms - New paperba - X555z

Amaru - New Data Structures and Algorithms for Logic Synthesis and Ver - X555z

Logic Synthesis for Asynchronous Controllers and Interfaces by J Cortadella: New