Tuesday, 2023-11-28

*** yambo <yambo!~yambo@184-167-135-012.res.spectrum.com> has quit IRC01:07
*** yambo <yambo!~yambo@184-167-135-012.res.spectrum.com> has joined #libre-soc01:09
*** specing <specing!~specing@user/specing> has joined #libre-soc02:21
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has quit IRC07:38
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has joined #libre-soc07:38
*** octavius <octavius!~octavius@> has joined #libre-soc08:38
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has quit IRC09:44
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc09:46
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC09:58
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc09:58
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC10:02
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc10:04
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC10:13
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc10:14
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC10:27
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has joined #libre-soc10:28
*** psydroid <psydroid!~psydroid@user/psydroid> has joined #libre-soc12:17
*** psydroid <psydroid!~psydroid@user/psydroid> has quit IRC13:41
*** octavius_ <octavius_!~octavius@> has joined #libre-soc15:22
*** octavius <octavius!~octavius@> has quit IRC15:22
*** psydroid <psydroid!~psydroid@user/psydroid> has joined #libre-soc15:46
*** octavius_ <octavius_!~octavius@> has quit IRC16:26
*** octavius <octavius!~octavius@> has joined #libre-soc16:26
openpowerbot[irc] <sadoon[m]> My two talks are in a draft now, waiting to discuss this evening before submitting but complete proposals otherwise16:28
octaviussadoon, you may as well submit now16:28
octaviusyou can edit it afterwards16:28
openpowerbot[irc] <sadoon[m]> Ah16:28
openpowerbot[irc] <sadoon[m]> But I don't see a space for short bio, contact info and title16:29
openpowerbot[irc] <sadoon[m]> Should that go in notes?16:29
octaviustitle is on the first page of the submission16:29
openpowerbot[irc] <sadoon[m]> Oops, thought that was my title lmao16:29
openpowerbot[irc] <sadoon[m]> Still don't see a bio section, should that go in notes?16:30
octaviusnext page16:30
openpowerbot[irc] <sadoon[m]> Alright thanks16:31
octaviusOr if you miss it, you can fill your bio separately16:31
openpowerbot[irc] <sadoon[m]> Alright both submitted but can't find a bio section16:33
openpowerbot[irc] <sadoon[m]> It's in my profile page apparently16:33
openpowerbot[irc] <sadoon[m]> I see you're editing 1070 at the same time as me, just wanted to replace the #TODO s :)16:37
octaviusYes, please replace them :)16:37
openpowerbot[irc] <sadoon[m]> alright :P16:38
openpowerbot[irc] <sadoon[m]> Done16:38
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has quit IRC16:39
openpowerbot[irc] <cesar> Sent mine as well: https://pretalx.fosdem.org/fosdem-2024/talk/review/ERCK9HTW89NXBA7SFGF8BLMWCTFEZWBG16:41
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc16:41
openpowerbot[irc] <sadoon[m]> Formal verification, or formal correctness proofs, are powerful tools when designing your FPGA or ASIC "gateware". They help finding bugs sometimes missed in simulation, triggered by corner cases you *didn't* think to check. This talk will give a little background on how they work, the available ecosystem of tools, show some small examples on how to use them, and some practical results from real-life usage.16:42
openpowerbot[irc] <sadoon[m]> Minor correction16:42
openpowerbot[irc] <sadoon[m]> Also perhaps the title is a bit too long?16:42
openpowerbot[irc] <sadoon[m]> Formal Verification of Digital Circuits: Introduction & Applications16:42
openpowerbot[irc] <cesar[m]> Corrected, thanks.16:43
openpowerbot[irc] <sadoon[m]> doh, I italicized the wrong word but I guess you got it xD16:43
openpowerbot[irc] <cesar[m]> How about:16:49
openpowerbot[irc] <cesar[m]> Formal Verification of Digital Circuits: a brief introduction16:50
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC16:50
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has joined #libre-soc16:50
openpowerbot[irc] <sadoon[m]> Introduction to Formal Verification of Digital Circuits :)16:50
openpowerbot[irc] <sadoon[m]> No need to say that it's brief, max is 30 minutes anyways16:51
openpowerbot[irc] <sadoon[m]> meeting in 5 mins16:54
openpowerbot[irc] <programmerjake> i'll be a few min...17:00
*** tplaten <tplaten!~tplaten@> has joined #libre-soc18:57
tplatenI did the typo fix in https://pretalx.fosdem.org/fosdem-2024/talk/review/XHGZGAZZTMSM8FC3X3SNBFM3EYEQ3NDT, after https://libre-soc.org/irclog/%2523libre-soc.2023-11-26.log.html18:58
openpowerbot[irc] <programmerjake> i'll be a min...19:02
*** psydroid <psydroid!~psydroid@user/psydroid> has quit IRC19:39
*** octavius <octavius!~octavius@> has quit IRC19:49
tplatenWhen I try to build microwatt, I get a >>> unhandled call to ieee function "is_x" <<<19:52
tplatenthe software versions are the correct ones: from dev-env-setup/hdl-tools-yosy19:53
openpowerbot[irc] <programmerjake> are you trying latest microwatt? try building with `make DOCKER=1`, since the dev scripts use an old version of ghdl19:54
tplatenI did not try using docker yet.19:56
openpowerbot[irc] <programmerjake> see https://bugs.libre-soc.org/show_bug.cgi?id=1207 for an example19:56
openpowerbot[irc] <programmerjake> the dev scripts only work with microwatt from when the dev-scripts were written, later microwatt uses newer ghdl features19:58
tplatenIt's late here, so I continue tomorrow19:58
openpowerbot[irc] <programmerjake> sleep well!19:58
*** tplaten <tplaten!~tplaten@> has quit IRC20:00
*** leah <leah!~leah@libreboot/developer/leah> has quit IRC20:17
*** leah <leah!~leah@libreboot/developer/leah> has joined #libre-soc20:19
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC20:31
*** psydroid <psydroid!~psydroid@user/psydroid> has joined #libre-soc20:39
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc21:24
*** jleightcap <jleightcap!7bc4014b62@user/jleightcap> has quit IRC21:44
*** jleightcap <jleightcap!7bc4014b62@user/jleightcap> has joined #libre-soc21:45
*** alethkit <alethkit!23bd17ddc6@sourcehut/user/alethkit> has quit IRC21:46
*** jleightcap <jleightcap!7bc4014b62@user/jleightcap> has quit IRC21:46
*** jleightcap <jleightcap!7bc4014b62@user/jleightcap> has joined #libre-soc21:46
*** alethkit <alethkit!23bd17ddc6@2604:bf00:561:2000::3ce> has joined #libre-soc21:47
*** alethkit <alethkit!23bd17ddc6@sourcehut/user/alethkit> has joined #libre-soc21:47
*** psydroid <psydroid!~psydroid@user/psydroid> has quit IRC23:21

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