Protocol verification as a hardware design aid (0)

by David L Dill, Andreas J Drexler, Alan J Hu, C Han Yang
Venue:In Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors