clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
<awygle> yosys doesn't support "protected" verilog files does it?
sjkelly1 has joined #yosys
citypw has joined #yosys
citypw has quit [Remote host closed the connection]
citypw has joined #yosys
<mwk> of course not
<awygle> figured, thought i'd ask
sjkelly1 has quit [Remote host closed the connection]
Degi has quit [Ping timeout: 240 seconds]
Degi has joined #yosys
bzztploink has quit [Read error: Connection reset by peer]
az0re has quit [Remote host closed the connection]
az0re has joined #yosys
emeb_mac has quit [Quit: Leaving.]
kristianpaul has quit [Ping timeout: 260 seconds]
kristianpaul has joined #yosys
smkz has quit [Quit: @]
smkz has joined #yosys
kristianpaul has quit [Ping timeout: 240 seconds]
kristianpaul has joined #yosys
jakobwenzel has quit [Read error: Connection reset by peer]
jakobwenzel1 has joined #yosys
jakobwenzel1 is now known as jakobwenzel
sameer_ has joined #yosys
<sameer_> Test
jakobwenzel has quit [Ping timeout: 260 seconds]
jakobwenzel has joined #yosys
bzztploink has joined #yosys
sameer_ has quit [Quit: Connection closed for inactivity]
az0re has quit [Remote host closed the connection]
notafile has joined #yosys
citypw has quit [Ping timeout: 240 seconds]
citypw has joined #yosys
emeb has joined #yosys
citypw has quit [Ping timeout: 240 seconds]
az0re has joined #yosys
N2TOH_ has quit [Ping timeout: 256 seconds]
Asu has joined #yosys
kristianpaul has quit [Read error: Connection reset by peer]
kristianpaul has joined #yosys
az0re has quit [Ping timeout: 240 seconds]
sameer_ has joined #yosys
<sameer_> Test
<daveshah> Test passed
<sorear> huh, the logs are down
<daveshah> I think tim runs a log too
<thardin> just dropped off my ice40 based lock-in amplifier thingy at uni for feedback
<tpb> Title: Wednesday, 2020-09-16 (at logs.timvideos.us)
Vuokko has quit [Remote host closed the connection]
emeb_mac has joined #yosys
N2TOH has joined #yosys
N2TOH has quit [Ping timeout: 260 seconds]
Asu has quit [Quit: Konversation terminated!]
N2TOH has joined #yosys
sameer_ has quit [Quit: Connection closed for inactivity]
<awygle> when you're not using multiclock, how do you specify the timestep yosys formal should use? i have some delays that are specified in nanoseconds that i want to prove hold
<awygle> currently it seems to be using 100 MHz but idk if that's stable
lf has quit [Ping timeout: 244 seconds]
lf has joined #yosys