Translation of Formal Protocol Specifications to VLSI Designs.
A. S. KrishnakumarB. KrishnamurthyKrishan K. SabnaniPublished in: PSTV (1987)
Keyphrases
- formal specification
- protocol specification
- model checker
- formal analysis
- formal methods
- reactive systems
- formal language
- operational semantics
- signal processing
- state machines
- formal descriptions
- model checking
- requirements specification
- lightweight
- agent communication language
- formal model
- machine translation
- high level
- design space
- delay insensitive
- network protocols
- high speed
- query translation
- cryptographic protocols
- specification language
- design requirements
- communication protocols
- formal semantics