Symulacja dynamiczna i dynamicznej weryfikacji

K

kunal1514

Guest
Witam wszystkich, Co to jest dynamiczna Symulacja dynamiczna i weryfikacji oraz w jaki sposób to zrobić. Zakresie w Kunal Mishra
 
Istnieją dwie metody wykorzystywane do weryfikacji projektu przed standardem. 1. Weryfikacji formalnej lub badania równoważności używa narzędzia, takie jak formalność Synopsys, do testowania projektu w jednej postaci, takich jak RTL opis, który jest znany jako funkcjonalnie wiążące drugiej postaci, takich jak opis bramy do zapewnienia wierności. Porównanie jest dokonywane przez badania logiczne równoważności. 2. Dynamiczna weryfikacja testów funkcję projektu porównując jego zachowanie ze specyfikacją za pomocą symulacji.
 
Dynamiczna symulacja jest coś takiego jak za pomocą funkcjonalnego wektorów do symulacji przy użyciu jednego z symulatorów jak ncverilog, ModelSim, vcs itp.
 

Welcome to EDABoard.com

Sponsor

Back
Top