Constructive library-aware synthesis using symmetries

Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537) ◽

10.1109/date.2000.840040 ◽

2002 ◽

Author(s):

V.N. Kravet ◽

K.A. Sakallah

Download Full-text