Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Logic for problem-solving
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
IBM Journal of Research and Development
Optically injected logic circuits for remote-powered systems on a chip
Computers and Electrical Engineering
Hi-index | 0.00 |
This paper describes a new knowledge-based circuit translator which automatically generates IIL, or Integrated Injection Logic, circuit from conventional logic circuit net data. By accumulating fragmental pieces of knowledge of expert designers into a knowledge base in forms of rules, and using inference mechanism, such tasks are realized as gate connectivity extraction, gate translation and redundant element reduction which have been difficult to implement on conventional procedural programming languages. Furthermore, due to the architecture of the system, system improvement becomes easy through additions and modifications of rules. Approximately 40 to 60% gate reduction was attained compared with simple gate-to-gate translation. Computation time for 100 gates translation is about 200 sec. on Hitachi's main frame M-200H.