Synthesis of Glue Logic, Transactors, Multiplexors and Serialisors from Protocol Specifications.
David J. GreavesM. J. NamPublished in: FDL (2010)
Keyphrases
- model checker
- delay insensitive
- model checking
- recursive programs
- program synthesis
- formal verification
- asynchronous circuits
- logic synthesis
- temporal logic
- protocol specification
- formal specification
- formal methods
- state machines
- set theory
- state machine
- software package
- bounded model checking
- transition systems
- formal language
- modal logic
- specification language
- functional programs
- predicate logic
- communication protocols
- cryptographic protocols
- authentication protocol
- network protocols
- multi valued
- formal analysis
- lightweight
- logic programming
- control flow
- linear temporal logic
- finite state machines
- formal descriptions