Sciweavers

    788 search results - page 15 / 158
    » Symbolic Equivalence Checking
    Sort
    View
    PLPV
    2009
    ACM
    87views Programming Languages» more  PLPV 2009»
    Pragmatic equivalence and safety checking in Cryptol
    16 years 1 months ago
    Pragmatic equivalence and safety checking in Cryptol
    Download  www.galois.com
    Levent Erkök, John Matthews
    claim paper
    Read More »
    169
    Voted
    ICCAD
    2005
    IEEE
    140views Hardware» more  ICCAD 2005»
    Embedded tutorial: formal equivalence checking between system-level models and RTL
    16 years 21 days ago
    Embedded tutorial: formal equivalence checking between system-level models and RTL
    Download  www2.iccad.com
    Alfred Koelbl, Yuan Lu, Anmol Mathur
    claim paper
    Read More »
    ASPDAC
    2005
    ACM
    130views Hardware» more  ASPDAC 2005»
    Sequential equivalence checking using cuts
    16 years 20 days ago
    Sequential equivalence checking using cuts
    Download  me.fudan.edu.cn
    Wei Huang, Pushan Tang, Min Ding
    claim paper
    Read More »
    TACAS
    2005
    Springer
    89views Algorithms» more  TACAS 2005»
    BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking
    16 years 17 days ago
    BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking
    Download  ftp.inrialpes.fr
    Damien Bergamini, Nicolas Descoubes, Christophe Jo...
    claim paper
    Read More »
    ISQED
    2002
    IEEE
    175views Hardware» more  ISQED 2002»
    On the Relation between SAT and BDDs for Equivalence Checking
    16 years 16 hour ago
    On the Relation between SAT and BDDs for Equivalence Checking
    Download  ic.engin.brown.edu
    State-of-the-art verification tools are based on efficient operations on Boolean formulas. Traditional manipulation techniques are based on Binary Decision Diagrams (BDDs) and SAT...
    Sherief Reda, Rolf Drechsler, Alex Orailoglu
    posted by sreda
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.