EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure.

Shujun Deng, Jinian Bian, Weimin Wu, Xiaoqing Yang, Yanni Zhao

Browse the full DAC paper archive.