Sciweavers

    CAV
    1995
    Springer
    95views Hardware» more  CAV 1995»
    Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings
    15 years 27 days ago
    Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings
    Download  www.cadence.com
    Kenneth L. McMillan
    claim paper
    Read More »
    CAV
    1995
    Springer
    99views Hardware» more  CAV 1995»
    Automated Analysis of an Audio Control Protocol
    15 years 27 days ago
    Automated Analysis of an Audio Control Protocol
    Download  www.eecs.berkeley.edu
    Pei-Hsin Ho, Howard Wong-Toi
    claim paper
    Read More »
    ATS
    1995
    IEEE
    91views Hardware» more  ATS 1995»
    Deterministic test generation for non-classical faults on the gate level
    15 years 27 days ago
    Deterministic test generation for non-classical faults on the gate level
    Download  www.tet.uni-hannover.de
    Udo Mahlstedt, Jürgen Alt, Ingo Hollenbeck
    claim paper
    Read More »
    ASYNC
    1995
    IEEE
    77views Hardware» more  ASYNC 1995»
    Hierarchical gate-level verification of speed-independent circuits
    15 years 27 days ago
    Hierarchical gate-level verification of speed-independent circuits
    Download  www.lsi.upc.es
    Oriol Roig, Jordi Cortadella, Enric Pastor
    claim paper
    Read More »
    ASYNC
    1995
    IEEE
    82views Hardware» more  ASYNC 1995»
    Single-rail handshake circuits
    15 years 27 days ago
    Single-rail handshake circuits
    Download  www.win.tue.nl
    Ad M. G. Peeters, Kees van Berkel
    claim paper
    Read More »
    ASPDAC
    1995
    ACM
    89views Hardware» more  ASPDAC 1995»
    A digital audio signal processor for cellular phone application
    15 years 27 days ago
    A digital audio signal processor for cellular phone application
    Download  www.cecs.uci.edu
    Jeongsik Yang, Chanhong Park, Beomsup Kim
    claim paper
    Read More »
    ASPDAC
    1995
    ACM
    87views Hardware» more  ASPDAC 1995»
    Optimization methods for lookup-table-based FPGAs using transduction method
    15 years 27 days ago
    Optimization methods for lookup-table-based FPGAs using transduction method
    Download  www.cecs.uci.edu
    Shigeru Yamashita, Yahiko Kambayashi, Saburo Murog...
    claim paper
    Read More »
    ASPDAC
    1995
    ACM
    98views Hardware» more  ASPDAC 1995»
    Synthesis and simulation of digital demodulator for infrared data communication
    15 years 27 days ago
    Synthesis and simulation of digital demodulator for infrared data communication
    Download  www.cs.york.ac.uk
    Hiroshi Uno, Toru Chiba, Keiji Kumatani, Isao Shir...
    claim paper
    Read More »
    ASPDAC
    1995
    ACM
    106views Hardware» more  ASPDAC 1995»
    Performance driven multiple-source bus synthesis using buffer insertion
    15 years 27 days ago
    Performance driven multiple-source bus synthesis using buffer insertion
    Download  www.cecs.uci.edu
    A heuristic algorithm for a given topology of a multiple-source and multiple-sink bus to reduce the signal delay time is proposed. The algorithm minimizes the delay by inserting bu...
    Chia-Chun Tsai, De-Yu Kao, Chung-Kuan Cheng, Ting-...
    claim paper
    Read More »
    ASPDAC
    1995
    ACM
    104views Hardware» more  ASPDAC 1995»
    Power analysis of a 32-bit embedded microcontroller
    15 years 27 days ago
    Power analysis of a 32-bit embedded microcontroller
    Download  www.cs.york.ac.uk
    A new approach for power analysis of microprocessorshas recently been proposed [1]. The idea is to look at the power consumption in a microprocessor from the point of view of the ...
    Vivek Tiwari, Mike Tien-Chien Lee
    claim paper
    Read More »
    « first‹ previous…304305306307308309310311312…next ›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-2025, USA.