Sciweavers

    453 search results - page 2 / 91
    » date 2006
    Sort
    View
    DATE
    2006
    IEEE
    68views Hardware» more  DATE 2006»
    Functional verification methodology based on formal interface specification and transactor generation
    15 years 8 months ago
    Functional verification methodology based on formal interface specification and transactor generation
    Download  www.date-conference.com
    Felice Balarin, Roberto Passerone
    claim paper
    Read More »
    65
    Voted
    DATE
    2006
    IEEE
    148views Hardware» more  DATE 2006»
    Berger code-based concurrent error detection in asynchronous burst-mode machines
    15 years 8 months ago
    Berger code-based concurrent error detection in asynchronous burst-mode machines
    Download  www.eng.yale.edu
    Sobeeh Almukhaizim, Yiorgos Makris
    claim paper
    Read More »
    68
    Voted
    DATE
    2006
    IEEE
    89views Hardware» more  DATE 2006»
    Model-based development of in-vehicle software
    15 years 8 months ago
    Model-based development of in-vehicle software
    Download  www.date-conference.com
    Mirko Conrad, Heiko Dörr
    claim paper
    Read More »
    60
    Voted
    DATE
    2006
    IEEE
    97views Hardware» more  DATE 2006»
    Diagnosis of defects on scan enable and clock trees
    15 years 8 months ago
    Diagnosis of defects on scan enable and clock trees
    Download  www.date-conference.com
    Yu Huang, Keith Gallie
    claim paper
    Read More »
    50
    Voted
    DATE
    2006
    IEEE
    85views Hardware» more  DATE 2006»
    Distance-guided hybrid verification with GUIDO
    15 years 8 months ago
    Distance-guided hybrid verification with GUIDO
    Download  www.date-conference.com
    Smitha Shyam, Valeria Bertacco
    claim paper
    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.