Publisher's Synopsis
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.
Hardback (30 Nov 1999)
Not available for sale
Out of stock
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.
ISBN: | 9780780358331 |
Publisher: | I.E.E.E.Press |
Imprint: | I.E.E.E.Press |
Pub date: | 30 Nov 1999 |
DEWEY: | 620.00420285 |
Language: | English |
Number of pages: | 642 |
Weight: | -1g |