Introduction to VLSI Systems
A logic design structure for LSI testability
DAC '77 Proceedings of the 14th Design Automation Conference
A retrospective on software engineering in design automation
DAC '82 Proceedings of the 19th Design Automation Conference
Designer's Workbench: Delivery of cad tools
DAC '82 Proceedings of the 19th Design Automation Conference
Design verification system for large-scale LSI designs
DAC '82 Proceedings of the 19th Design Automation Conference
Evolution of the engineering design system data base
DAC '82 Proceedings of the 19th Design Automation Conference
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Structured design verification: Function and timing
DAC '83 Proceedings of the 20th Design Automation Conference
DAC '83 Proceedings of the 20th Design Automation Conference
IBM Journal of Research and Development
| Hi-index | 0.00 |
We have developed Design and Verification (DAV) as a new design front-end for the IBM Engineering Design System. DAV is a menu-driven system with powerful graphics capabilities for the entry and verification of a logic design. The design is hierarchically structured, using high-level technology-independent operators that can be simulated and verified at a purely logical level, then transformed into specific technologies and checked for LSSD rules and physical design constraints. The stated goals of DAV are for the product to get to the market in 30% less time, with 40% lower design cost, and with 98% percent of the errors removed prior to hardware prototyping. We expect to achieve these goals fully.