Protocol Verification as a Hardware Design Aid.
David L. DillAndreas J. DrexlerAlan J. HuC. Han YangPublished in: ICCD (1992)
Keyphrases
- hardware design
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- hardware implementation
- model checking
- fpga hardware
- formal proof
- formal verification
- formal methods
- field programmable gate array
- tcp ip
- lightweight
- general purpose
- real time
- efficient implementation
- hardware software
- colored petri nets
- pattern recognition
- hardware description language
- case study
- artificial intelligence