Article

Free access

An approach to intelligent assistance for the specification of ASIC design using objects and rules

Authors:

K. D. Mueller-Glaser,

J. BortolazziAuthors Info & Claims

DAC '89: Proceedings of the 26th ACM/IEEE Design Automation Conference

Pages 472 - 477

https://doi.org/10.1145/74382.74461

Published: 01 June 1989 Publication History

PDF eReader

Abstract

The demand for true “system integration” leads to an increasing number of Application Specific Integrated Circuit (ASIC) designs having non-standard electrical and timing input/output characteristics and operating environments. This mandates a computer assistance during the specification phase as well as the management of intermediate and final design results. Furthermore, early and simulation independent consistency checking is necessary to prevent expensive redesigns. This paper presents a new knowledge based approach to the acquisition, checking and processing of electrical, timing, environmental and test oriented specification data using object-oriented data representation and rule-based consistency checking. This approach is part of the DEBYS (DEsign BY Specification) project under development at the University of Erlangen-Nuernberg. This system is currently working for digital ASIC and will be enhanced for system design.

References

[1]

Adolph, W.S., Reghbati, H.K.; Sanmugasunderam, A. "A Frame Based System for Representing Knowledge About VLSI Design", Proc. 23rd Design Automation Conference 1986 pp. 671-676

Digital Library

Google Scholar

[2]

Fujita, T.; Nakakuki, Y.; Goto, S. "A New Knowledge Based Approach to circuit Design" Proc. of 24th Design Automation Conference 1987 pp. 456-459

Google Scholar

[3]

Heiler, S.; Dayal, U.; Orenstein, J.; Radke-Sproull, S. "An Object-Oriented Approach to Data Management: Why Design Databases Need it " Proc. of 24th Design Automation Conference 1987 pp. 335-340

Digital Library

Google Scholar

[4]

IF/Prolog, Interface GmbH Munich 1989

Google Scholar

[5]

Katz, R.H.; Anwarrudin, M.; Chang, E. "A version server for Computer-Aided Design Data", Proc. 23rd Design Automation Conference 1986 pp. 27-33

Digital Library

Google Scholar

[6]

Mueller-Glaser, K.D.; Bortolazzi, J. "An Approach to Knowledge Based ASIC Specification" to be published In Proc. of Custom Integrated Circuits Conference 1989

Google Scholar

[7]

Postgres Object Oriented Data Management System, Univ. Berkeley

Google Scholar

[8]

Rieu, D., Nguyen, G.T. "Semantics of CAD Objects for Generalized Databases" Proc. 23rd Design Automation Conference 1986 pp. 34-40

Digital Library

Google Scholar

[9]

Walker, R.A.; Thomas, D.E.: "A Model of Design Representation and Synthesis" Proc. of 22nd Design Automation Conference 1985 pp. 453-459

Digital Library

Google Scholar

Cited By

View all

(1993)REFERENCESHandbook of VLSI Chip Design and Expert Systems10.1016/B978-0-12-632425-9.50014-X(515-565)Online publication date: 1993
https://doi.org/10.1016/B978-0-12-632425-9.50014-X
Mueller-Glaser KBortolazzi J(1990)An approach to computer-aided specificationIEEE Journal of Solid-State Circuits10.1109/4.5215425:2(335-345)Online publication date: Apr-1990
https://doi.org/10.1109/4.52154

Index Terms

An approach to intelligent assistance for the specification of ASIC design using objects and rules

Recommendations

Formal Specification and Design Time Testing

It is shown how design time testing can be used in conjunction with formal specification. Emphasis is placed on the benefits of using an executable specification language OBJ, of having a design controlled by requirements specification, and of adherence ...
Design and Implementation of a Tool for Specifying Specification in SOFL
Revised Selected Papers of the Second International Workshop on Structured Object-Oriented Formal Language and Method - Volume 7787

Structure Object-oriented Formal Language SOFL is not just a formal language for writing formal specification. It is also an approach and a methodology. SOFL provides a three-step approach for modelling a software system using formal specification. ...
A lithography-friendly structured ASIC design approach
GLSVLSI '08: Proceedings of the 18th ACM Great Lakes symposium on VLSI

Integrated circuit manufacturing costs are increasing with decreasing device feature sizes, due to significant increases in mask costs. At the same time, systematic processing variations due to optical proximity effects are also increasing, making it ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

DAC '89: Proceedings of the 26th ACM/IEEE Design Automation Conference

June 1989

839 pages

ISBN:0897913108

DOI:10.1145/74382

Chairman:
Donald E. Thomas
Carnegie Mellon Univ., Pittsburgh, PA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1989

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

DAC89

Sponsor:

IEEE-CS\TCDA
SIGDA

DAC89: The 26th ACM/IEEE-CS Design Automation Conference

June 25 - 28, 1989

Nevada, Las Vegas, USA

Acceptance Rates

DAC '89 Paper Acceptance Rate 156 of 465 submissions, 34%;

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

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
210
Total Downloads

Downloads (Last 12 months)13
Downloads (Last 6 weeks)1

Reflects downloads up to 06 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

(1993)REFERENCESHandbook of VLSI Chip Design and Expert Systems10.1016/B978-0-12-632425-9.50014-X(515-565)Online publication date: 1993
https://doi.org/10.1016/B978-0-12-632425-9.50014-X
Mueller-Glaser KBortolazzi J(1990)An approach to computer-aided specificationIEEE Journal of Solid-State Circuits10.1109/4.5215425:2(335-345)Online publication date: Apr-1990
https://doi.org/10.1109/4.52154

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Formal Specification and Design Time Testing

Design and Implementation of a Tool for Specifying Specification in SOFL

A lithography-friendly structured ASIC design approach