Abstract: Recently, we have improved the efficiency of the predicate abstraction scheme presented by Das, Dill and Park (1999). As a result, the number of validity checks needed to prove the necessary ...
Design teams tackling mixed-signal system-on-chip (SoC) designs face the problem of how to get the most out of advanced process technologies when it comes to implementing their analog IP. They need to ...
ABSTRACT: In this paper, an Optimal Predictive Modeling of Nonlinear Transformations “OPMNT” method has been developed while using Orthogonal Nonnegative Matrix Factorization “ONMF” with the ...
Abstract: This paper proposes a novel Viterbi-Like successive cancellation (VL-SC) decoding algorithm for polar codes. The algorithm employs the bit log-likelihood-ratio as the “penalty value” within ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results