Digital System Verification: A Combined Formal Methods and Simulation Framework

Lun Li, Mitchell A. Thornton

Anthology ID:

DBLP:series/synthesis/2010Li

Volume:

2010

Year:

2010

Venue:

synthesis_series

Publisher:

Morgan & Claypool Publishers

URL:

https://doi.org/10.2200/S00257ED1V01Y201002DCS027

DOI:

10.2200/S00257ED1V01Y201002DCS027

DBLP:

series/synthesis/2010Li

BibTeX:

Download Copy BibTeX to Clipboard Copy Bibkey "li-2010-digital" to Clipboard

Google Scholar Internet Archive Scholar Semantic Scholar