Abstract | ||
---|---|---|
Asynchronous circuits can be useful in many applications, however, they are yet to be widely used in industry. The main reason for this is a steep learning curve for concurrency models, such Signal Transition Graphs, that are developed by the academic community for specification and synthesis of asynchronous circuits. In this paper we introduce a compositional design flow for asynchronous circuits using concepts - a set of formalised descriptions for system requirements. Our aim is to simplify the process of capturing system requirements in the form of a formal specification, and promote the concepts as a means for design reuse. The proposed design flow is applied to the development of an asynchronous buck converter. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/MEMCOD.2015.7340478 | MEMOCODE |
Keywords | Field | DocType |
compositional design,asynchronous circuits,behavioural concepts,steep learning curve,concurrency models,signal transition graphs,formalised system requirements descriptions,design reuse,design flow,asynchronous buck converter | Asynchronous communication,Programming language,Software engineering,Concurrency,Reuse,Computer science,Theoretical computer science,Design flow,Design methods,Formal specification,Learning curve,System requirements | Conference |
Citations | PageRank | References |
4 | 0.50 | 10 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jonathan Beaumont | 1 | 4 | 0.50 |
Andrey Mokhov | 2 | 136 | 26.57 |
Danil Sokolov | 3 | 227 | 27.50 |
Alex Yakovlev | 4 | 516 | 64.23 |