<cr1901>
"unexpected (" it's a task, not a module.
krispaul has joined #yosys
kristianpaul has quit [Ping timeout: 240 seconds]
pbsds has quit [Ping timeout: 268 seconds]
pbsds has joined #yosys
<jix>
cr1901: the SV spec says "Tasks and void functions are called as statements within procedural blocks" which I think does not include module level statements outside of initial or always blocks
jn has quit [Quit: No Ping reply in 180 seconds.]
jn has joined #yosys
jn has joined #yosys
Guest6417 has joined #yosys
Guest6436 has joined #yosys
Guest6417 has quit [Client Quit]
Guest6436 has quit [Client Quit]
strobo has quit [Ping timeout: 256 seconds]
Guest7 has joined #yosys
<Guest7>
can we generate timing report in yosys??
<lethalbit>
There is the `sta` pass, but i've not had super good luck with it
<lethalbit>
but typically getting a timing report from something like nextpnr or the OpenROAD STA tool is better afaik
Guest7 has quit [Quit: Client closed]
krispaul has quit [Quit: WeeChat 2.3]
kristianpaul has joined #yosys
so-offish1 has joined #yosys
so-offish1 has quit [Remote host closed the connection]
so-offishul has quit [Ping timeout: 268 seconds]
EmilyCrab has joined #yosys
EmilyCrab has quit [Client Quit]
philtor has quit [Ping timeout: 250 seconds]
<whitequark>
yosyd does not have enough information to give you a meaningful timing report
<whitequark>
*yosys
kristianpaul has quit [Ping timeout: 264 seconds]
philtom has joined #yosys
philtom is now known as philtor
kristianpaul has joined #yosys
kristianpaul has quit [Client Quit]
kristianpaul has joined #yosys
<cr1901>
jix: Ahhh then I guess what I want is impossible then (I wanted to call a task that creates an assert property (large_complex_boolean_expression_from_inputs))