clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
rohitksingh has quit [Ping timeout: 264 seconds]
rohitksingh has joined #yosys
rohitksingh has quit [Ping timeout: 250 seconds]
rohitksingh has joined #yosys
emeb_mac has quit [Ping timeout: 248 seconds]
emeb_mac has joined #yosys
_whitelogger has joined #yosys
gmc has quit [Ping timeout: 272 seconds]
s_frit has quit [Remote host closed the connection]
s_frit has joined #yosys
gmc has joined #yosys
gmc has quit [Remote host closed the connection]
_whitelogger has joined #yosys
_whitelogger has joined #yosys
PyroPeter has quit [Ping timeout: 252 seconds]
gmc has joined #yosys
PyroPeter has joined #yosys
s_frit has quit [Remote host closed the connection]
s_frit has joined #yosys
Cerpin has joined #yosys
rohitksingh has quit [Ping timeout: 264 seconds]
rohitksingh has joined #yosys
<TD-Linux> getting an error for ice40 on latest master: https://paste.debian.net/1096658/
<tpb> Title: debian Pastezone (at paste.debian.net)
rohitksingh has quit [Ping timeout: 250 seconds]
dys has joined #yosys
<TD-Linux> (bisecting it atm)
jrolli has quit [Ping timeout: 260 seconds]
dys has quit [Ping timeout: 245 seconds]
dys has joined #yosys
Jybz has joined #yosys
jakobwenzel has joined #yosys
Jybz has quit [Quit: Konversation terminated!]
gmc has quit [Remote host closed the connection]
<tnt> TD-Linux: did you update both yosys and nextpnr ?
<TD-Linux> oh whoops is that a nextpnr error
<TD-Linux> indeed it is. sorry for the noise
emeb_mac has quit [Ping timeout: 245 seconds]
pie_ has quit [Ping timeout: 252 seconds]
dys has quit [Ping timeout: 268 seconds]
Thorn has quit [Ping timeout: 272 seconds]
maikmerten has joined #yosys
dys has joined #yosys
qinfengling has quit [Ping timeout: 245 seconds]
qinfengling has joined #yosys
gmc has joined #yosys
tux3 has quit [Quit: ZNC - https://znc.in]
tux3 has joined #yosys
Thorn has joined #yosys
pie_ has joined #yosys
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
<pepijndevos> What causes SymbiYosys to print a source location or the instance name?
<pepijndevos> I've added source attributes to GHDL, but it still just prints \312
<daveshah> You probably want to generate instance and net names from the source attribute too
<pepijndevos> huh?
<pepijndevos> The verific assertion has attribute \src "cpu_tb.v:177"
<pepijndevos> cell $assert $auto$verificsva.cc:1682:import$537
<pepijndevos> GHDL has attribute \src "alu.vhd:119:5"
<pepijndevos> cell $assert \312
<pepijndevos> I don't think the instance name of Verific contains a lot of useful info
<pepijndevos> The error seems to be generated here https://github.com/YosysHQ/yosys/blob/master/backends/smt2/smtbmc.py#L1061
<tpb> Title: yosys/smtbmc.py at master · YosysHQ/yosys · GitHub (at github.com)
pie_ has quit [Quit: pie_]
<pepijndevos> In Verific it prints "Assert failed in testbench: cpu_tb.v:177" which is clearly the src attribute, but in GHDL it just prints "Assert failed in alu: /312"
pie_ has joined #yosys
<daveshah> Oh, it might be that it needs a dollar prefixed name
<daveshah> Otherwise it thinks it is a labeled assertion (`label: assert(x);`) and therefore prints the name instead of the location
<pepijndevos> derp...
Cerpin has quit [Ping timeout: 268 seconds]
maikmerten has quit [Remote host closed the connection]
emeb has joined #yosys
Cerpin has joined #yosys
tlwoerner has quit [Ping timeout: 268 seconds]
tlwoerner has joined #yosys
dys has quit [Ping timeout: 264 seconds]
pie_ has quit [Ping timeout: 252 seconds]
promach has quit [Quit: WeeChat 2.5]
emeb has left #yosys [#yosys]
Cerpin has quit [Ping timeout: 244 seconds]
Cerpin has joined #yosys
Alio88 has joined #yosys
X-Scale has quit [Read error: Connection reset by peer]
Cerpin has quit [Ping timeout: 248 seconds]
Jybz has joined #yosys
Alio88 has quit [Ping timeout: 252 seconds]
Jybz has quit [Quit: Konversation terminated!]
emeb has joined #yosys
_whitelogger has joined #yosys
_whitelogger has joined #yosys
_whitelogger has joined #yosys
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
cdchapm2 has left #yosys [#yosys]