IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1990 · 15 citations · 17 references
ComputingComputer ScienceAlgorithmsDesign AutomationKnowledge RepresentationDesign RepresentationKnowledge-based EngineeringRoutingRouting AlgorithmsInformation Flow ControlOrdering By LengthPlacement AlgorithmsSchematic RepresentationSwitch Box Routing
A study of schematic generation by a knowledge-based system (KBS) is reported. Schematics must demonstrate features (continuity of signal flow and logical clustering) of a design while remaining simple (few turns and crossings). Algorithmic and manual techniques deal poorly with the multiple conflicting objectives. A successful switchbox router in a KBS suggested the same approach to schematic generation. Schematic generation in a KBS still needs to be partitioned into subproblems to make is tractable. Subproblems include ordering of symbols and the placement of nets (i.e., routing). The ordering of symbols in the direction of information flow is based on a precedence augmented with a rule-based component which recognizes cycles and breaks them intelligently. A heuristic length-based ordering in the other direction tries to minimize crossings. The KBS paradigm is particularly applicable to the routing steps.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
17
Enumeration of the Elementary Circuits of a Directed Graph
Robert E. Tarjan · SIAM Journal on Computing · 1973 · 260 citations
Finding Dominators in Directed Graphs
Robert E. Tarjan · SIAM Journal on Computing · 1974 · 219 citations
Lawrence A. Rowe, Michael J. Davis, Eli Messinger et al. · Software Practice and Experience · 1987 · 116 citations