A language for treating graphs
Communications of the ACM
A language extension for graph processing and its formal semantics
Communications of the ACM
TEGAS2—anatomy of a general purpose TEST GENERATION AND SIMULATION system for digital logic
DAC '72 Proceedings of the 9th Design Automation Workshop
Developments in logic network path delay analysis
DAC '82 Proceedings of the 19th Design Automation Conference
Grope: a graph processing language and its formal definition.
Grope: a graph processing language and its formal definition.
Graph Theory with Applications to Engineering and Computer Science (Prentice Hall Series in Automatic Computation)
Hi-index | 0.00 |
This paper defines a development system for computer-aided design (CAD) algorithms for combinational logic networks. The principle features of this system include graph-oriented commands and control structures, list handling facilities, and an expandable library of commonly used CAD subprograms. Application programs written using the prototype system, CADTOOLS, include worst case path delay analysis, Sandia Controllability and Observability Analysis (SCOAP) testability measure, and logic simulation. The experience with these programs suggests that such a system can reduce the time required to develop CAD programs.