vtr-verilog-to-routing
vtr-verilog-to-routing copied to clipboard
SymbiFlow
Analysis option in VTR does not generate Blackbox timing in SDF correctly
There are multiple issues related to SDF writer for Blackbox primitive
-
The primitives being modeled as Blackbox have combinational and sequential timings. In present --analysis code, blackbox combinational and sequential timings are not getting populated
-
Blackbox could have more than 1 reference clocks (e.g. Dual Port RAM). Current SDF generation does not handle timing checks w.r.t. specific clock. It uses a generic name "clk" to write out timing checks
Solution would be to traverse through all output and inputs pins of blackbox primitive to collect timing paths and timing checks. Also store the correct reference clock during the traversal.
Should the timing information be provided by the black box implementation rather than vpr?
@mithro, well the reason I mention VPR is that sdf writer is part of VPR. Timing graph already has timing arcs and setup/hold, it's just that it's not being written out in SDF. I have already coded a fix in netlist_writer and in the process of creating a PR.
@tpagarani - Not opposed to seeing this happening, just wondering if that is a work around or solution which results in less duplication in the output?