Formal specification and verification of transfer-protocols for system-design (1998)

by O Drögehorn, O Terhorst, H-D Hümmer, W Geisselhardt
Venue:in VHDL, in: Proc. of the 1st Internat. Forum on Design Languages (FDL