<corecode>
gatecat: nevermind, latest git works great
<corecode>
hm, somehow i can't get "show" to run xdot
<corecode>
oh nm. the design is too big :)
solidtux has quit [Quit: quit]
solidtux has joined #yosys
citypw has quit [Ping timeout: 240 seconds]
<corecode>
how would i visualize the critical path? nextpnr prints a bunch of stuff, but it has been passed through ABC, etc. and now i can't figure out what logic it is
<corecode>
i guess there should be a way to select it in yosys and then visualize it
<Lofty>
corecode: if your Yosys is up to date there's an autoname pass run by default that names things a bit better
<Lofty>
But in general, synthesis through Yosys/ABC is one way, and recovering the initial logic that forms the critical path is...impractical at best
<Lofty>
The nextpnr output really is the thing you have to look at
<corecode>
i don't see any real useful names
<corecode>
i wish there was an easy way to take the nextpnr critical path and process it to stick it into yosys select
<corecode>
i don't quite know how to select cells from nets
SpaceCoaster has quit [Quit: ZNC 1.7.2+deb3 - https://znc.in]
<Lofty>
corecode: could you paste the nextpnr output?
<corecode>
yes
<Lofty>
And also, which version of Yosys/nextpnr are you using?
<corecode>
nevertheless, it would be good to develop a flow that takes the critical path information and turns it into a select sequence that then allows to dump/show the path
<corecode>
i'm just having problems phrasing the selects
<corecode>
you'd think it would be simple, with all the unique names
<corecode>
but it doesn't work
<Lofty>
corecode: Use Git master
<Lofty>
Yosys' "releases" might as well be snapshots
<Lofty>
0.9 is like a year and a half old
<cr1901_modern>
^Agreed. For want of less-loaded language, yosys "changes too fast"
roamingr1 has quit [Ping timeout: 246 seconds]
<corecode>
hm, i can't figure out how to select the DFF that is part of the LC
<corecode>
i can only select the LUT
<Lofty>
For real: update your Yosys to current Git master, corecode, you'll find life much easier
<corecode>
oh i see
<corecode>
i think nextpnr merges LUTs and DFFs
<corecode>
but then only retains the LUT name, and calls it "LC"
<corecode>
and then I can't find the DFF anymore
<Lofty>
That's how iCE40 works, yeah
<corecode>
hmm, now nextpnr doesn't want to load yosys's json output anymore
<corecode>
ERROR: JSON module blackbox attribute value is not a number