嘉熙张0001 倪立伟 郑生根 郝刘 邹祥福 王峰0046 罗国杰 基于灵敏度特征剪枝的增强型快速布尔匹配。 1-9 2021 国际计算机辅助设计协会 https://doi.org/10.109/ICCAD51958.2021.9643587 conf/iccad/2021 db/conf/iccad/iccad2021.html#0001NZLZWL21