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