Implementing safety critical systems: The VIPER microprocessor (1988)

by W J Cullyer
Venue:VLSI Speci�cation, Veri�cation and Synthesis