Search Sciweavers | Sciweavers

373 search results - page 9 / 75

» Learning Arithmetic Circuits

click to vote

DAC
2002
ACM

70views Computer Architecture» more DAC 2002»

Self-referential verification of gate-level implementations of arithmetic circuits

14 years 9 months ago

Download cadlab.ece.ucsb.edu

Ying-Tsai Chang, Kwang-Ting Cheng

claim paper

Read More »

click to vote

ICCD
2007
IEEE

144views Hardware» more ICCD 2007»

Application of symbolic computer algebra to arithmetic circuit verification

14 years 5 months ago

Download www.aoki.ecei.tohoku.ac.jp

Yuki Watanabe, Naofumi Homma, Takafumi Aoki, Tatsu...

claim paper

Read More »

click to vote

GLVLSI
1999
IEEE

133views VLSI» more GLVLSI 1999»

Residue Arithmetic Circuits Based on Signed-Digit Number Representation and the VHDL Implementation

14 years 27 days ago

Download www.cs.york.ac.uk

Shugang Wei, Kensuke Shimizu

claim paper

Read More »

click to vote

ICALP
1999
Springer

62views Programming Languages» more ICALP 1999»

Bounded Depth Arithmetic Circuits: Counting and Closure

14 years 26 days ago

Download ftp.cs.rutgers.edu

Eric Allender, Andris Ambainis, David A. Mix Barri...

claim paper

Read More »

click to vote

ICCAD
1996
IEEE

93views Hardware» more ICCAD 1996»

ACV: an arithmetic circuit verifier

14 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers