Collection Series on integrated circuits and systems
Documents disponibles dans la collection (2)
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[...]
document électronique
Lee, Hakho, Auteur ; Ham, Donhee, Auteur | Berlin ; London ; New York : Springer | Series on integrated circuits and systems | 2007CMOS Optical Sensors Bioanalytical instruments have been miniaturized on ICs to study various biophenomena or to actuate biosystems. These bio-lab-on-IC systems utilize the IC to facilitate faster, repeatable, and standardized biological exp[...]
