Login / Signup
Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate models.
Bin Xue
Prosenjit Chatterjee
Sandeep K. Shukla
Published in:
ASP-DAC (2013)
Keyphrases
</>
multiresolution
prior knowledge
probabilistic model
statistical models
classification models
data sets
neural network
information retrieval
social networks
website
decision trees
preprocessing