Hardware Reference
In-Depth Information
151. N. Yevtushenko, S. Zharikova, M. Vetrova, Multi component digital circuit optimization by
solving FSM equations, in
Proceedings of the Euromicro Symposium on Digital Systems
Design
, DSD '03, pages 62-68, Washington, DC, USA, 2003. IEEE Computer Society
152. N.V. Yevtushenko, A.Y. Matrosova, Synthesis of checking sequences for automaton networks.
Automat. Contr. Comput. Sci.
25
(2), 1-4 (1991)
153. S. Zharikova, Digital circuits optimization through solving a system of FSM equations. In
Vestnik TSU, Tomsk, N. 1
, pages 255-259, 2002. (In Russian)
154. S. Tikhomirova, Optimizing multi component discrete event systems based on FSM/automata
equation solving. PhD thesis, Tomsk State University, Russia, 2008. (in Russian)
155. C. Zhou, R. Kumar, S. Jiang, Control of nondeterministic discrete event systems for
bisimulation equivalence. In
Proceedings of 2004 American Control Conference
, pages 4488-
4492, June 2004