Hardware synthesis from protocol specifications in LOTOS

Authors:
Keiichi Yasumoto;Akira Kitajima;Teruo Higashino;Kenichi Taniguchi
Affiliations:
-;-;-;-
Venue:
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Year:
1998

Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization

Proceedings of the 37th Annual Design Automation Conference
Protocol animation based on event-driven visualization scenarios in real-time LOTOS

Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
Design and Implementation of FPGA Circuits for High Speed Network Monitors

FPL '02 Proceedings of the Reconfigurable Computing Is Going Mainstream, 12th International Conference on Field-Programmable Logic and Applications

Hi-index	0.00