一种基于变量隐藏抽象的IC3硬件验证算法

一种基于变量隐藏抽象的IC3硬件验证算法

杨柳, 范洪宇, 李东方, 贺飞

IC3 Hardware Verification Algorithm Based on Variable Hiding Abstraction

YANG Liu, FAN Hongyu, LI Dongfang, HE Fei

计算机科学 . 2023, (11A): 230200112 -6 . DOI: 10.11896/jsjkx.230200112