B. A. Prasad. Modelling techniques for dynamic logic and test pattern generation of a microprocessor. In William M. van Cleemput, John C. Foster, Donald C. S. Allison, editors, Proceedings of the Symposium on Design Automation and Microprocessors, Palo Alto, California, February 24-25, 1977. pages 100-107, IEEE Press / ACM Digital Library, 1977. [doi]
Abstract is missing.