Design automation of testable finite state machines
| Autor: | Dariia Kucherenko, Maryna Miroschnyk, Edward German, Elvira Kulak, Yuriy Pakhomov, Alexander Shkil |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Theoretical computer science
Finite-state machine Computer science Hardware description language Control engineering Solid modeling Automaton Controllability Electronic design automation State (computer science) Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION computer State transition table Hardware_LOGICDESIGN computer.programming_language |
| Zdroj: | EWDTS |
| DOI: | 10.1109/ewdts.2017.8110034 |
| Popis: | The aim of the work is to develop a procedure for constructing models of testable control finite state machine (FSM), which are described using hardware description languages, and to estimate hardware costs for different methods of hardware redundancy introduction to the HDL model of FSMs. The task of computer-aided design of testable control FSM on the basis of the application of state machines' setting methods into a given state was solved in the work. In terms of hardware costs, the optimal way of settings organization in an arbitrary state of control FSM is expansion of the state table, which improves the controllability of the FSM's states and leads to the structure transformation of their HDL-models into easy-tested ones. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|