
This text constitutes proceedings from the 1999 International Conference on Computer-Aided Design (ICCAD'99). Topics covered include placement, BDDs in formal verification and practical issues in order reduction.
Page Count:
613
Publication Date:
1999-01-01
ISBN-10:
0780358333
ISBN-13:
9780780358331
No comments yet. Be the first to share your thoughts!