Axiomatic semantics of a hardware specification language.
Xin HuaHantao ZhangPublished in: Great Lakes Symposium on VLSI (1992)
Keyphrases
- specification language
- programming language
- description language
- formal specification
- low cost
- hardware and software
- real time
- symbolic execution
- software environment
- orders of magnitude
- building blocks
- hardware implementation
- general purpose
- dynamic programming
- case study
- set theory
- model checker
- artificial intelligence