| Verification of divers systems based on integrated circuits |
|
|
| Authors |
| | Taperova E. |
| Date of publication |
| | 2014 |
|
| Abstract |
| | This paper presents approach employed to verify divers system based on integrated circuits. The proposed approach may help to make sure divers systems have equivalent functions. |
| Keywords |
| | diversification, verification, FSM, golden model, equivalent function |
| Library reference |
| | Taperova E. Verification of divers systems based on integrated circuits // Problems of Perspective Micro- and Nanoelectronic Systems Development - 2014. Proceedings / edited by A. Stempkovsky, Moscow, IPPM RAS, 2014. Part 2. P. 57-62. |
| URL of paper |
| | http://www.mes-conference.ru/data/year2014/pdf/D165.pdf |
