Identifying NBTI-Critical Paths in Nanoscale Logic.

Raimund Ubar Fabian Vargas Maksim Jenihhin Jaan Raik Sergei Kostin Letícia Maria Bolzani Poehls

Published in: DSD (2013)

Keyphrases

modal logic
logic programming
automated reasoning
classical logic
databases
machine learning
image sequences
model checking
set theory
probabilistic logic
proof theory
mechanical properties
asynchronous circuits
formal language
inference rules
expressive power
case study
artificial intelligence
real world