Fundamentals and Standards in Hardware Description Languages 1993
DOI: 10.1007/978-94-011-1914-6_16
|View full text |Cite
|
Sign up to set email alerts
|

KARL and ABL

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2011
2011
2013
2013

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 11 publications
0
1
0
Order By: Relevance
“…A trailblazing idea for TRS use in microchip design [16] has been delayed by 30 years. All Term Rewriting Systems (TRS) in EDA are used for verification, which means bottom-up approaches.…”
Section: Using Term Rewriting (Tr) For Synthesismentioning
confidence: 99%
“…A trailblazing idea for TRS use in microchip design [16] has been delayed by 30 years. All Term Rewriting Systems (TRS) in EDA are used for verification, which means bottom-up approaches.…”
Section: Using Term Rewriting (Tr) For Synthesismentioning
confidence: 99%