Further processing options
EHSAT : an efficient RTL satisfiability solver using an extended DPLL procedure: an efficient RTL satisfiability solver using an extended DPLL procedure
Saved in:
Journal Title: | Proceedings of the 44th annual conference on Design automation - DAC '07 |
---|---|
Authors and Corporations: | , , , , |
In: | Proceedings of the 44th annual conference on Design automation - DAC '07, 2007 |
Type of Resource: | Electronic Proceeding |
Language: | Undetermined |
published: |
ACM Press
|