clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
cr1901 has quit [Quit: Leaving.]
cr1901 has joined #yosys
emeb_mac has joined #yosys
emeb_mac has quit [Ping timeout: 246 seconds]
AlexDaniel has quit [Ping timeout: 246 seconds]
PyroPeter has quit [Ping timeout: 264 seconds]
PyroPeter has joined #yosys
emeb has quit [Quit: Leaving.]
emeb_mac has joined #yosys
s_frit has quit [Remote host closed the connection]
s_frit has joined #yosys
citypw has joined #yosys
attie has quit [Ping timeout: 248 seconds]
citypw has quit [Ping timeout: 272 seconds]
citypw has joined #yosys
TFKyle has joined #yosys
attie has joined #yosys
s_frit_ has joined #yosys
s_frit has quit [Ping timeout: 245 seconds]
fevv8[m] has left #yosys ["Kicked by @appservice-irc:matrix.org : Idle kick: User has been idle for 30 days."]
dys has joined #yosys
Jybz has joined #yosys
indy has joined #yosys
emeb_mac has quit [Ping timeout: 245 seconds]
s_frit_ has quit []
_whitelogger has joined #yosys
proteusguy has quit [Remote host closed the connection]
proteusguy has joined #yosys
<pepijndevos_> Warning: Yosys has only limited support for tri-state logic at the moment. (../benchmarks/MCPU.v:61)
<pepijndevos_> Trying to synthesize https://github.com/cpldcpu/MCPU/blob/master/verilog/MCPU_0.1a.v and failing
<tpb> Title: MCPU/MCPU_0.1a.v at master · cpldcpu/MCPU · GitHub (at github.com)
<tnt> pepijndevos_: yeah. "assign data = states!=3'b001 ? 8'bZZZZZZZZ : accumulator[7:0]; " needs some change.
<tnt> Also, is that supposed to be a top level ? I mean tristate really only makes sense for IOs. No modern fpga has internal tristates.
<corecode> yea too bad that there is no easy way to communicate an output enable other than explicit second line
<corecode> but i guess it makes it more explicit
<pepijndevos_> tnt, not totaly sure tbh, just some core I snatched from the web.
<corecode> tnt: do you think it would make sense to automatically convert tristates to (hidden) enable signals and then connect to buffer OE?
<corecode> seems messy and too implicit
<corecode> very behavioral, not RTL
adjtm has joined #yosys
_whitelogger has joined #yosys
Jybz has quit [Remote host closed the connection]
Jybz has joined #yosys
dys has quit [Ping timeout: 268 seconds]
adjtm has quit [Ping timeout: 244 seconds]
maikmerten has joined #yosys
<maikmerten> with latest yosys master LUT usage is back to normal (nextpnr can pack things together nicely again)
<maikmerten> so thanks a lot! :-)
<maikmerten> with relut being at work and nextpnr being able to pack things again, LUT-usage overall is now lower than ever
rrika has quit [Ping timeout: 245 seconds]
<maikmerten> f_max is also back to normal, which means ~35 MHz (which I'm used to, caused by a carry chain) vs. ~45 MHz (with the original relut branch merged, with the carry chain no longer being the critial path). I wonder how the pre-fix yosys/nextpnr flow managed that.
rrika has joined #yosys
cr1901 has quit [Quit: Leaving.]
cr1901 has joined #yosys
dys has joined #yosys
adjtm has joined #yosys
Jybz has quit [Quit: Konversation terminated!]
<pepijndevos_> Huh, I'm confused. Looking at rtlil.h I swear I saw the actual implementations of add* functions, but I can't find them. I guess I'm being thick.
<pepijndevos_> git grep addAdd does not seem to find any actual implementation.
<pepijndevos_> oh, addAdff is there alright... but where are the others...
<pepijndevos_> ah... DEF_METHOD
<pepijndevos_> Is $mux always two-way? Because there is a $_MUX4_ but I've never seen $mux4, yet in rtlil.h it seems only two-way.
<daveshah> Larger muxes would end up either as $pmux or $shiftx depending on coding style
<daveshah> Or perhaps even a tree of $mux if coded using a tree of ?:
<pepijndevos_> ah ok
<tpb> Title: ghdlsynth-beta/ghdl.cc at db6d9f374de1eb1c074c2b9828bc6d99055b3624 · tgingold/ghdlsynth-beta · GitHub (at github.com)
<pepijndevos_> For a mux4 it indeed creates a tree of muxes, and was curious if that's the correct way to do it.
<daveshah> It's as good as any
<pepijndevos_> Cool
<daveshah> I'm not sure why ghdl has a mux4 cell in the first place...
<pepijndevos_> I'm going to try to add module instatiations. We'll see if just adding it as a cell and connecting wires does the job.
<daveshah> Yes, modulo parameterisation
<pepijndevos_> I think that's handled on the ghdl side, but not totally sure. Tristan mentioned he implemented modules in synthization but not on the yosys side, so I thought I'd try doing something useful.
<daveshah> For anything that isn't a blackbox leaf cell, you'll probably want to strip parameters from the instance and give each parameterised variant a unique name
<pepijndevos_> right
<maikmerten> is there a list of nextpnr python console commands?
<daveshah> No, unfortunately not
<maikmerten> ah, okay :-)
<daveshah> For querying the Arch database you can follow https://github.com/YosysHQ/nextpnr/blob/master/docs/archapi.md
<tpb> Title: nextpnr/archapi.md at master · YosysHQ/nextpnr · GitHub (at github.com)
<maikmerten> just wondering if there is a way to highlight critical paths in the graphical overview
<maikmerten> but perhaps stuff like that is not what the python console is actually meant for
<maikmerten> (I imagine it's more for orchestrating processing steps)
<daveshah> No, unfortunately there's no Python or C++ api to get critical paths yet
<daveshah> The timing stuff isn't really integrated very well
<maikmerten> it's still plenty neat :-)
<maikmerten> help() at the time being is a halt-and-catch-fire alias
<maikmerten> I guess that's because it's doing interactive stuff with stdin and stdout presumably
<daveshah> Tab completion should work
<maikmerten> it does!
emeb has joined #yosys
citypw has quit [Ping timeout: 248 seconds]
<pepijndevos_> What's a blackbox module supposed to look like in `dump`? Currently ghdl just makes a module \name end
adjtm has quit [Ping timeout: 245 seconds]
<daveshah> It also needs ports and a blackbox attribute set on it
<pepijndevos_> I thought as much... some work to do then.
adjtm has joined #yosys
maikmerten has quit [Remote host closed the connection]
emeb_mac has joined #yosys
pie_ has quit [Ping timeout: 252 seconds]
cr1901 has quit [Quit: Leaving.]
cr1901 has joined #yosys
Thorn has quit [Excess Flood]
pie_ has joined #yosys
pie_ has quit [Remote host closed the connection]
pie_ has joined #yosys
pie_ has quit [Remote host closed the connection]
pie_ has joined #yosys
emeb_mac has quit [Ping timeout: 245 seconds]
Thorn has joined #yosys
cr1901 has quit [Quit: Leaving.]
cr1901 has joined #yosys
_whitelogger has joined #yosys
tpb has quit [Remote host closed the connection]
tpb has joined #yosys