Proof producing synthesis of arithmetic and cryptographic hardware

An abstract submitted to DCC'06 by Konrad Slind and Scott Owens of the University of Utah and Juliano Iyoda and Mike Gordon of the University of Cambridge.

11 Nov 2005 (page updated 27 Jan 2006)

FAQ :	[pdf \| postscript]
Latex source:	[faq.tex \|faq.bib]
Diagrams:	[device.fig \|device.eepic \|fpga1.fig \|fpga1.eepic \|fpga2.fig \|fpga2.eepic \|fpga3.fi \|fpga3.eepic \|fpga4.fig \|fpga4.eepic \|Mult32IterWave.epsi]

30 Jan 2006