Abstract | ||
---|---|---|
. This paper describes a tool for use in user-directed synthesisof circuits specified using the relational VLSI description languageRuby. The synthesis method is based on syntactic rewriting of Rubyterms, combined with the introduction of constraints into the specification.The rewriting process is described in a meta-language based on theuse of tactics and tacticals, which makes it possible to develop complexspecialised strategies for the refinement of specifications.1 IntroductionThe... |
Year | DOI | Venue |
---|---|---|
1993 | 10.1007/BFb0021727 | CHARME |
Field | DocType | ISBN |
Identity function,Programming language,Computer science,Automated theorem proving,Rewriting,Confluence,Proof obligation,Very-large-scale integration,Syntax | Conference | 3-540-56778-X |
Citations | PageRank | References |
1 | 0.37 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Robin Sharp | 1 | 21 | 8.57 |
Ole Rasmussen | 2 | 27 | 4.49 |