Kuntal Nanshi, Ph.D.

2009 Electrical Engineering University of Colorado, Boulder, Boulder, CO, United States 
Electronics and Electrical Engineering
"Kuntal Nanshi"


Sign in to add mentor
Fabio Somenzi grad student 2009 CU Boulder
 (Proving properties of digital systems with abstraction-guided simulation.)
BETA: Related publications


You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Nanshi K, Somenzi F. (2013) Using abstraction to guide the search for long error traces Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 32: 453-466
Nanshi K, Somenzi F. (2009) Constraints in one-to-many concretization for abstraction refinement Proceedings - Design Automation Conference. 569-574
Nanshi K, Somenzi F. (2008) Improved visibility in one-to-many trace concretization Proceedings -Design, Automation and Test in Europe, Date. 819-824
Nanshi K, Somenzi F. (2006) Guiding simulation with increasingly refined abstract traces Proceedings - Design Automation Conference. 737-742
See more...