TY - RPRT TI - A Canonical-based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature AU - Juling Zhang AU - Guowu Yang AU - William N. N. Hung AU - Jinzhao Wu PY - 2017 UR - https://arxiv.org/abs/1711.03269 ID - 1711.03269 ER -