Search Sciweavers | Sciweavers

373 search results - page 9 / 75

» Learning Arithmetic Circuits

Voted

DAC
2002
ACM

70views Computer Architecture» more DAC 2002»

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

15 years 10 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

15 years 6 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

15 years 1 months 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

15 years 1 months 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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers