Login / Signup
Incremental SAT-Based Accurate Auto-Correction of Sequential Circuits Through Automatic Test Pattern Generation.
Bijan Alizadeh
Seyyed Reza Sharafinejad
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2019)
Keyphrases
</>
semi automatic
highly accurate
error analysis
high quality
incremental learning
high accuracy
data driven
fully automatic
answer set programming
ai planning
neural network
knowledge base
high speed
computationally efficient
constraint solving