futarisIRCcloud has quit [Ping timeout: 240 seconds]
futarisIRCcloud has joined #yosys
emeb_mac has quit [Quit: Leaving.]
mndza has joined #yosys
Guest66867 has joined #yosys
s_frit has quit [Ping timeout: 240 seconds]
Guest66867 has quit [Remote host closed the connection]
s_frit has joined #yosys
vidbina_ has joined #yosys
forrestv has quit [Ping timeout: 272 seconds]
forrestv has joined #yosys
ZipCPU has quit [Ping timeout: 272 seconds]
nengel has joined #yosys
jakobwenzel has joined #yosys
Thorn has quit [Ping timeout: 264 seconds]
nengel has quit [Quit: gone afk]
nengel has joined #yosys
wifasoi has joined #yosys
ZipCPU has joined #yosys
rswarbrick has joined #yosys
<rswarbrick>
Hi all! I've *finally* got back to the bind support stuff that I was working on months ago. I've managed to resurrect the patches and everything is building again, and I'd appreciate some hints on writing testcases.
<rswarbrick>
If I have a design and know what it should elaborate to after binding, what's the best way to "test" that it works right? Some sort of equivalence check? Some assertion (that checks it can completely fold away the test)? Something else?
nengel has quit [Quit: gone afk]
<rswarbrick>
Ahah, I've just found various/port_sign_extend.ys: I'll do something like that.
citypw has joined #yosys
citypw has quit [Ping timeout: 268 seconds]
jakobwenzel has quit [Quit: jakobwenzel]
nengel has joined #yosys
citypw has joined #yosys
vancz_ has joined #yosys
jakobwenzel has joined #yosys
citypw has quit [Ping timeout: 268 seconds]
Jybz has joined #yosys
emeb has joined #yosys
mndza has quit [Read error: Connection reset by peer]
mndza has joined #yosys
jakobwenzel1 has joined #yosys
jakobwenzel has quit [Read error: Connection reset by peer]
jakobwenzel1 is now known as jakobwenzel
srk has quit [Remote host closed the connection]
srk has joined #yosys
mndza has quit [Ping timeout: 260 seconds]
Jybz has quit [Remote host closed the connection]
emeb_mac has joined #yosys
Jybz has joined #yosys
FFY00 has quit [Ping timeout: 260 seconds]
FFY00 has joined #yosys
mndza has joined #yosys
Jybz has quit [Quit: Konversation terminated!]
Jybz has joined #yosys
Jybz has quit [Client Quit]
Jybz has joined #yosys
Jybz has quit [Client Quit]
Jybz has joined #yosys
rswarbrick has quit [Ping timeout: 260 seconds]
Jybz has quit [Ping timeout: 272 seconds]
Jybz has joined #yosys
danvet has quit [Ping timeout: 272 seconds]
mndza has quit [Ping timeout: 240 seconds]
peepsalot has quit [Ping timeout: 240 seconds]
nengel has quit [Quit: gone afk]
nengel has joined #yosys
nengel has quit [Quit: gone afk]
Jybz has quit [Quit: Konversation terminated!]
jakobwenzel1 has joined #yosys
jakobwenzel has quit [Ping timeout: 264 seconds]
jakobwenzel1 is now known as jakobwenzel
X-Scale` has joined #yosys
X-Scale has quit [Ping timeout: 260 seconds]
X-Scale` is now known as X-Scale
jakobwenzel has quit [Ping timeout: 256 seconds]
peepsalot has joined #yosys
jakobwenzel has joined #yosys
jakobwenzel has quit [Quit: jakobwenzel]
jakobwenzel has joined #yosys
jakobwenzel has quit [Read error: Connection reset by peer]