Abstract | ||
---|---|---|
This paper describes a tool for use in user-directed synthesis of circuits specified usingthe relational VLSI description language Ruby. The synthesis method is based ontransformational rewriting of Ruby terms in accordance with previously defined termequivalences. The tool permits the introduction of constraints into the specification, thusenhancing the usefulness of the rewrite system in relation to simple rewriting.Keyword Codes: B.7.2, D.1.1.Keywords: Integrated Circuits, Design Aids; ... |
Year | DOI | Venue |
---|---|---|
1993 | 10.1016/B978-0-444-81641-2.50024-1 | CHDL |
Keywords | Field | DocType |
transformational rewriting,integrated circuit design | Programming language,Computer science,Theoretical computer science,Transformational leadership,Confluence,Rewriting,Very-large-scale integration | Conference |
Volume | ISSN | ISBN |
32 | 0926-5473 | 0-444-81641-0 |
Citations | PageRank | References |
8 | 2.14 | 3 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Robin Sharp | 1 | 8 | 2.14 |
Ole Rasmussen | 2 | 27 | 4.49 |