01147nam0 22002773i 450 VAN0012103020240806100807.876N978331930539420190416d2016 |0itac50 baengCH|||| |||||SystemVerilog Assertions and Functional CoverageGuide to Language, Methodology and ApplicationsAshok B. MehtaChamSpringer2016xxxv, 406 p.24 cmCHChamVANL001889MehtaAshok B.VANV093008763798Springer <editore>VANV108073650ITSOL20240906RICAhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-30539-4E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN00121030BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 3555 15EB 3555 20190416 SystemVerilog Assertions and Functional Coverage1550052UNICAMPANIA