VLSI verification and correction

  • J. Paul Roth
Chapter 4 VLSI Design And Testing
Part of the Lecture Notes in Computer Science book series (LNCS, volume 163)


Logic Design Dynamic Partitioning Critical Chain Conventional Language Regular Algorithm 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1980. Roth, J. Paul, “Computer Logic, Testing, and Verification“, COMPUTER SCIENCE PRESS, Rockville, Maryland.Google Scholar
  2. 1982. Roth, J. Paul and Leon S. Levy, “Equivalence of Hardware and Software“, submitted for publication. Cf. IBM Research RC 9716.Google Scholar
  3. 1982. Roth, J. Paul, “Dynamic Partitioning“, IBM Technical Disclosure Bulletin, to appear. Cf. also IBM Research RC 9515.Google Scholar
  4. 1982. Monachino, Michael, “Design Verification System for Large-Scale LSI Designs“, IBM Journal of Research and Development, vol. 26, pp. 100–105.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • J. Paul Roth
    • 1
  1. 1.IBM Thomas J. Watson Research CenterYorktown Heights

Personalised recommendations