Sciweavers

    DAC
    1998
    ACM
    172views Computer Architecture» more  DAC 1998»
    OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification
    14 years 3 months ago
    OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification
    Download  computing.ece.vt.edu
    —Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
    Farzan Fallah, Srinivas Devadas, Kurt Keutzer
    claim paper
    Read More »
    DAC
    1998
    ACM
    158views Computer Architecture» more  DAC 1998»
    Design and Analysis of Power Distribution Networks in PowerPC Microprocessors
    14 years 3 months ago
    Design and Analysis of Power Distribution Networks in PowerPC Microprocessors
    Download  www.cs.york.ac.uk
    We present a methodology for the design and analysis of power grids in the PowerPC™ microprocessors. The methodology covers the need for power grid analysis across all stages of...
    Abhijit Dharchoudhury, Rajendran Panda, David Blaa...
    claim paper
    Read More »
    DAC
    1998
    ACM
    154views Computer Architecture» more  DAC 1998»
    Efficient Analog Test Methodology Based on Adaptive Algorithms
    14 years 3 months ago
    Efficient Analog Test Methodology Based on Adaptive Algorithms
    Download  www.cs.york.ac.uk
    This papers describes a new, fast and economical methodology to test linear analog circuits based on adaptive algorithms. To the authors knowledge, this is the first time such tec...
    Luigi Carro, Marcelo Negreiros
    claim paper
    Read More »
    DAC
    1998
    ACM
    110views Computer Architecture» more  DAC 1998»
    Hybrid Verification Using Saturated Simulation
    14 years 3 months ago
    Hybrid Verification Using Saturated Simulation
    Download  www.jos.org.cn
    Adnan Aziz, James H. Kukula, Thomas R. Shiple
    claim paper
    Read More »
    DAC
    1998
    ACM
    109views Computer Architecture» more  DAC 1998»
    Technology Mapping for Large Complex PLDs
    14 years 3 months ago
    Technology Mapping for Large Complex PLDs
    Download  www.eecg.toronto.edu
    Jason Helge Anderson, Stephen Dean Brown
    claim paper
    Read More »
    DAC
    1998
    ACM
    181views Computer Architecture» more  DAC 1998»
    Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement
    14 years 11 months ago
    Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement
    Download  www.xcf.berkeley.edu
    Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
    James Shin Young, Josh MacDonald, Michael Shilman,...
    claim paper
    Read More »
    DAC
    1998
    ACM
    108views Computer Architecture» more  DAC 1998»
    MetaCore: An Application Specific DSP Development System
    14 years 11 months ago
    MetaCore: An Application Specific DSP Development System
    Download  ics.kaist.ac.kr
    Jin-Hyuk Yang, Byoung-Woon Kim, Sang-Jun Nam, Jang...
    claim paper
    Read More »
    DAC
    1998
    ACM
    149views Computer Architecture» more  DAC 1998»
    Hierarchical Algorithms for Assessing Probabilistic Constraints on System Performance
    14 years 11 months ago
    Hierarchical Algorithms for Assessing Probabilistic Constraints on System Performance
    Download  users.ece.utexas.edu
    We propose an algorithm for assessing probabilistic performance constraints for systems including components with uncertain delays. We make a case for designing systems based on a...
    Gustavo de Veciana, Margarida F. Jacome, J.-H. Guo
    claim paper
    Read More »
    DAC
    1998
    ACM
    121views Computer Architecture» more  DAC 1998»
    Timing and Crosstalk Driven Area Routing
    14 years 11 months ago
    Timing and Crosstalk Driven Area Routing
    Download  users.ece.gatech.edu
    Hsiao-Ping Tseng, Louis Scheffer, Carl Sechen
    claim paper
    Read More »
    DAC
    1998
    ACM
    143views Computer Architecture» more  DAC 1998»
    Reducing Power in High-Performance Microprocessors
    14 years 11 months ago
    Reducing Power in High-Performance Microprocessors
    Download  optimal.vlsi.uwaterloo.ca
    Power consumption has become one of the biggest challenges in high-performance microprocessor design. The rapid increase in the complexity and speed of each new CPU generation is ...
    Vivek Tiwari, Deo Singh, Suresh Rajgopal, Gaurav M...
    claim paper
    Read More »
    « first‹ previous12345678next ›last »
    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.