Skip to content

Model-based functional verification.

Kenneth S. Kundert, Henry Chang

VenueA*DAC
Year2010
ProceedingsDAC

Browse the full DAC paper archive.