Article

Free access

Computer aided design (CAD) using logic programming

Authors:

Paul W. Horstmann,

Edward P. StablerAuthors Info & Claims

DAC '84: Proceedings of the 21st Design Automation Conference

Pages 144 - 151

Published: 25 June 1984 Publication History

PDF eReader

Abstract

This paper gives an overview of expert systems and logic programming as applied to Computer-Aided Design (CAD) systems. Our objective is to show the relevance of these two approaches developed from research in artificial intelligence for the solution of problems in VLSI design. We will provide some examples of the use of logic programming for familiar CAD tasks. The expert systems discussed function as experts in a very narrowly defined area of expertise, and can be called designer's assistants. We will also compare the use of logic programming (PROLOG) to current algorithmic solutions to VLSI design problems and discuss some future research in this area.

References

[1]

Lenat, D., "The nature of heuristics", CIS-12 (SSL-81-1), Cognitive and Instructional Sciences Group, XEROX PARK, April 1981.

Google Scholar

[2]

Sussman, G. J., J. Holloway, and T. F. Knight, "Design aids for digital integrated systems, an artificial intelligence approach", Proceedings of ICCC'80, 1980, pp. 612-615.

Google Scholar

[3]

Horstmann, P. W., "Functional simulation using logic programming", Dept. of Electrical Engineering Technical Report, TR-13-83, Syracuse University, August 1983.

Google Scholar

[4]

Clark, K. L., and S.-A. Tarnlund (eds.), Logic Programming, Academic Press, 1982, pp. 153-172.

Digital Library

Google Scholar

[5]

Horstmann, P.W., "Design for testabiltiy using logic programming", The Proceedings of the International Test Conference, 1983, October, 1983, pp. 706-713.

Google Scholar

[6]

Eichelberger, E. B., and T. W. William&sgrave;, "A logic design structure for LSI testability", The Proceedings of the 14th Design Automation Conference, June 1977, pp. 462-467.

Digital Library

Google Scholar

Cited By

View all

Janež MBajec IPečar PJazbec AZimic NMraz M(2008)Computer-aided design of ternary quantum-dot cellular automata circuitsProceedings of the 12th WSEAS international conference on Circuits10.5555/1576429.1576486(296-301)Online publication date: 22-Jul-2008
https://dl.acm.org/doi/10.5555/1576429.1576486
Janez MBajec IPecar PJazbec AZimic NMraz M(2008)Automatic design of optimal logic circuits based on ternary quantum-dot cellular automataWSEAS Transactions on Circuits and Systems10.5555/1482295.14823007:9(919-928)Online publication date: 1-Sep-2008
https://dl.acm.org/doi/10.5555/1482295.1482300
Dotan YArazi B(1990)Concurrent Logic Programming as a Hardware Description ToolIEEE Transactions on Computers10.1109/12.4628239:1(72-88)Online publication date: 1-Jan-1990
https://dl.acm.org/doi/10.1109/12.46282
Show More Cited By

Index Terms

Computer aided design (CAD) using logic programming

Recommendations

Computer-aided design versus sketching: An exploratory case study

This paper presents a preliminary comparison between the role of computer-aided design (CAD) and sketching in engineering through a case study of a senior design project and interviews with industry and academia. The design team consisted of four senior ...
Strategy for integrating object-oriented and logic programming

Logic programming and object-oriented programming have made significant contributions to the field of artificial intelligence, particularly as knowledge-based system development tools. Both these tools are extremely powerful and have several interesting ...
Complexity and Expressive Power of Logic Programming
CCC '97: Proceedings of the 12th Annual IEEE Conference on Computational Complexity

This paper surveys various complexity results on different forms of logic programming. The main focus is on decidable forms of logic programming, in particular, propositional logic programming and datalog, but we also mention general logic programming ...

Comments

Information & Contributors

Information

Published In

DAC '84: Proceedings of the 21st Design Automation Conference

June 1984

715 pages

ISBN:0818605421

Publisher

IEEE Press

Publication History

Published: 25 June 1984

Check for updates

Author Tags

Qualifiers

Article

Acceptance Rates

DAC '84 Paper Acceptance Rate 116 of 290 submissions, 40%;

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

4
Total Citations
View Citations
234
Total Downloads

Downloads (Last 12 months)33
Downloads (Last 6 weeks)8

Reflects downloads up to 17 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Janež MBajec IPečar PJazbec AZimic NMraz M(2008)Computer-aided design of ternary quantum-dot cellular automata circuitsProceedings of the 12th WSEAS international conference on Circuits10.5555/1576429.1576486(296-301)Online publication date: 22-Jul-2008
https://dl.acm.org/doi/10.5555/1576429.1576486
Janez MBajec IPecar PJazbec AZimic NMraz M(2008)Automatic design of optimal logic circuits based on ternary quantum-dot cellular automataWSEAS Transactions on Circuits and Systems10.5555/1482295.14823007:9(919-928)Online publication date: 1-Sep-2008
https://dl.acm.org/doi/10.5555/1482295.1482300
Dotan YArazi B(1990)Concurrent Logic Programming as a Hardware Description ToolIEEE Transactions on Computers10.1109/12.4628239:1(72-88)Online publication date: 1-Jan-1990
https://dl.acm.org/doi/10.1109/12.46282
Fung HHirschhorn SKulkarni ROfek HO'Neill L(1985)Design for testability in a silicon compilation environmentProceedings of the 22nd ACM/IEEE Design Automation Conference10.5555/317825.317857(190-196)Online publication date: 1-Jun-1985
https://dl.acm.org/doi/10.5555/317825.317857

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

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

Computer-aided design versus sketching: An exploratory case study

Strategy for integrating object-oriented and logic programming

Complexity and Expressive Power of Logic Programming

Comments

Published In

Sponsors

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

Abstract

References

Cited By

Index Terms

Recommendations

Computer-aided design versus sketching: An exploratory case study

Strategy for integrating object-oriented and logic programming

Complexity and Expressive Power of Logic Programming

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations