A formal instruction-level GPU model for scalable verification.

Yue Xing Bo-Yuan Huang Aarti Gupta Sharad Malik

Published in: ICCAD (2018)

Keyphrases

probabilistic model
computational model
formal model
theoretical framework
cost function
process model
similarity measure
probability distribution
learning styles
mathematical model
experimental data
conceptual model
neural network model