Login / Signup
At-Speed Testing of Inter-Die Connections of 3D-SICs in the Presence of Shore Logic.
Konstantin Shibin
Vivek Chickermane
Brion L. Keller
Christos Papameletis
Erik Jan Marinissen
Published in:
ATS (2015)
Keyphrases
</>
high speed
logic programming
modal logic
real time
classical logic
test cases
multi valued
control system
data structure
knowledge base
test data
machine learning
database
test generation
epistemic logic
deontic logic
sound and complete axiomatization