UHDM
UHDM copied to clipboard
chipsalliance
Create a RTL Netlist view
-
Create a Five-box Data Model similar to: https://www.intel.com/content/www/us/en/docs/programmable/683236/22-4/design-netlist-infrastructure-beta.html within the UHDM schema, with back pointers to VPI Schema
-
Create a new UHDM application that reads-in UHDM VPI model and write out UHDM Netlist Model along with necessary VPI model
-
Write the code that transforms the UHDM elaborated tree into the Netlist model Complex data-type flattening Net Drive-Load graph Instance hierarchy SysteVerilog Interface flattening Optional flattening Inference of common elements (DFF....)
This will create the necessary datastructure to populate Yosys::RTLIL directly (Bypassing Yosys::AST) or other tools necessitating a netlist view of the design.
- Create a Five-box Data Model
Do you mean a data model suitable for a graphical representation of a design or a part of ?
The 5 box model is the standard EDA model for modeling a hierarchical netlist (datastructure). It is indeed also useful to represent a netlist graphically, but that is secondary.
@QuantamHD , I'm currently learning the code of synlig, trying to address some of the cases I opened. Once I resolve all my outstanding issues, and maybe a couple I saw opened recently, I'll switch to this case. This project is probably a couple of years out with current staffing, in the meantime we need synlig support. I'm trying to enroll some help from the community here.
@alaindargelas How to identify the DFF in the code by the VPI,use the vpi_get_str to map the name?
If the dff is instantiated in the input file, then you need to consider it as a blackbox , it has to go through synthesis unaltered, for that you need to read along with your input file another Verilog file containing the blackbox definition of the DFFs. Use the (* blackbox *) attribute, that is already supported in my fork of Synlig, similarly here, the blackbox would pass through and be regurgitated as-is in this netlist view.
If the dff is always statement in the input file, then we need a piece of code called inference that does control/data path analysis and infers the behavior of clock set reset, a similar code exists in Yosys.
If the dff is instantiated in the input file, then you need to consider it as a blackbox , it has to go through synthesis unaltered, for that you need to read along with your input file another Verilog file containing the blackbox definition of the DFFs. Use the (* blackbox *) attribute, that is already supported in my fork of Synlig, similarly here, the blackbox would pass through and be regurgitated as-is in this netlist view.
If the dff is always statement in the input file, then we need a piece of code called inference that does control/data path analysis and infers the behavior of clock set reset, a similar code exists in Yosys.
emmm,i dont really understand it,i just want to extract all the DFF in the netlist,can you list a example to explain it
tmp.zip @
If the dff is instantiated in the input file, then you need to consider it as a blackbox , it has to go through synthesis unaltered, for that you need to read along with your input file another Verilog file containing the blackbox definition of the DFFs. Use the (* blackbox *) attribute, that is already supported in my fork of Synlig, similarly here, the blackbox would pass through and be regurgitated as-is in this netlist view.
If the dff is always statement in the input file, then we need a piece of code called inference that does control/data path analysis and infers the behavior of clock set reset, a similar code exists in Yosys.
tmp.zip this is the netlist example
It looks like you can use a simpler solution with hardcoded names of dffs. Traverse all the modules recursively (Write a UHDM executable like the example hellouhdm in Surelog). Use vpi_iterate(vpiModule) and dump all the ones that match the dff name you are looking for.
It looks like you can use a simpler solution with hardcoded names of dffs. Traverse all the modules recursively (Write a UHDM executable like the example hellouhdm in Surelog). Use vpi_iterate(vpiModule) and dump all the ones that match the dff name you are looking for.
thk u,bro leave a email to communicate the thechnology.sent message to me bro.my email is [email protected]