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.
Book (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: | 9780780358324 |
Publisher: | IEEE Computer Society Press |
Imprint: | IEEE Computer Society Press |
Pub date: | 30 Nov 1999 |
DEWEY: | 621.3815 |
DEWEY edition: | 21 |
Language: | English |
Number of pages: | 613 |
Weight: | -1g |
Height: | 266mm |
Width: | 209mm |
Spine width: | 31mm |