| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** so-offish <so-offish!~so-offish@2610:148:610:2b11::16> has quit IRC (Ping timeout: 240 seconds) | 00:04 | |
| *** |{ame <|{ame!~|{[email protected]> has joined #yosys | 00:55 | |
| *** mewt <[email protected]> has joined #yosys | 01:00 | |
| *** srk_ <srk_!~sorki@user/srk> has joined #yosys | 01:12 | |
| *** _whitelogger <[email protected]> has quit IRC (Ping timeout: 255 seconds) | 01:12 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@wireguard/tunneler/raito-bezarius> has quit IRC (Ping timeout: 255 seconds) | 01:12 | |
| *** cr1901_ <cr1901_!~cr1901@2601:8d:8600:911:4c82:2419:dd62:ff42> has joined #yosys | 01:13 | |
| *** corecode_ <[email protected]> has joined #yosys | 01:13 | |
| *** heath1 <heath1!~heath@user/heath> has quit IRC (Ping timeout: 255 seconds) | 01:13 | |
| *** srk <srk!~sorki@user/srk> has quit IRC (Ping timeout: 255 seconds) | 01:13 | |
| *** philtor <[email protected]> has quit IRC (Ping timeout: 255 seconds) | 01:13 | |
| *** acathla <[email protected]> has quit IRC (Ping timeout: 255 seconds) | 01:13 | |
| *** bpye <bpye!~bpye@user/bpye> has quit IRC (Ping timeout: 255 seconds) | 01:13 | |
| *** sorear <[email protected]> has quit IRC (Ping timeout: 255 seconds) | 01:13 | |
| *** bjonnh <bjonnh!~ircuser@about/aquilenet/bjonnh> has quit IRC (Ping timeout: 255 seconds) | 01:13 | |
| *** bjonnh <bjonnh!~ircuser@about/aquilenet/bjonnh> has joined #yosys | 01:13 | |
| *** TD-Linux <TD-Linux!~Thomas@user/td-linux> has quit IRC (Ping timeout: 255 seconds) | 01:13 | |
| *** acathla <[email protected]> has joined #yosys | 01:14 | |
| *** tpb_ <[email protected]> has joined #yosys | 01:16 | |
| *** tpb <[email protected]> has joined #yosys | 01:20 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d> has joined #yosys | 01:20 | |
| *** Psentee <Psentee!~psentee@2a01:4f8:272:3ccd::2> has joined #yosys | 01:22 | |
| *** FL4SHK <[email protected]> has quit IRC (Ping timeout: 254 seconds) | 01:22 | |
| *** sorear_ <[email protected]> has quit IRC (Ping timeout: 254 seconds) | 01:22 | |
| *** bjorkint0sh <bjorkint0sh!~bjork@2600:1700:5400:c80:172c:a422:dac3:411f> has quit IRC (Ping timeout: 254 seconds) | 01:22 | |
| *** SpaceCoaster <[email protected]> has joined #yosys | 01:22 | |
| *** _whitelogger_ <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 01:23 | |
| *** Psenteee <Psenteee!~psentee@user/psentee> has quit IRC (Ping timeout: 240 seconds) | 01:23 | |
| *** acathla <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 01:23 | |
| *** SpaceCoaster_ <SpaceCoaster_!~derek@user/spacecoaster> has quit IRC (Ping timeout: 240 seconds) | 01:23 | |
| *** _whitelogger <[email protected]> has joined #yosys | 01:23 | |
| *** acathla <[email protected]> has joined #yosys | 01:23 | |
| *** nonchip <[email protected]> has joined #yosys | 01:23 | |
| *** bjorkint0sh <bjorkint0sh!~bjork@2600:1700:5400:c80:172c:a422:dac3:411f> has joined #yosys | 01:24 | |
| *** FL4SHK <[email protected]> has joined #yosys | 01:24 | |
| *** sorear_ <[email protected]> has joined #yosys | 01:24 | |
| *** bjonnh <bjonnh!~ircuser@2a01:4f9:c011:6ee5::1> has quit IRC (Ping timeout: 240 seconds) | 01:24 | |
| *** bjonnh <bjonnh!~ircuser@2a01:4f9:c011:6ee5::1> has joined #yosys | 01:25 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d> has quit IRC (Client Quit) | 01:25 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d> has joined #yosys | 01:25 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d> has quit IRC (Read error: Connection reset by peer) | 01:26 | |
| *** ymherklotz <ymherklotz!cb2c9cfbdd@2604:bf00:561:2000::29a> has joined #yosys | 01:26 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d> has joined #yosys | 01:27 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d> has quit IRC (Client Quit) | 01:27 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d> has joined #yosys | 01:28 | |
| *** lofty <[email protected]> has joined #yosys | 01:28 | |
| *** cr1901_ <cr1901_!~cr1901@2601:8d:8600:911:4c82:2419:dd62:ff42> has joined #yosys | 01:28 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d> has quit IRC (Client Quit) | 01:28 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d> has joined #yosys | 01:29 | |
| *** jleightcap <jleightcap!7bc4014b62@user/jleightcap> has joined #yosys | 01:30 | |
| *** srk <srk!~sorki@user/srk> has joined #yosys | 01:30 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d> has quit IRC (Client Quit) | 01:30 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d> has joined #yosys | 01:31 | |
| *** Lord_Nightmare <Lord_Nightmare!~Lord_Nigh@user/lord-nightmare/x-3657113> has joined #yosys | 01:31 | |
| *** corecode <[email protected]> has joined #yosys | 01:32 | |
| *** Zaba <Zaba!80b9b4b35e@2604:bf00:561:2000::116> has joined #yosys | 01:32 | |
| *** TD-Linux <TD-Linux!~Thomas@user/td-linux> has joined #yosys | 01:32 | |
| *** anticw <[email protected]> has joined #yosys | 01:33 | |
| *** cr1901_ is now known as cr1901 | 01:33 | |
| *** muuo <muuo!939aa3488f@user/muuo> has joined #yosys | 01:36 | |
| *** heath2 <heath2!~heath@user/heath> has joined #yosys | 01:37 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d> has quit IRC (Quit: free()) | 01:37 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@wireguard/tunneler/raito-bezarius> has joined #yosys | 01:37 | |
| *** tnt <tnt!~tnt@osmocom/tnt> has joined #yosys | 01:37 | |
| *** srk- <srk-!~sorki@user/srk> has joined #yosys | 02:00 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@wireguard/tunneler/raito-bezarius> has quit IRC (Ping timeout: 255 seconds) | 02:00 | |
| *** anticw <[email protected]> has quit IRC (Ping timeout: 255 seconds) | 02:00 | |
| *** Lord_Nightmare2 <Lord_Nightmare2!~Lord_Nigh@user/lord-nightmare/x-3657113> has joined #yosys | 02:01 | |
| *** tnt <tnt!~tnt@osmocom/tnt> has quit IRC (Ping timeout: 255 seconds) | 02:01 | |
| *** srk <srk!~sorki@user/srk> has quit IRC (Ping timeout: 255 seconds) | 02:01 | |
| *** Lord_Nightmare <Lord_Nightmare!~Lord_Nigh@user/lord-nightmare/x-3657113> has quit IRC (Ping timeout: 255 seconds) | 02:01 | |
| *** anticw <[email protected]> has joined #yosys | 02:02 | |
| *** tnt <tnt!~tnt@osmocom/tnt> has joined #yosys | 02:02 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@wireguard/tunneler/raito-bezarius> has joined #yosys | 02:02 | |
| *** srk- is now known as srk | 02:03 | |
| *** Lord_Nightmare2 is now known as Lord_Nightmare | 02:04 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:911:4c82:2419:dd62:ff42> has quit IRC (Read error: Connection reset by peer) | 02:37 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:911:1809:ea14:d137:641b> has joined #yosys | 02:41 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@wireguard/tunneler/raito-bezarius> has quit IRC (Ping timeout: 255 seconds) | 03:32 | |
| *** tnt <tnt!~tnt@osmocom/tnt> has quit IRC (Ping timeout: 255 seconds) | 03:33 | |
| *** tnt <tnt!~tnt@osmocom/tnt> has joined #yosys | 03:33 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@wireguard/tunneler/raito-bezarius> has joined #yosys | 03:46 | |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys | 05:51 | |
| *** tux3 <tux3!~tux3@user/tux3> has quit IRC (Ping timeout: 240 seconds) | 08:14 | |
| *** tux3 <tux3!~tux3@user/tux3> has joined #yosys | 08:14 | |
| *** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds) | 08:18 | |
| *** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys | 08:20 | |
| *** |{ame <|{ame!~|{[email protected]> has quit IRC (Quit: Client closed) | 10:55 | |
| *** ZipCPU <[email protected]> has quit IRC (Server closed connection) | 11:06 | |
| *** ZipCPU <[email protected]> has joined #yosys | 11:07 | |
| *** schaeg <schaeg!~anabrid@2001:638:904:ffc8:1d56:1e79:559d:3660> has joined #yosys | 11:57 | |
| *** fayalalebrun <fayalalebrun!~fayalaleb@2a02:928:11:14:8410:1208:4841:b5d8> has joined #yosys | 12:28 | |
| fayalalebrun | Hello, I'm learning formal verification using GHDL, PSL, and Simbiyosys. I was wondering why the following code fails the induction step: | 12:33 |
|---|---|---|
| fayalalebrun | f_reset : assume {reset_in}; | 12:33 |
| fayalalebrun | f_no_reset : assume next (always not reset_in); | 12:33 |
| fayalalebrun | f_no_reset_a : assert next (always not reset_in); | 12:33 |
| fayalalebrun | My intent is to assume reset is only asserted at the start of the trace. Why would the assertion here fail? Do assumptions not apply during induction? | 12:33 |
| *** FabM <[email protected]> has joined #yosys | 13:43 | |
| *** TianruiWei[m] <TianruiWei[m]!~tianruiwe@2001:470:69fc:105::1:601a> has quit IRC (Read error: Connection reset by peer) | 13:51 | |
| *** jryans <jryans!~jryans@2001:470:69fc:105::1d> has quit IRC (Write error: Connection reset by peer) | 13:51 | |
| *** charlottia <charlottia!~charlotti@2001:470:69fc:105::3:5e7d> has quit IRC (Read error: Connection reset by peer) | 13:51 | |
| *** jevinskie[m] <jevinskie[m]!~jevinskie@2001:470:69fc:105::bb3> has quit IRC (Write error: Connection reset by peer) | 13:51 | |
| *** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has quit IRC (Read error: Connection reset by peer) | 13:51 | |
| *** programmerjake <programmerjake!~programme@2001:470:69fc:105::172f> has quit IRC (Read error: Connection reset by peer) | 13:51 | |
| *** bjonnh[m] <bjonnh[m]!~bjonnhmat@2001:470:69fc:105::29> has quit IRC (Read error: Connection reset by peer) | 13:51 | |
| *** pepijndevos[m] <pepijndevos[m]!~pepijndev@2001:470:69fc:105::b6a8> has quit IRC (Write error: Connection reset by peer) | 13:51 | |
| *** xiretza[m] <xiretza[m]!~xiretzaxi@2001:470:69fc:105::9b1> has quit IRC (Read error: Connection reset by peer) | 13:51 | |
| *** xiretza[m] <xiretza[m]!~xiretzaxi@2001:470:69fc:105::9b1> has joined #yosys | 13:55 | |
| *** pepijndevos[m] <pepijndevos[m]!~pepijndev@2001:470:69fc:105::b6a8> has joined #yosys | 13:59 | |
| *** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has joined #yosys | 13:59 | |
| *** programmerjake <programmerjake!~programme@2001:470:69fc:105::172f> has joined #yosys | 13:59 | |
| *** jevinskie[m] <jevinskie[m]!~jevinskie@2001:470:69fc:105::bb3> has joined #yosys | 13:59 | |
| *** jryans <jryans!~jryans@2001:470:69fc:105::1d> has joined #yosys | 13:59 | |
| *** bjonnh[m] <bjonnh[m]!~bjonnhmat@2001:470:69fc:105::29> has joined #yosys | 13:59 | |
| *** charlottia <charlottia!~charlotti@2001:470:69fc:105::3:5e7d> has joined #yosys | 13:59 | |
| *** TianruiWei[m] <TianruiWei[m]!~tianruiwe@2001:470:69fc:105::1:601a> has joined #yosys | 13:59 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Quit: WeeChat 2.3) | 14:01 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 14:01 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Quit: Leaving) | 14:15 | |
| *** FabM <[email protected]> has joined #yosys | 14:21 | |
| schaeg | Is some aware of any open source code base in Verilog-A, Verilog-AMS or VHDL-AMS (where the A isn't just for decoration)? Is someone aware whether one can write an VHDL/Verilog-AMS code in a foundary portable way? | 14:34 |
| *** schaeg <schaeg!~anabrid@2001:638:904:ffc8:1d56:1e79:559d:3660> has quit IRC (Ping timeout: 248 seconds) | 14:45 | |
| *** schaeg <schaeg!~anabrid@2001:638:904:ffc8:c2ad:d0e3:a5db:ea7a> has joined #yosys | 14:56 | |
| *** fayalalebrun <fayalalebrun!~fayalaleb@2a02:928:11:14:8410:1208:4841:b5d8> has quit IRC (Quit: Client closed) | 15:02 | |
| *** vancz <vancz!~vancz@user/vancz> has quit IRC () | 15:07 | |
| *** vancz <vancz!~vancz@user/vancz> has joined #yosys | 15:07 | |
| *** vancz <vancz!~vancz@user/vancz> has quit IRC (Client Quit) | 15:10 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Quit: Leaving) | 15:22 | |
| *** vancz <vancz!~vancz@user/vancz> has joined #yosys | 15:24 | |
| *** so-offish <[email protected]> has joined #yosys | 16:03 | |
| *** so-offish <[email protected]> has quit IRC (Remote host closed the connection) | 16:04 | |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Ping timeout: 240 seconds) | 16:11 | |
| *** bjorkint0sh <bjorkint0sh!~bjork@2600:1700:5400:c80:172c:a422:dac3:411f> has quit IRC (Remote host closed the connection) | 16:43 | |
| *** bjorkint0sh <bjorkint0sh!~bjork@2600:1700:5400:c80:c18:e1ab:97e8:4dea> has joined #yosys | 16:44 | |
| *** fayalalebrun <fayalalebrun!~fayalaleb@2001:1c00:b07:1160:bad4:f656:b7be:722> has joined #yosys | 17:14 | |
| *** Xark <[email protected]> has quit IRC (Server closed connection) | 18:22 | |
| *** Xark <[email protected]> has joined #yosys | 18:22 | |
| *** fayalalebrun <fayalalebrun!~fayalaleb@2001:1c00:b07:1160:bad4:f656:b7be:722> has quit IRC (Quit: Client closed) | 19:31 | |
| *** so-offish <so-offish!~so-offish@2610:148:610:2b11::6> has joined #yosys | 19:56 | |
| so-offish | Oh I figured it out btw (the "Cell type is unsupported") :D | 20:59 |
| so-offish | There was an error higher up (bad RTL) and once I fixed that we were handy dandy. | 20:59 |
| so-offish | Sorry that was lame. "once I fixed that, it worked" | 20:59 |
| *** schaeg <schaeg!~anabrid@2001:638:904:ffc8:c2ad:d0e3:a5db:ea7a> has quit IRC (Ping timeout: 256 seconds) | 22:08 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:14 | |
| *** nonchip <[email protected]> has joined #yosys | 22:14 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!