Writing Testbenches: Functional Verification of HDL Models - 9781461350125

poprawę stanu psychicznego w tym samym okresie. To, co jest wyraźnie potrzebne w technikach i technologii weryfikacji, jest równoznaczne z przełomem w wydajności syntezy. W drugim wydaniu Writing Testbenches Bergeron podnosi poziom weryfikacji abstrakcji, wprowadzając samokontrolujące się stanowiska testowe na poziomie transakcji oparte na pokryciu i ograniczonej losowości, a wszystko to stało się możliwe dzięki wprowadzeniu języków weryfikacji sprzętu (HVL), takich jak e firmy Verisity i OpenVera od Synopsys. Najnowocześniejsze metodologie opisane w „Pisaniu stanowisk testowych” w znacznym stopniu przyczynią się do stworzenia tak potrzebnego odpowiednika przełomu w syntezie pod względem produktywności weryfikacji. Nie tylko gorąco polecam tę książkę, ale także uważam, że powinna być ona lekturą obowiązkową każdego, kto zajmuje się projektowaniem i weryfikacją współczesnych układów ASIC, SoC i systemów. Harry Foster Główny architekt Verplex Systems, Inc. xviii Pisanie stanowisk testowych: weryfikacja funkcjonalna modeli HDL WSTĘP Jeśli przeanalizujesz grupy projektowe sprzętu, dowiesz się, że od 60% do 80% ich wysiłków jest obecnie poświęcone weryfikacji.