References
1980. Roth, J. Paul, “Computer Logic, Testing, and Verification“, COMPUTER SCIENCE PRESS, Rockville, Maryland.
1982. Roth, J. Paul and Leon S. Levy, “Equivalence of Hardware and Software“, submitted for publication. Cf. IBM Research RC 9716.
1982. Roth, J. Paul, “Dynamic Partitioning“, IBM Technical Disclosure Bulletin, to appear. Cf. also IBM Research RC 9515.
1982. Monachino, Michael, “Design Verification System for Large-Scale LSI Designs“, IBM Journal of Research and Development, vol. 26, pp. 100–105.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Roth, J.P. (1984). VLSI verification and correction. In: Kunii, T.L. (eds) VLSI Engineering. Lecture Notes in Computer Science, vol 163. Springer, Tokyo. https://doi.org/10.1007/BFb0043453
Download citation
DOI: https://doi.org/10.1007/BFb0043453
Published:
Publisher Name: Springer, Tokyo
Print ISBN: 978-4-431-70002-9
Online ISBN: 978-4-431-36817-5
eBook Packages: Springer Book Archive