Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.
as title, i want to generate a saif file using verilog rtl simulation.
but when i run the command, the terminal shows the error message as belows:
$set_toggle_region(test.dut1);
|
ncelab: *E,NOTSYT (./rtlsim.pat, 127|21): Unrecongnied system task or function (did not...
Thank you for ur suggestion.
there is one thing make me confuse. that is first time i verify the rtl vs netlist. the netlist is produced by compile option in synthesis tool, the formal is ok. But when i take the netlist file that is produced by compile_ultra option in sythesis to do formality...
hi guys:
i perform the verification for rtl vs. netlist.
i encounter a problem in the match stage of formality.
there are some of unmatched points in the reference object, but these unmatched points do not appear in the implementation object.
the type of unmatched points is DFF.
pls tell me...
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.