Volume 13, Number 1, August 1998
Volume 13, Number 2, October 1998
Li-C. Wang,
Magdy S. Abadir:
Test Generation Based on High-Level Assertion Specification for PowerPCTM Microprocessor Embedded Arrays.
121-135
Volume 13, Number 3, December 1998
Kanji Hirabayashi:
A Method of Formal Verification of Cryptographic Circuits.
321-322