[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/113938.149465acmconferencesArticle/Chapter ViewAbstractPublication PagesdacConference Proceedingsconference-collections
Article

An interpreter for general netlist design rule checking

Published: 01 July 1992 Publication History

Abstract

No abstract available.

References

[1]
V.D. Agrawal, S.K. Jain and D.M. Singer, "A CAD System for Design for Testability", VISI Design, 46- 54, Oct. 1984.
[2]
K. Karptus, "Exclusion Constraints for Digital MOS Circuits" A New Set of Electrical Design Rules", Proc. ICCAD, 244- 246, 1985.
[3]
H.J. De Man, I. Bolsens, E. vanden Meersch and J. van Cleynebreugel, "Dialog: an Expert Debugging System for MOS VLSI Design", IEEE Transactio~ on CAD, Vol. CAD-4, No. 3, 303 - 311, July 1985.
[4]
C. Lob, R.S. Spickelmier and A.R. Newton, "Circuit Verification using Rule-based Expert Systems", Proc. of the ISCAS, 881- 884, 1985.
[5]
S. Bergquist and R. Sparkes, "QCritic" A Rule- Based Analyzer for Bipolar Circuit Designs", Proc. of ~he CICC, 617- 620, 1986.
[6]
R.L. Spickelmier and A.R. Newton, ~Critic: A Knowledge-Based Program for Critiquing Circuit Designs", Int. Conf. on Computer Design, VLSI in Computers, 324- 327, 1988.
[7]
J. Wenin, J. Verhasselt, M. Van Camp, J. Leonard and P. Guebels, "Rule-Based VLSI Verification System Constrained by Layout Parasitics", Proc. ~6th Design Automation Conference, 662- 667, 1989.
[8]
C. Godoy, G.B. Franklin und P.S. Bottorf, "Automatic checking of logic design structures for compliance with testability ground rules", Proc. 1jth Design Automation Conference, New Orleans, LA, 469- 478, June 1977.
[9]
C. Bamji and J. Allen, "GRASP: A Grammarbased Schematic Parser", Proc. $6th Design Automation Conference, 448- 453, June 1989.
[10]
D. Bhavsar, "Design for Test Calculus: An Algorithm for DFT Rules Checking", Proc. $Oth Design Automation Con}erence, 300 - 307, 1983.
[11]
G. Pelz and U. Roettcher, "Circuit Comparison by Hierarchical Pattern Matching", Proc. ICCAD, Santa Clara, 290- 293, 1991.

Cited By

View all
  • (2017)Static netlist verification for IBM high-frequency processors using a tree-grammarProceedings of the Conference on Design, Automation & Test in Europe10.5555/3130379.3130742(1556-1561)Online publication date: 27-Mar-2017

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
DAC '92: Proceedings of the 29th ACM/IEEE Design Automation Conference
July 1992
752 pages
ISBN:089791516X

Sponsors

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 July 1992

Check for updates

Qualifiers

  • Article

Conference

DAC92
Sponsor:
DAC92: The 29th ACM/IEEE-CS Design Automation Conference
June 8 - 12, 1992
California, Anaheim, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25
62nd ACM/IEEE Design Automation Conference
June 22 - 26, 2025
San Francisco , CA , USA

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 01 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2017)Static netlist verification for IBM high-frequency processors using a tree-grammarProceedings of the Conference on Design, Automation & Test in Europe10.5555/3130379.3130742(1556-1561)Online publication date: 27-Mar-2017

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media