Thursday, 2023-06-01

*** tpb <[email protected]> has joined #yosys00:00
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys01:47
*** |{ame <|{ame!~|{[email protected]> has joined #yosys02:52
|{amehello, when checking the code with verilator --lint-only, I get the following error02:54
|{ame%Error-TIMESCALEMOD: lasoc.v:86:7: Timescale missing on this module as other modules have it (IEEE 1800-2017 3.14.2.2)02:54
|{ameIs there any way to remove it?02:54
|{ame(I am using picosoc)02:55
*** FabM <[email protected]> has joined #yosys06:56
*** Xark <[email protected]> has quit IRC (Ping timeout: 246 seconds)08:40
*** Xark <[email protected]> has joined #yosys08:41
*** arogora <[email protected]> has joined #yosys09:05
*** killjoy <killjoy!~nameless@user/killjoy> has quit IRC (Ping timeout: 268 seconds)09:07
*** arogora is now known as killjoy09:07
lofty|{ame: verilator is parsing picosoc as systemverilog, but you should change it to parse it as verilog09:13
*** schaeg <[email protected]> has joined #yosys09:16
*** kraiskil <kraiskil!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has joined #yosys09:25
*** |{ame <|{ame!~|{[email protected]> has quit IRC (Quit: Client closed)09:30
*** |{ame <|{ame!~|{[email protected]> has joined #yosys09:41
*** cr1901 <cr1901!~cr1901@2601:8d:8600:911:b174:c846:69f2:ecce> has quit IRC (Remote host closed the connection)10:11
|{amelofty: thank you. I tried  verilator --lint-only --default-language "1364-2005" --language "1364-2005" $(PROJECT).v but I still get the above error10:11
*** cr1901 <cr1901!~cr1901@2601:8d:8600:911:bc8f:cdb4:2dfe:a752> has joined #yosys10:11
*** |{ame <|{ame!~|{[email protected]> has quit IRC (Quit: Client closed)11:05
*** schaeg <[email protected]> has quit IRC (Quit: Konversation terminated!)11:15
*** schaeg <schaeg!~anabrid@2001:638:904:ffc8:3299:c873:915e:746e> has joined #yosys11:15
*** sugarbeet <[email protected]> has quit IRC (Ping timeout: 240 seconds)11:44
*** sugarbeet <[email protected]> has joined #yosys11:45
*** sugarbeet <[email protected]> has quit IRC (Ping timeout: 240 seconds)11:57
*** sugarbeet <[email protected]> has joined #yosys11:57
*** cr1901 <cr1901!~cr1901@2601:8d:8600:911:bc8f:cdb4:2dfe:a752> has quit IRC (Remote host closed the connection)12:01
*** kraiskil <kraiskil!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has quit IRC (Ping timeout: 246 seconds)12:03
*** bjorkint0sh <bjorkint0sh!~bjork@2600:1700:5400:c80:984b:ae2e:b47a:5bda> has joined #yosys12:11
*** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Ping timeout: 265 seconds)12:13
*** skipwich <skipwich!~skipwich@user/skipwich> has quit IRC (Quit: DISCONNECT)13:59
*** skipwich <skipwich!~skipwich@user/skipwich> has joined #yosys14:00
*** cr1901 <cr1901!~cr1901@2601:8d:8600:911:bc8f:cdb4:2dfe:a752> has joined #yosys14:03
*** cr1901 <cr1901!~cr1901@2601:8d:8600:911:bc8f:cdb4:2dfe:a752> has quit IRC (Remote host closed the connection)14:13
*** cr1901 <cr1901!~cr1901@2601:8d:8600:911:bc8f:cdb4:2dfe:a752> has joined #yosys14:14
*** cr1901 <cr1901!~cr1901@2601:8d:8600:911:bc8f:cdb4:2dfe:a752> has quit IRC (Remote host closed the connection)14:23
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::7> has joined #yosys15:14
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Remote host closed the connection)15:20
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Ping timeout: 240 seconds)15:53
*** cr1901 <cr1901!~cr1901@2601:8d:8600:911:bc8f:cdb4:2dfe:a752> has joined #yosys16:08
*** cr1901 <cr1901!~cr1901@2601:8d:8600:911:bc8f:cdb4:2dfe:a752> has quit IRC (Remote host closed the connection)16:08
*** cr1901 <cr1901!~cr1901@2601:8d:8600:911:bc8f:cdb4:2dfe:a752> has joined #yosys16:10
*** SpaceCoaster <SpaceCoaster!~derek@user/spacecoaster> has quit IRC (Ping timeout: 240 seconds)16:15
*** SpaceCoaster <SpaceCoaster!~derek@user/spacecoaster> has joined #yosys16:16
*** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)16:28
*** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys16:28
so-offishERROR: syntax error, unexpected TOK_ID <- Is there a way to get Yosys to give me what token it's ingesting that's causing the problem, or more information?17:05
*** bjorkint0sh <bjorkint0sh!~bjork@2600:1700:5400:c80:984b:ae2e:b47a:5bda> has quit IRC (Ping timeout: 248 seconds)17:08
*** bjorkintosh <bjorkintosh!~bjork@2600:1700:5400:c80:34b2:46c:5628:433b> has joined #yosys17:10
whitequarknot as far as I know; the official recommendation is to run your code through something like verilator first18:12
whitequark(ideally the Verilog parser would be improved, but no one who has seen the code wants to do that)18:12
*** Klotz <Klotz!~Klotzoman@gateway/tor-sasl/klotz> has joined #yosys18:24
*** Klotz <Klotz!~Klotzoman@gateway/tor-sasl/klotz> has quit IRC (Quit: Klotz)18:30
*** kraiskil <kraiskil!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has joined #yosys19:55
*** kraiskil <kraiskil!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has quit IRC (Ping timeout: 256 seconds)20:58
so-offishwhitequark: Oh that's an excellent idea; I'll work that into my workflow21:54
*** kraiskil <[email protected]> has joined #yosys21:54
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)22:13
*** nonchip <[email protected]> has joined #yosys22:13
*** kraiskil <[email protected]> has quit IRC (Ping timeout: 240 seconds)22:23
*** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)22:38
*** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys22:41
*** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)22:54
*** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys22:57
*** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)23:13
*** indy_ <[email protected]> has joined #yosys23:14
*** indy <[email protected]> has quit IRC (Ping timeout: 250 seconds)23:14
*** ZipCPU <[email protected]> has quit IRC (Ping timeout: 250 seconds)23:15
*** derekn <[email protected]> has quit IRC (Ping timeout: 250 seconds)23:15
*** derekn <[email protected]> has joined #yosys23:15
*** ZipCPU <[email protected]> has joined #yosys23:16

Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!