Sciweavers

    82 search results - page 4 / 17
    » dac 1996
    Sort
    View
    DAC
    1996
    ACM
    113views Computer Architecture» more  DAC 1996»
    Engineering Change in a Non-Deterministic FSM Setting
    13 years 11 months ago
    Engineering Change in a Non-Deterministic FSM Setting
    Download  www.cadence.com
    Sunil P. Khatri, Amit Narayan, Sriram C. Krishnan,...
    claim paper
    Read More »
    DAC
    1996
    ACM
    103views Computer Architecture» more  DAC 1996»
    Techniques for Verifying Superscalar Microprocessors
    13 years 11 months ago
    Techniques for Verifying Superscalar Microprocessors
    Download  www.cs.york.ac.uk
    Burch and Dill [3] described an automatic method for verifying a pipelined processor against its instruction setarchitecture(ISA). We describethree techniquesfor improving this me...
    Jerry R. Burch
    claim paper
    Read More »
    DAC
    1996
    ACM
    100views Computer Architecture» more  DAC 1996»
    A System Design Methodology for Software/Hardware Co-Development of Telecommunication Network Applications
    13 years 11 months ago
    A System Design Methodology for Software/Hardware Co-Development of Telecommunication Network Applications
    Download  www.cecs.uci.edu
    In this paper, we describe a system design methodology for the concurrent development of hybrid software/hardware systems for telecom network applications. This methodology is bas...
    Bill Lin
    claim paper
    Read More »
    DAC
    1996
    ACM
    120views Computer Architecture» more  DAC 1996»
    Efficient Communication in a Design Environment
    13 years 11 months ago
    Efficient Communication in a Design Environment
    Download  www.cecs.uci.edu
    This paper presents a new communication service. The novelty of the work resides in the distributed architecture adopted which is based on communication agents in every tool and i...
    Idalina Videira, Paulo Veríssimo, Helena Sa...
    claim paper
    Read More »
    DAC
    1996
    ACM
    78views Computer Architecture» more  DAC 1996»
    State Reduction Using Reversible Rules
    13 years 11 months ago
    State Reduction Using Reversible Rules
    Download  www.cs.york.ac.uk
    We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
    C. Norris Ip, David L. Dill
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.