Design and implementation of a gradual verifier.
Mona ZhangJacob GorenburgPublished in: SPLASH (Companion) (2020)
Keyphrases
- case study
- architectural design
- knowledge based systems
- efficient implementation
- current status
- engineering design
- implementation issues
- software architecture
- design decisions
- high level synthesis
- modular architecture
- platform independent
- control structure
- circuit design
- rapid prototyping
- design considerations
- computer architecture
- future development
- real time
- design principles
- design process
- building blocks
- low cost
- expert systems
- decision trees
- artificial intelligence