overview:digital_circuit

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.