Structured design verification: Function and timing

C. J. Rimkus, Michael R. Wayne, D. D. Cheng, F. J. Magistro. Structured design verification: Function and timing. In Charles E. Radke, editor, Proceedings of the 20th Design Automation Conference, DAC '83, Miami Beach, Florida, USA, June 27-29, 1983. pages 246-252, ACM/IEEE, 1983. [doi]

Abstract

Abstract is missing.