<?xml version="1.0"?>
<dblp>
<inproceedings key="conf/atva/Yang06" mdate="2006-10-27">
<author>Jin Yang</author>
<title>Verification Challenges and Opportunities in the New Era of Microprocessor Design.</title>
<pages>6-7</pages>
<year>2006</year>
<crossref>conf/atva/2006</crossref>
<booktitle>ATVA</booktitle>
<ee>http://dx.doi.org/10.1007/11901914_2</ee>
<url>db/conf/atva/atva2006.html#Yang06</url>
</inproceedings>
</dblp>
