A methodology for generating verified combinatorial circuits.

Oleg Kiselyov Kedar N. Swadi Walid Taha

Published in: EMSOFT (2004)

Keyphrases

high speed
database
data mining
three dimensional
databases
knowledge base
web services
data structure
software engineering
digital circuits
logic circuits
high level synthesis
lateral inhibition