Menu
Home
Contact us
Stats
Categories
Calendar
Toggle Wiki
Wiki Home
Last Changes
Rankings
List pages
Orphan pages
Sandbox
Print
Toggle Image Galleries
Galleries
Rankings
Toggle Articles
Articles home
List articles
Rankings
Toggle Blogs
List blogs
Rankings
Toggle Forums
List forums
Rankings
Toggle File Galleries
List galleries
Rankings
Toggle Maps
Mapfiles
Toggle Surveys
List surveys
Stats
ITHEA Classification Structure > B. Hardware  > B.6 LOGIC DESIGN  > B.6.2 Reliability and Testing 
SIMULATION-BASED APPROACH TO VERIFICATION OF ...
By: Liudmila Cheremisinova, Dmitry Novikov (3097 reads)
Rating: (1.00/10)

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. Keywords: design automation, verification, Boolean computations, simulation. ACM Classification Keywords: B.6.2 Logic Design: Reliability and Testing; G.4 Mathematical Software: Verification; I.6.8 Simulation and Modeling: Types of Simulation – Parallel

Link:

SIMULATION-BASED APPROACH TO VERIFICATION OF LOGICAL DESCRIPTIONS WITH FUNCTIONAL INDETERMINACY

Liudmila Cheremisinova, Dmitry Novikov

http://www.foibg.com/ijita/vol15/ijita15-3-p03.pdf

Print
B.6.2 Reliability and Testing
article: SEARCH ALGORITHM FOR SHORTEST SYNCHRONIZING SEQUENCES USING BOOLEAN SATISFIABILI · SAT-BASED METHOD OF VERIFICATION USING LOGARITHMIC ENCODING · USING SAT FOR COMBINATIONAL IMPLEMENTATION CHECKING · SAT-BASED METHOD OF VERIFICATION USING LOGARITHMIC ENCODING · SIMULATION-BASED APPROACH TO VERIFICATION OF ... ·
Login
[ register | I forgot my password ]
World Clock
Powered by Tikiwiki Powered by PHP Powered by Smarty Powered by ADOdb Made with CSS Powered by RDF powered by The PHP Layers Menu System
RSS Wiki RSS Blogs rss Articles RSS Image Galleries RSS File Galleries RSS Forums RSS Maps rss Calendars
[ Execution time: 0.08 secs ]   [ Memory usage: 7.51MB ]   [ GZIP Disabled ]   [ Server load: 0.20 ]
Powered by Tikiwiki CMS/Groupware