Multilevel design understanding: from specification to logic (invited paper).

Sandip Ray Ian G. Harris Görschwin Fey Mathias Soeken

Published in: ICCAD (2016)

Keyphrases

invited paper
information retrieval
genetic algorithm
deeper understanding
formal verification
asynchronous circuits
databases
neural network
data mining
information systems
case study
high level
fuzzy logic
model checking