Automatic Verification of Library-Based IC Designs

IEEE Journal of Solid-State Circuits

Volumn 26, Issue 3, 1991, Pages 394-403

  Kostelijk, Ton ^a   De Loore, Bart ^a  

^a PHILIPS RESEARCH LABORATORIES   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMS; INTEGRATED CIRCUITS - COMPUTER AIDED DESIGN;

ARCHITECTURE RECONSTRUCTION METHOD; AUTOMATIC VERIFICATION; LIBRARY-BASED IC DESIGN; MICROPROGRAMMABLE; STEPWISE BOTTOM-UP RECONSTRUCTION; VERIFICATION ASSISTANT (VERA);

COMPUTER ARCHITECTURE;

EID: 0026118849     PISSN: 00189200     EISSN: 1558173X     Source Type: Journal    
DOI: 10.1109/4.75019     Document Type: Article

References (15)

1. A. P. Kostelijk, “VERA, a rule-based verification assistant for VLSI circuit design,” in Proc. VLSI 89 Conf, Aug. 1989, pp. 89–98.
2. B. J. S. De Loore and A. P. Kostelijk, “Automatic verification of library-based IC designs,” in Proc. CICC 90 Conf., May 1990, pp. 30.6.1-30.6.5.
3. R. C. Read and D. G. Corneil, “The graph isomorphism disease,” J. Graph Theory, vol. 1, pp. 363–399, 1977.
4. R. Woudsma and A. Delaruelle, “The design of DSP components for the CD digital audio system using silicon compilation techniques,” in Proc. CICC 89 Conf, May 1989, pp. 20.4.1-20.4.5.
5. H. J. De Man et al., “DIALOG, an expert debugging system for MOSVLSI design,” IEEE Tran. Computer-Aided Design, vol. CAD-4, no. 3, pp. 303–311, July 1985.
6. A. C. Parker and S. Hayati, “Automating the VLSI design process using expert systems and silicon compilation,” Proc. IEEE, vol. 75, no. 6, pp. 777–785, June 1987.
7. R. L. Steele, “A knowledge-based advisor for semicustom VLSI design,” in Proc. IEEE Int. Workshop AI Applications to CAD-Systems for Electronics, pp. 197–209, 1987.
8. R. L. Spickelmier and A. R. Newton, “Critic: A knowledge-based program for critiquing circuit designs,” in Proc. ICCD, 1988, pp. 324–327.
9. W. Nebel and R. W. Hartenstein, “Functional design verification by register transfer net extraction,” in Proc. COMPEURO, 1987, pp. 254–257.
10. W. F. Tichy, “What can software engineers learn from AI?,” IEEE Computer, pp. 43–54, Nov. 1987.
11. T. Holden, Knowledge Based CAD and Micro-electronics. New York: Elsevier, 1987.
12. A. C. Papaspyridis, “A Prolog based connectivity verification tool,” in Proc. IEEE DAC, 1988, pp. 523–537.
13. M. Hirsch and D. Siewiorek, “Automatically extracting structure from a logical design,” in Proc. IEEE ICCAD, 1988, pp. 456–460.
14. J. Van Ginderdeuren et al., “A high-quality digital audio filter set designed by silicon compiler CATHEDRAL-1,” IEEE J. Solid-State Circuits, vol. SC-21, no. 6, pp. 1067–1075, Dec. 1986.
15. J. Van Meerbergen, and H. De Man, “A true silicon compiler for the design of complex ICs for digital signal processing,” Philips Tech. Rev., vol. 44, no. 7, pp. 3–14, 1989.