High-Level Design, Validation and Test Workshop (HLDVT 2001) Proceedings of the 6th IEEE International Conference
| Author/creator | IEEE Computer Society Staff |
| Other author | IEEE Xplore (Online service) |
| Format | Electronic |
| Publication Info | I E E E [Imprint] Los Alamitos : IEEE Computer Society Press Piscataway : IEEE [Distributor] |
| Description | 200 p. 11.000 x 08.500 in. |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) Conference Proceedings |
| Subjects |
| Summary | Annotation Eighteen full papers and eight short presentations from international engineers and researchers discuss current developments, new methodologies, and emerging trends in design verification and test. The focus of the sixth conference was on hardware-software embedded systems and system-on-chips. Topics include, for example, the automatic validation of pipeline specifications; the use of sequential ATPG for model checking; formal verification of the Pentium 4 multiplier; and using cutwidth to improve symbolic simulation and Boolean satisfiability. The volume is not indexed. c. Book News Inc. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9780769514116 |
| ISBN | 0769514111 (Trade Paper) Active Record |
| Standard identifier# | 9780769514116 |
| Stock number | PR1411 00029433 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |