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 [1].

[1] 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.