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.
Re: VCS7.0 VS. NC-Verilog5.4
nc-verilog supports good TCL interface....
i have successfully use TCL interface of NC to do simulation flow control and some simple result check.
If you are TCL user , i think you will like NC.
:)
If you think that are not real design problem...
try this two setting
set_fix_multiple_port_nets -buffer_constants -all
set verilogout_no_tri true
please re-check manual to ensure the effect is what you want.
In most case, you can use the license file in both OS.
But, if you use s-y-n-p-l-i-c-i-y tool, it seems there are some OS information hidden in license file.
The license could be used in SUNOS and not in Linux.
Is it possible to install solaris and linux version LDV in the same directory?
if i link tools to tools.sun4v, the commands will excute fail under linux .
Anybody has good idea to install two version LDV in the same directory and share the doc ?
There are several formal verification language....such OVA, OVL, PSL, and assertion of system verilog
I think PSL is the most popular...
if you want to understand PSL and system verilog , you can go to
https://www.accellera.org/ and download LRM.
Assertion base verification is the trend.
But, which language should we use?
PSL? or others?
It seems only cadence ncsim supports PSL dynamic simulation and few beta tools support PSL static formal verificatoin.
Should we integrate PSL into our verification flow now?
8O :?: :?:
i use redhat 8.0 to work.
it seems fine.
But when screensaver is turned on, it is easy to hang...
Don't know why... :?:
Does anybody have the same problem with me?
:(
magma
there are some articles about magma in the www.deepchip.com
https://www.deepchip.com/items/dac01-28.html
and you could use search engine to find more...
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.