On Coosing a Hardware Descriptive Language for Digital Systems Testing/Verification.
Bulent I. DervisogluPublished in: ITC (1984)
Keyphrases
- real time
- computer systems
- management system
- hardware designs
- computing systems
- expert systems
- processing capabilities
- embedded systems
- language learning
- low cost
- hardware and software
- asynchronous circuits
- formal languages
- programming language
- model checking
- complex systems
- distributed systems
- circuit design
- automated verification
- concurrent programs