Home         Authors   Papers   Year of conference   Themes   Organizations        To MES conference

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

Copyright © 2009-2019 IPPM RAS. All Rights Reserved.

Design of site: IPPM RAS