Design and Development Paradigm for Industrial Formal Verification CAD Tools.
Narayanan KrishnamurthyMagdy S. AbadirAndrew K. MartinJacob A. AbrahamPublished in: IEEE Des. Test Comput. (2001)
Keyphrases
- formal verification
- design process
- design tools
- design principles
- computer aided
- knowledge based systems
- design decisions
- case study
- computer aided design
- conceptual design
- functional verification
- design processes
- rapid prototyping
- user interface
- software developers
- model checking
- building blocks
- decision support
- model checker
- design guidelines
- automated verification
- industrial applications
- design patterns
- software design
- software engineering
- end users
- symbolic model checking
- web services