Theorem-based circuit derivation in cryptol.

John Launchbury

Published in: GPCE (2011)

Keyphrases

high speed
circuit design
electronic circuits
von neumann
analog circuits
database
digital circuits
real time
neural network
feature selection
decision making
decision trees
multiscale
logic circuits
logic synthesis
duty cycle