Efficient Formal Verification of Galois-Field Arithmetic Circuits Using ZDD Representation of Boolean Polynomials.

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)

Keyphrases