clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
emeb has quit [Quit: Leaving.]
emeb_mac has joined #yosys
Vinalon has quit [Ping timeout: 265 seconds]
Degi_ has joined #yosys
Degi has quit [Ping timeout: 265 seconds]
Degi_ is now known as Degi
Vinalon has joined #yosys
Sarayan has quit [Ping timeout: 265 seconds]
tmiw has quit [Ping timeout: 272 seconds]
tmiw has joined #yosys
anticw has quit [Ping timeout: 260 seconds]
anticw has joined #yosys
Cerpin has quit [Ping timeout: 240 seconds]
Cerpin has joined #yosys
__builtin_trap is now known as zkms
futarisIRCcloud has joined #yosys
citypw has joined #yosys
parport0 has joined #yosys
jfcaron_ has quit [Remote host closed the connection]
jfcaron_ has joined #yosys
parport0 has quit [Read error: Connection reset by peer]
parport0 has joined #yosys
parport0 has quit [Ping timeout: 258 seconds]
parport0 has joined #yosys
parport0 has quit [Ping timeout: 256 seconds]
sajattack has quit [Remote host closed the connection]
s_frit_ has quit [Remote host closed the connection]
s_frit has joined #yosys
az0re has quit [Remote host closed the connection]
parport0 has joined #yosys
parport0 has quit [Read error: Connection reset by peer]
Jybz has joined #yosys
Jybz has quit [Quit: Konversation terminated!]
az0re has joined #yosys
parport0 has joined #yosys
az0re has quit [Quit: Leaving]
Vinalon has quit [Quit: Leaving]
FFY00 has quit [Remote host closed the connection]
FFY00 has joined #yosys
Sarayan has joined #yosys
emeb_mac has quit [Quit: Leaving.]
az0re has joined #yosys
tautologico has quit [Quit: Connection closed for inactivity]
jakobwenzel has joined #yosys
TFKyle has joined #yosys
<daveshah> Because it is (or at least should be) implemented in cells_sim
<daveshah> cells_xtra is for cells not included in other files
<anuejn> ah ok, i see thanks
_whitelogger has joined #yosys
jfcaron_ has quit [Remote host closed the connection]
citypw has quit [Remote host closed the connection]
az0re has quit [Remote host closed the connection]
citypw has joined #yosys
emeb has joined #yosys
citypw has quit [Ping timeout: 240 seconds]
jakobwenzel has quit [Quit: jakobwenzel]
jfcaron has joined #yosys
ross_s has quit [Ping timeout: 265 seconds]
dys has quit [Ping timeout: 256 seconds]
Vinalon has joined #yosys
alexhw has quit [Ping timeout: 250 seconds]
alexhw has joined #yosys
N2TOH_ has quit [Ping timeout: 265 seconds]
N2TOH has joined #yosys
Vinalon has quit [Remote host closed the connection]
adjtm_ has quit [Remote host closed the connection]
adjtm_ has joined #yosys
az0re has joined #yosys
<lambda> damn, ConstEval seems impossible to debug... am I missing something?
<ZirconiumX> lambda: there's `show` to dump the RTLIL if that helps any
<lambda> ZirconiumX: is there a way to expand internal cells? I'm trying to use `test_cell` on the new $rem and it always fails during eval
<ZirconiumX> "expand"?
<lambda> the gold module shown during test_cell only contains an instance of $rem, I'd like to know what exactly is inside when it's evaluated
<ZirconiumX> If it only contains an instance of $rem, then the answer is "just $rem"
<ZirconiumX> But if you use something like `show` it can show connections etc
<lambda> sure, but ConstEval has to use *something* to evaluate that cell
<lambda> I'm guessing the model in simlib.v, but I'm not sure
<mwk> no, the simlib is strictly for external simulators
<mwk> the const eval uses the rules in kernel/celltypes.h, actually
<mwk> (which is also the place to mark cells as evaluable)
rjeschmi has quit [Ping timeout: 272 seconds]
<lambda> mwk: ohhh, now I got it! CellTypes::eval() calls the functions in calc.cc, haven't implemented those yet
<lambda> thanks for the pointer
N2TOH has quit [Ping timeout: 260 seconds]
N2TOH has joined #yosys
N2TOH has quit [Read error: Connection reset by peer]
N2TOH has joined #yosys
N2TOH has quit [Read error: Connection reset by peer]
N2TOH_ has joined #yosys
N2TOH has joined #yosys
N2TOH_ has quit [Ping timeout: 250 seconds]
<lambda> hm, what's this hard-coded 6 doing here? are $mul and friends always smaller than 64 bits or something? https://github.com/YosysHQ/yosys/blob/516857f3ba662f467d56df562eeca9ed214ac702/passes/opt/opt_expr.cc#L1414
<lambda> ...and in that moment I see the `size <= 32` guard, whoops
<ZirconiumX> Out of curiosity, does Yosys optimise across flops? Imagine for example you had a truth-table for the input to a flop, then you could use that to optimise consumers of the flop output
<ZirconiumX> (I'm well aware this is trciky)
<ZirconiumX> I guess kinda like treating every flop as a whitebox
Vinalon has joined #yosys
az0re has quit [Ping timeout: 240 seconds]
N2TOH has quit [Ping timeout: 265 seconds]
orkim has quit [Quit: quit]
orkim has joined #yosys
jfcaron has quit [Ping timeout: 256 seconds]
N2TOH has joined #yosys
N2TOH_ has joined #yosys
N2TOH has quit [Ping timeout: 265 seconds]
az0re has joined #yosys
adjtm_ has quit [Remote host closed the connection]
adjtm_ has joined #yosys
adjtm_ has quit [Remote host closed the connection]
adjtm_ has joined #yosys