Abstract | ||
---|---|---|
Asynchronous circuits are pervasive in modern synchronous systems, but they are still designed and verified in isolation, using dedicated asynchronous design flows, formalisms and tools. We describe a method to verify gate-level asynchronous circuit implementations using formal verification tools and property languages for synchronous logic. We report observations and findings from applying this method to use case designs using an industrial and an open source formal verification tools for synchronous logic, and compare performance and verification capabilities against two verification tools for asynchronous circuits. Finally, we discuss the advantages and practical considerations of bridging synchronous logic verification tools to the domain of asynchronous circuits. Our main conclusion is that, while there are performance penalties, there is still significant value in enabling users to verify asynchronous circuits using tools that may be more familiar, trusted or more widely adopted. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1109/ASYNC.2018.00022 | 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) |
Keywords | Field | DocType |
asynchronous,formal,verification | Asynchronous communication,Computer architecture,Computer science,Bridging (networking),Implementation,Design flow,Electronic circuit,Rotation formalisms in three dimensions,Asynchronous circuit,Formal verification | Conference |
ISSN | ISBN | Citations |
1522-8681 | 978-1-5386-5884-0 | 0 |
PageRank | References | Authors |
0.34 | 8 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ghaith Tarawneh | 1 | 17 | 5.18 |
Andrey Mokhov | 2 | 136 | 26.57 |