Login / Signup
Test vector generation for charge sharing failures in dynamic logic.
Keerthi Heragu
Manish Sharma
Rahul Kundu
Ronald D. Blanton
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2002)
Keyphrases
</>
dynamic logic
modal logic
feature vectors
imperative programs
information sharing
data sharing
generation process
data sets
high level
similarity measure
general purpose
knowledge sharing
statistical significance
reasoning about actions