A tactical framework for digital design (1988)

by Steven D Johnson, B Bose, C D Boyer
Venue:In Birtwistle and Subramanyam, editors, VLSI Speci cation, Veri cation and Synthesis