Symbolic Model Checking.
| Autor: | Chandrakasan, Anantha, Wang, Chao, Hachtel, Gary D., Somenzi, Fabio |
|---|---|
| Zdroj: | Abstraction Refinement for Large Scale Model Checking; 2006, p11-40, 30p |
| 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, p11-40, 30p |
| Databáze: | Supplemental Index |
| Externí odkaz: |
|