1. Science
  2. Publications
  3. Information Processing Systems
  4. 8(57)'2006
  5. A method of complex verification of automata with programmable logic for Instrumentation and Control systems

A method of complex verification of automata with programmable logic for Instrumentation and Control systems

V. Sklyar, V. Golovir
Annotations languages:

A method of complex verification of automata with programmable logic based on Field Programmable Gates Arrays (FPGAs) which is based on account of safety standards requirements.
Reference:
Skliar, V.V. and Holovyr, V.A. (2006), "Metod kompleksnoi veryfykatsyy avtomatov s prohrammyruemoi lohykoi dlia ynformatsyonno-upravliaiushchykh system" , Information Processing Systems, Vol. 8(57), pp. 82-84.