Login / Signup

Generalized Affine Equivalence Checking of Boolean Functions via Reachability Analysis.

Xiao ZengHuijun LiangJun YuanXiaoyu SongGuowu Yang
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)
Keyphrases