BulDML at Institute of Mathematics and Informatics >
International Journal ITA >
2008 >
Volume 15 Number 3 >

Please use this identifier to cite or link to this item:

Title: Simulation-based Approach to Verification of Logical Descriptions with Functional Indeterminacy
Authors: Cheremisinova, Liudmila
Novikov, Dmitry
Keywords: Design Automation
Boolean Computations
Issue Date: 2008
Abstract: A verification task of proving the equivalence of two descriptions of the same device is examined for the case, when one of the descriptions is partially defined. In this case, the verification task is reduced to checking out whether logical descriptions are equivalent on the domain of the incompletely defined one. Simulation-based approach to solving this task for different vector forms of description representations is proposed. Fast Boolean computations over Boolean and ternary vectors having big sizes underlie the offered methods.
ISSN: 1313-0463
Appears in Collections:Volume 15 Number 3

Files in This Item:

File Description SizeFormat
ijita15-3-p03.pdf168.39 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0!   Creative Commons License