Abstract
This paper introduces a new technique, called syntax-directed verification, for proving properties of circuits composed of standard cells. The lengths of proofs using this technique are independent of the size of the circuits, but depend only on the number of standard cell types and the complexity of the rules for interconnecting them. Syntax-directed verification is thus well-suited to VLSI, in which large circuits are built using relatively few types of cells. The paper describes the syntax-directed verification method, and presents an example of its use.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. W. Floyd, “Assigning Meanings to Programs”, Proc. Amer. Math Soc. Symp. in Applied Mathematics 19 (1967), pp. 19–31.
M. J. Foster and H. T. Kung, “The Design of Special-Purpose VLSI Chips,” Computer, Vol. 13, No. 1, Jan. 1980, pp. 26–40.
M. J. Foster and H. T. Kung, “Recognize Regular Languages With Programmable Building-Blocks,” in: VLSI-81, J. P. Gray editor, Academic Press, 1981, pp. 75–84.
C. E. Leiserson, “Systolic Priority Queues,” Proc. Caltech Conf. Very Large Scale Integration, California Institute of Technology, Pasadena, Calif., Jan. 1979, pp. 199–214.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Carnegie-Mellon University
About this chapter
Cite this chapter
Foster, M.J. (1981). Syntax-Directed Verification of Circuit Function. In: Kung, H.T., Sproull, B., Steele, G. (eds) VLSI Systems and Computations. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68402-9_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-68402-9_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-68404-3
Online ISBN: 978-3-642-68402-9
eBook Packages: Springer Book Archive