Experience with Prolog as a Hardware Specification Language.
William R. BushGino ChengPatrick C. McGeerAlvin M. DespainPublished in: SLP (1987)
Keyphrases
- specification language
- programming language
- description language
- formal specification
- logic programming
- low cost
- hardware and software
- real time
- requirements specification
- object oriented
- software environment
- symbolic execution
- software engineering
- embedded systems
- prolog programs
- computer systems
- hardware implementation
- cooperative
- model checker
- reinforcement learning