VLSI verification and correction
Part of the Lecture Notes in Computer Science book series (LNCS, volume 163)
Chapter 4 VLSI Design And Testing
- 128 Downloads
KeywordsLogic 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.
- 1980. Roth, J. Paul, “Computer Logic, Testing, and Verification“, COMPUTER SCIENCE PRESS, Rockville, Maryland.Google Scholar
- 1982. Roth, J. Paul and Leon S. Levy, “Equivalence of Hardware and Software“, submitted for publication. Cf. IBM Research RC 9716.Google Scholar
- 1982. Roth, J. Paul, “Dynamic Partitioning“, IBM Technical Disclosure Bulletin, to appear. Cf. also IBM Research RC 9515.Google Scholar
- 1982. Monachino, Michael, “Design Verification System for Large-Scale LSI Designs“, IBM Journal of Research and Development, vol. 26, pp. 100–105.Google Scholar
© Springer-Verlag Berlin Heidelberg 1984