Login / Signup
A Scalable Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs.
Bijan Alizadeh
Payman Behnam
Somayeh Sadeghi Kohan
Published in:
IEEE Trans. Computers (2015)
Keyphrases
</>
dynamic analysis
model based diagnosis
dynamic environments
learning to rank
ranking algorithm
program slicing
web search
scalable distributed
learning algorithm
static analysis
web scale
dynamic aspects
reverse engineering
feature ranking
dynamic graph