Hvordan kjøre formelle sjekke skanne-innsatt krets?

C

cyc

Guest
Jeg lurer på hvordan du kjører formelle sjekk mellom skanne inn netlist og min RTL.Kan noen har slike erfaringer?

Takk

 

Welcome to EDABoard.com

Sponsor

Back
Top