Hans EvekingBooksVLSI-SOC : from Systems to ChipsVerifikation Digitaler SystemeVerifikation digitaler SystemeAuthor data: Open Library