Deng, S.(2007). EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure: An efficient RTL satisfiability solver using an extended DPLL procedure. Proceedings of the 44th annual conference on Design automation - DAC '07
Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.