Hardware synthesis from protocol specifications in LOTOS.
Keiichi YasumotoAkira KitajimaTeruo HigashinoKenichi TaniguchiPublished in: FORTE (1998)
Keyphrases
- protocol specification
- low cost
- model checker
- hardware and software
- lightweight
- program synthesis
- state machines
- real time
- model checking
- tcp ip
- computing systems
- formal specification
- security analysis
- formal specification language
- delay insensitive
- formal analysis
- computer systems
- massively parallel
- network protocols
- vlsi implementation
- cryptographic protocols
- hardware design
- formal methods
- authentication protocol
- communication protocol
- application layer
- hardware architecture
- embedded systems
- security protocols
- end to end
- communication protocols
- texture synthesis
- quality of service
- petri net
- temporal ordering
- functional requirements
- mobile devices
- high level