====== Digital Circuit ======
Digital circuit is a high-level model of asynchronous control circuits which can be composed with the STG model of the environment for verification\ [(Poliakov_2008_async)].

{{ overview:screenshot-circuit.png?nolink }}

[(Poliakov_2008_async> I.\ Poliakov, A.\ Mokhov, A.\ Rafiev, D.\ Sokolov, A.\ Yakovlev: //“Automated verification of asynchronous circuits using circuit Petri nets”//, Proc. IEEE International Symposium on Asynchronous Circuits and Systems\ (ASYNC), pp.161--170, 2008.)]