Abstract: This paper presents a cooperative bounded model checking (BMC) method for RTL designs. The method firstly extends the Boolean DPLL algorithm into a unified procedure to solve hybrid ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results