Difference between revisions of "Main Page"
From Verific Design Automation FAQ
m |
|||
| Line 2: | Line 2: | ||
* [[How do I know | How do I know what language a Netlist in the netlist database comes from?]] | * [[How do I know | How do I know what language a Netlist in the netlist database comes from?]] | ||
* [[What are the data | What are the data structures in Verific?]] | * [[What are the data | What are the data structures in Verific?]] | ||
| + | * [[Does Verific build CDFG? | Does Verific build control and data flow graph (CDFG)?]] | ||
* [[Does Verific support cross| Does Verific support cross module references (XMR)?]] | * [[Does Verific support cross| Does Verific support cross module references (XMR)?]] | ||
Revision as of 11:57, 22 July 2016
General
- How do I know what language a Netlist in the netlist database comes from?
- What are the data structures in Verific?
- Does Verific build control and data flow graph (CDFG)?
- Does Verific support cross module references (XMR)?
VHDL, Verilog, Liberty, EDIF
- I'm using -v, -y, .... After Verific is done with the analysis, how do I get a list of all the files being analyzed?
- While looking at a Netlist, is there a clean way to look back at what VeriModule* or VhdlPrimaryUnit* this netlist was derived from?
- Why are the ports in original Verilog file renamed to p1, p2, ....?
- I have a design consisting of a mixture of Verilog 2001 and SystemVerilog input files. Should I parse all the files as SystemVerilog?
- A customer wants to analyze/elaborate different VHDL flavors (1993 and 2008). They want to process the 93 files first and then the 08. As each flavor has its own IEEE library set, do you have any suggestion on how to handle this scenario?
Output
TCL, Perl, Python, Java
