Writing Testbenches: Functional Verification of HDL Models - 9781461350125

garīgi uzlabojumi tajā pašā periodā. Tas, kas nepārprotami ir vajadzīgs verifikācijas metodēs un tehnoloģijās, ir līdzvērtīgs sintēzes produktivitātes sasniegumam. Otrajā Writing Testbenches izdevumā Bergeron paaugstina abstrakcijas verifikācijas līmeni, ieviešot pārklājuma vadītus ierobežotu nejaušu darījumu līmeņa pašpārbaudes testēšanas stendus, kas ir iespējams, ieviešot aparatūras verifikācijas valodas (HVL), piemēram, e no Verisity un OpenVera no Synopsys. Vismodernākās metodoloģijas, kas aprakstītas rakstīšanas testu stendos, ievērojami veicinās tik ļoti nepieciešamo sintēzes sasnieguma ekvivalentu verifikācijas produktivitātē. Es ne tikai ļoti iesaku šo grāmatu, bet arī uzskatu, ka tā būtu jāizlasa ikvienam, kas iesaistīts mūsdienu ASIC, SoC un sistēmu izstrādē un pārbaudē. Harijs Fosters galvenais arhitekts Verplex Systems, Inc. xviii Rakstīšanas testēšanas stendi: ABL modeļu funkcionālā verifikācija PRIEKŠVĀRDS Aptaujājot aparatūras dizaina grupas, jūs uzzināsit, ka 60% līdz 80% to pūļu tagad ir veltīti verifikācijai.