Writing Testbenches: Functional Verification of HDL Models - 9781461350125

vaimne paranemine samal perioodil. See, mida verifitseerimismeetodites ja -tehnoloogias on ilmselgelt vaja, on samaväärne sünteesi tootlikkuse läbimurdega. Writing Testbenchesi teises väljaandes tõstab Bergeron abstraktsiooni verifitseerimise taset, võttes kasutusele katvusepõhised piiratud juhusliku tehingutaseme enesekontrolli katsepingid, mis kõik on tehtud võimalikuks tänu riistvara verifitseerimiskeelte (HVL) kasutuselevõtule, nagu e Verisity ja OpenVera firmalt Synopsys. Kirjutamiskatsete tööstendides kirjeldatud tipptasemel metoodikad aitavad suurel määral kaasa verifitseerimise tootlikkuse sünteesi läbimurde väga vajalikule ekvivalendile. Ma mitte ainult ei soovita seda raamatut, vaid arvan ka, et see peaks olema kohustuslik kõigile, kes on seotud tänapäevaste ASIC-ide, SoC-de ja süsteemide kavandamise ja kontrollimisega. Harry Foster peaarhitekt Verplex Systems, Inc. xviii Kirjutamise katsepingid: HDL-mudelite funktsionaalne kontrollimine EESSÕNA Kui uurite riistvara disainigruppe, saate teada, et 60–80% nende jõupingutustest on nüüd pühendatud kontrollimisele.