The Formal Design of 1M-gate ASICs.

Ásgeir Th. Eiríksson

Published in: Formal Methods Syst. Des. (2000)

Keyphrases

physical design
embedded systems
nano scale
machine learning
markov chain
field programmable gate array
multiple input
database
databases
real world
image processing
case study
bayesian networks
multi agent systems
general purpose processors
application specific integrated circuits