Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision |
tutorial:synthesis:start [2015/10/26 14:07] – danil | tutorial:synthesis:start [2020/04/01 17:08] (current) – removed danil |
---|
====== Synthesis and verification of asynchronous circuits ====== | |
<WRAP tip> | |
Familiarise yourself with the [[:help:stg_plugin|Signal Transition Graph plugin]] and [[:help:digital_circuit_plugin|Digital Circuit plugin]] before proceeding with these tutorials. | |
</WRAP> | |
| |
A Signal Transition Graph (STG) is basically a [[wp>Petri net]] whose transitions are labelled with signal events. This makes STG a convenient formalism for specification, synthesis and verification of [[wp>asynchronous circuit|asynchronous circuits]]. In this series of tutorials you will learn how to specify the intended behaviour of an asynchronous circuit using [[:overview:stg|Signal Transition Graphs]] plugin, synthesise its asynchronous implementation, capture the circuit schematic in [[:overview:digital_circuit|Digital Circuit]] plugin and formally verify it against the initial specification. | |
{{page>:tutorial:synthesis:toc&inline}} | |
| |