Login / Signup
Hierarchical identification of NBTI-critical gates in nanoscale logic.
Sergei Kostin
Jaan Raik
Raimund Ubar
Maksim Jenihhin
Fabian Vargas
Letícia Maria Bolzani Poehls
Thiago Santos Copetti
Published in:
LATW (2014)
Keyphrases
</>
logic circuits
computational properties
logic programming
classical logic
databases
multiresolution
modal logic
automatic identification
image sequences
expressive power
hierarchical structure
hierarchical classification
set theory
formal theory
linear logic
sound and complete axiomatization