Differences

This shows you the differences between two versions of the page.

--- tutorial:synthesis:start [2018/10/31 23:02] – danil
+++ tutorial:synthesis:start [2020/04/01 17:08] (current) – removed danil
@@ Line 1: / Line 1: @@
-====== Synthesis and verification of asynchronous circuits ======
-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:circuit|Digital Circuit]] plugin and formally verify it against the initial specification.
-{{page>:tutorial:toc_synthesis&inline}}