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.
- ISBN10 0780358333
- ISBN13 9780780358331
- Publish Date 1 November 1999
- Publish Status Active
- Publish Country US
- Imprint I.E.E.E.Press
- Edition 1999 ed.
- Format Hardcover
- Pages 642
- Language English