Sciweavers

    373 search results - page 9 / 75
    » Learning Arithmetic Circuits
    Sort
    View
    88
    Voted
    DAC
    2002
    ACM
    70views Computer Architecture» more  DAC 2002»
    Self-referential verification of gate-level implementations of arithmetic circuits
    16 years 2 months ago
    Self-referential verification of gate-level implementations of arithmetic circuits
    Download  cadlab.ece.ucsb.edu
    Ying-Tsai Chang, Kwang-Ting Cheng
    claim paper
    Read More »
    ICCD
    2007
    IEEE
    144views Hardware» more  ICCD 2007»
    Application of symbolic computer algebra to arithmetic circuit verification
    15 years 10 months ago
    Application of symbolic computer algebra to arithmetic circuit verification
    Download  www.aoki.ecei.tohoku.ac.jp
    Yuki Watanabe, Naofumi Homma, Takafumi Aoki, Tatsu...
    claim paper
    Read More »
    91
    Voted
    GLVLSI
    1999
    IEEE
    133views VLSI» more  GLVLSI 1999»
    Residue Arithmetic Circuits Based on Signed-Digit Number Representation and the VHDL Implementation
    15 years 6 months ago
    Residue Arithmetic Circuits Based on Signed-Digit Number Representation and the VHDL Implementation
    Download  www.cs.york.ac.uk
    Shugang Wei, Kensuke Shimizu
    claim paper
    Read More »
    71
    Voted
    ICALP
    1999
    Springer
    62views Programming Languages» more  ICALP 1999»
    Bounded Depth Arithmetic Circuits: Counting and Closure
    15 years 6 months ago
    Bounded Depth Arithmetic Circuits: Counting and Closure
    Download  ftp.cs.rutgers.edu
    Eric Allender, Andris Ambainis, David A. Mix Barri...
    claim paper
    Read More »
    ICCAD
    1996
    IEEE
    93views Hardware» more  ICCAD 1996»
    ACV: an arithmetic circuit verifier
    15 years 6 months ago
    ACV: an arithmetic circuit verifier
    Download  www.cs.cmu.edu
    Yirng-An Chen, Randal E. Bryant
    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-2026, USA.