24th ACM/IEEE Conference Proceedings on Design Automation Conference - DAC '87 1987
DOI: 10.1145/37888.38012
|View full text |Cite
|
Sign up to set email alerts
|

A rule-based circuit representation for automated CMOS design and verification

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

1988
1988
1991
1991

Publication Types

Select...
5

Relationship

0
5

Authors

Journals

citations
Cited by 7 publications
(1 citation statement)
references
References 15 publications
0
1
0
Order By: Relevance
“…the problems of VLSI/CAD have been focused on verification [23], synthesis [6], placement [16], routing [5,12], layout generation [13][14][15], and even on an application specific integrated circuit (ASIQ design [21] _ To ^ authors , _ knowledge( there has been no publication in any journal for knowledge-based expert system in layout compaction until now [9]. Since manual compaction is tedious, time-consuming, and error-prone, many traditional algorithmic approaches [7,20] have been proposed in the past decades.…”
Section: Introductionmentioning
confidence: 99%
“…the problems of VLSI/CAD have been focused on verification [23], synthesis [6], placement [16], routing [5,12], layout generation [13][14][15], and even on an application specific integrated circuit (ASIQ design [21] _ To ^ authors , _ knowledge( there has been no publication in any journal for knowledge-based expert system in layout compaction until now [9]. Since manual compaction is tedious, time-consuming, and error-prone, many traditional algorithmic approaches [7,20] have been proposed in the past decades.…”
Section: Introductionmentioning
confidence: 99%