Deep neural networks are a powerful tool for solving a variety of problems, but software implementations have a number of drawbacks related to power, runtime and energy consumption. Hardware ...

This article describes the application of customized proof techniques for proving theorems related to arithmetic circuits in the Coq theorem prover and generating Verilog code from Coq. By ...