Abstract: Verifying the equivalence of digital signal processing circuits is not only important in designing architectures, but also in designing secure circuits. If the functionality equivalence ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results