Authors: BERGAMASCHI RA OCONNOR RA STOK L MORICZ MZ PRAKASH S KUEHLMANN A RAO DS

Citation: Ra. Bergamaschi et al., HIGH-LEVEL SYNTHESIS IN AN INDUSTRIAL-ENVIRONMENT, IBM journal of research and development, 39(1-2), 1995, pp. 131-148

Authors: KUEHLMANN A SRINIVASAN A LAPOTIN DP

Citation: A. Kuehlmann et al., VERITY - A FORMAL VERIFICATION PROGRAM FOR CUSTOM CMOS CIRCUITS, IBM journal of research and development, 39(1-2), 1995, pp. 149-165