Facet: A procedure for the automated synthesis of digital systems

Authors:
C. J. Tseng;D. P. Siewiorek
Affiliations:
Department of Electrical Engineering and Computer Science, Carnegie-Mellon University, Pittsburgh, Pennsylvania;Department of Electrical Engineering and Computer Science, Carnegie-Mellon University, Pittsburgh, Pennsylvania
Venue:
25 years of DAC Papers on Twenty-five years of electronic design automation
Year:
1988

Citing 6
Cited 0

An Analysis of Some Graph Theoretical Cluster Techniques

Journal of the ACM (JACM)
Corrections to Bierstone's Algorithm for Generating Cliques

Journal of the ACM (JACM)
Algorithm 457: finding all cliques of an undirected graph

Communications of the ACM
The modeling and synthesis of bus systems

DAC '81 Proceedings of the 18th Design Automation Conference
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)

Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Combinatorial Algorithms: Theory and Practice

Combinatorial Algorithms: Theory and Practice

Quantified Score

Hi-index	0.00

Visualization

Abstract