Методы автоматизации проектирования легкотестируемых компьютерных систем и устройств на основе цифровых автоматов

Abstract

UA: Подано вдосконалені методи проектування легкотестованих цифрових пристроїв і математична модель кінцевих керуючих автоматів мовами опису апаратури. Актуальність роботи полягає в забезпеченні мінімальних додаткових витрат апаратури при автоматизованому проектуванні легкотестованих цифрових пристроїв, представлених моделями кінцевих керуючих автоматів мовами опису апаратури. Мета роботи полягає в розробленні процедури побудови моделей легкотестованих керуючих автоматів мовами опису апаратури та оцінюванні апаратурних витрат для різних способів введення апаратурної надмірності в HDL-моделі автоматів.

EN: The relevance of the work is to provide minimal additional hardware costs during design automation of easy-tested digital devices, which are represented by models of control finite state machines on hardware description languages. description languages and estimate hardware costs for different methods of hardware redundancy introduction to HDL-models of finite state machines. The introduction to HDL-models of control finite state machines, which are presented in the form of the FSM template, hardware redundancy (additional fragments of the HDL-code), providing the forcing setting of finite state machine into an arbitrary state without the use of synchronizing sequences. For implementation of this approach, the method of FSM's state table extending is applied, which ensures the mode of bypassing of all nodes of FSM' state diagram in the diagnostic mode. To develop procedures of models’ constructing of easy-tested control finite state machines on hardware.