Login / Signup
Scalable SMT-Based Equivalence Checking of Nested Loop Pipelining in Behavioral Synthesis.
Mohammad Reza Azarbad
Bijan Alizadeh
Published in:
ACM Trans. Design Autom. Electr. Syst. (2017)
Keyphrases
</>
highly scalable
statistical machine translation
databases
knowledge base
digital libraries
consistency checking
human behavior
memory efficient
behavioral model
program synthesis
fine grain
word alignment
parallel processing
lightweight
co occurrence
search algorithm
bayesian networks
data mining