Commercial Design Verification: Methodology and Tools.
Carl PixleyNoel R. StraderW. C. BruceJaehong ParkMatt KaufmannKurt ShultzMichael BurnsJainendra KumarJun YuanJanet NguyenPublished in: ITC (1996)
Keyphrases
- design principles
- computer aided software engineering
- design methodology
- building blocks
- design process
- methodological framework
- design tools
- design concepts
- computer aided
- user friendly
- formal methods
- engineering design
- real time
- commercial products
- design decisions
- learning algorithm
- databases
- model checking
- expert systems
- information systems