Multi-interval static timing analysis accounting logic compatibility.

Sergey Gavrilov Galina Ivanova Daria Ryzhova Pavel S. Volobuev

Published in: EWDTS (2016)

Keyphrases

logic programming
image sequences
modal logic
data sets
data mining
machine learning
website
case study
artificial neural networks
multi valued
abductive reasoning