The Programmer's Apprentice: A Session with KBEmacs
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
The society of mind
Decomposition of logic networks into silicon
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
The VLSI design automation assistant: what's in a knowledge base
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Automatic generation of digital system schematic diagrams
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
An extensible object-oriented mixed-mod functional simulation system
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
A functional partitioning expert system for test sequences generation
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
EMACS the extensible, customizable self-documenting display editor
Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation
Inspection Methods in Programming: Cliches and Plans
Inspection Methods in Programming: Cliches and Plans
A Circuit Grammar for Operational Amplifier Design
A Circuit Grammar for Operational Amplifier Design
Learning physical description from functional definitions, examples and precedents
Learning physical description from functional definitions, examples and precedents
| Hi-index | 0.00 |
CONSTELLATION, a general LISP-based tool for structure recognition and manipulation, is described. CONSTELLATION is a design refinement tool for the later stages of the design process, when a complete (or nearly so) design is available. It is intended to recognize local sub-structures in the design and carry out specific associated manipulations. The recognition phase is driven by a design precedent. This is a pattern which an experienced designer points out in an existing design, together with an associated action to perform. The action is normally stated in the system's native Y hardware description language, though we also support the use of LISP or mixtures. CONSTELLATION has also been interfaced to a general abstract functional simulator (SIMMER[11]). It is in experimental use in a production environment where we are exploring its applications to rationalizing existing flat designs, interactive structure editing performance enhancements, identifying candidates for new cell-generators, and in-circuit functional simulation.