Synthesis Flow

Practical Formal Methods for Hardware Design ◽

10.1007/978-3-642-60641-0_5 ◽

1997 ◽

pp. 81-96

Author(s):

Werner Grass ◽

Wolf-Dieter Tiedemann ◽

Carlos Delgado Kloos ◽

André Marin López

Download Full-text