Volume 1, Number 1, 1992
Alain J. Martin:
Asynchronous Datapaths and the Design of an Asynchronous Adder.
117-137
Volume 1, Number 2/3, October 1992
Special Issue on Conputer-Aided Verification:
General Methods
Aarti Gupta:
Formal Hardware Verification Methods: A Survey.
151-238
Volume 1, Number 4, December 1992
Special Issue on Computer-Aided Verification:
Special Methods I
Paul Loewenstein:
Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic.
355-383
data released under the ODC-BY 1.0 license
