Auteur Wang, Chao
Documents disponibles écrits par cet auteur (1)
Affiner la recherche
document électronique
Wang, Chao, Auteur ; Hachtel, Gary D., Auteur ; Somenzi, Fabio, Auteur | Berlin ; London ; New York : Springer | Series on integrated circuits and systems | 2006Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verific[...]
