Technical Report TR221:
S. D. Johnson, B. Bose, and C. D. Boyer
A Tactical Framework for Hardware Design
[Also in VLSI Specification, Verification and Synthesis, [Proceedings of the 1987 Calgary Workshop] G. Birtwistel and P. A. Subramanyam (eds.) Kluwer Academic Publishers, (1987), 349--384]
The abstact is not available. Please see the full paper.
- Available as: