Sciweavers

    871 search results - page 158 / 175
    » Streaming Reduction Circuit
    Sort
    View
    JSA
    2006
    113views more  JSA 2006»
    A power-efficient TCAM architecture for network forwarding tables
    13 years 9 months ago
    A power-efficient TCAM architecture for network forwarding tables
    Download  www.cs.ucf.edu
    Stringent memory access and search speed requirements are two of the main bottlenecks in wire speed processing. Most viable search engines are implemented in content addressable m...
    Taskin Koçak, Faysal Basci
    claim paper
    Read More »
    TCAD
    2008
    116views more  TCAD 2008»
    Scalable Synthesis and Clustering Techniques Using Decision Diagrams
    13 years 9 months ago
    Scalable Synthesis and Clustering Techniques Using Decision Diagrams
    Download  www.eecg.toronto.edu
    BDDs have proven to be an efficient means to represent and manipulate Boolean formulae [1] and sets [2] due to their compactness and canonicality. In this work, we leverage the eff...
    Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown
    claim paper
    Read More »
    TCAD
    2008
    114views more  TCAD 2008»
    Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog
    13 years 9 months ago
    Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog
    Download  www.kroening.com
    el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
    Himanshu Jain, Daniel Kroening, Natasha Sharygina,...
    claim paper
    Read More »
    TCAD
    2008
    81views more  TCAD 2008»
    Optimizing Nonmonotonic Interconnect Using Functional Simulation and Logic Restructuring
    13 years 9 months ago
    Optimizing Nonmonotonic Interconnect Using Functional Simulation and Logic Restructuring
    Download  www.eecs.umich.edu
    The relatively poor scaling of interconnect in modern digital circuits necessitates a number of design optimizations, which must typically be iterated several times to meet the spe...
    Stephen Plaza, Igor L. Markov, Valeria Bertacco
    claim paper
    Read More »
    SIAMCOMP
    2000
    76views more  SIAMCOMP 2000»
    On Interpolation and Automatization for Frege Systems
    13 years 9 months ago
    On Interpolation and Automatization for Frege Systems
    Download  www.lsi.upc.edu
    The interpolation method has been one of the main tools for proving lower bounds for propositional proof systems. Loosely speaking, if one can prove that a particular proof system ...
    Maria Luisa Bonet, Toniann Pitassi, Ran Raz
    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.