Integrated Formal and Informal Design Verification of Commercial Integrated Circuits.
Carl PixleyKurt ShultzJun YuanPublished in: PDPTA (1999)
Keyphrases
- integrated circuit
- functional verification
- formal methods
- design process
- real time
- information systems
- printed circuit boards
- case study
- user interface
- knowledge based systems
- software architecture
- hardware description language
- formal verification
- design space
- conceptual design
- formal specification
- low cost
- website
- image processing
- artificial intelligence