Conference paper
Verification of large synthesized designs
D. Brand
ICCAD 1993
Paper
A note on data abstractions
Abstract
No abstract available.
Related
J.A. Darringer, Reinaldo A. Bergamaschi, et al.
IBM J. Res. Dev
Conference paper
Applications of global flow analysis in logic synthesis
Leonard Berman, Louise Trevillyan, et al.
ISCAS 1987
D. Brand
IEEE TC