Expert Systems for Automatic Hardware Synthesis

作者: Sajjan G. Shiva

DOI: 10.1007/978-3-642-84048-7_4

关键词: BookkeepingSoftware engineeringIntegrated circuitEngineering design processComputer scienceConsistency (database systems)Digital electronicsField (computer science)Expert systemAbstract syntax tree

摘要: In recent years developments in microelectronics technology have accelerated very rapidly. The new Integrated Circuits (ICs) coming to the market contain hundreds of thousands transistors. As these ICs increased complexity, difficulties design also for digital circuit designers. field Computer-Aided Design (CAD) has evolved assist expert designers with many routine and often mundane tasks such as bookkeeping consistency checking. These advances helped experts keep up this rapidly changing field, but designer must still perform a number creative operations process which are based more on his past experiences personal expertise [1].

参考文章(30)
C R Green, S G Shiva, PECOS—an expert hardware synthesis system 5th International Workshop Vol. 2 on Expert systems & their applications. pp. 1295- 1320 ,(1987)
John McDermott, Jin Kim, TALIB: an IC layout design assistant national conference on artificial intelligence. pp. 197- 201 ,(1983)
Stephen A. Szygenda, Proceedings of the 15th Design Automation Conference design automation conference. ,(1978)
James S. Crabbe, Hillel Ofek, Charles E. Radke, Proceedings of the 19th Design Automation Conference design automation conference. ,(1982)
Johan de Kleer, Causal and Teleological Reasoning In Circuit Recognition NASA STI/Recon Technical Report N. ,vol. 80, pp. 28649- ,(1979)
Tom M. Mitchell, Lou Steinberg, Reid G. Smith, Howard Jacobs, Pat Schooley, Representations for Reasoning About Digital Circuits international joint conference on artificial intelligence. pp. 343- 344 ,(1981) , 10.21236/ADA103006
Thaddeus Julius Kowalski, The VLSI design automation assistant : a knowledge-based expert system University Microfilms International. ,(1986)
Louis I. Steinberg, Van E. Kelly, The CRITTER system: analyzing digital circuits by propagating behaviors and specifications national conference on artificial intelligence. pp. 284- 289 ,(1982) , 10.21236/ADA117887