Refining SAT Decision Ordering.
| Autor: | Chandrakasan, Anantha, Wang, Chao, Hachtel, Gary D., Somenzi, Fabio |
|---|---|
| Zdroj: | Abstraction Refinement for Large Scale Model Checking; 2006, p137-152, 16p |
| Databáze: | Supplemental Index |
| Externí odkaz: |
|
| Autor: | Chandrakasan, Anantha, Wang, Chao, Hachtel, Gary D., Somenzi, Fabio |
|---|---|
| Zdroj: | Abstraction Refinement for Large Scale Model Checking; 2006, p137-152, 16p |
| Databáze: | Supplemental Index |
| Externí odkaz: |
|