16 citations · 16 across the 2 of their papers we have counts for
1 paper · 1 filter
Hongyu Fan, Fei He
IC3 is a famous bit-level framework for safety verification. By incorporating datapath abstraction, a notable enhancement in the efficiency of hardware verification can be achieved…