Specification and Verification of Synchronous Hardware using LOTOS.
Ji HeKenneth J. TurnerPublished in: FORTE (1999)
Keyphrases
- formal verification
- temporal ordering
- hardware designs
- asynchronous circuits
- low cost
- formal methods
- hardware and software
- protocol specification
- model checking
- real time
- hardware implementation
- control program
- asynchronous communication
- image processing
- computer systems
- high level
- computing power
- data acquisition
- hardware architecture
- digital circuits
- vlsi implementation
- reactive systems
- colored petri nets
- specification language
- parallel hardware
- signature verification
- formal specification
- conceptual model
- user defined
- artificial intelligence