Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

ICCAD
2005
IEEE

favoriteEmaildiscussreport

71views Hardware» more ICCAD 2005»

Simulation-based bug trace minimization with BMC-based refinement

13 years 10 months ago

Simulation-based bug trace minimization with BMC-based refinement

Download www.eecs.umich.edu

Kai-Hui Chang, Valeria Bertacco, Igor L. Markov

Real-time Traffic

Hardware | ICCAD 2005 |

claim paper

Post Info
More Details (n/a)

Added	24 Jun 2010
Updated	24 Jun 2010
Type	Conference
Year	2005
Where	ICCAD
Authors	Kai-Hui Chang, Valeria Bertacco, Igor L. Markov

Comments (0)