| *** yambo <yambo!~yambo@184-167-135-012.res.spectrum.com> has quit IRC | 01:07 | |
| *** yambo <yambo!~yambo@184-167-135-012.res.spectrum.com> has joined #libre-soc | 01:09 | |
| *** specing <specing!~specing@user/specing> has joined #libre-soc | 02:21 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has quit IRC | 07:38 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has joined #libre-soc | 07:38 | |
| *** octavius <octavius!~octavius@92.40.190.183.threembb.co.uk> has joined #libre-soc | 08:38 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has quit IRC | 09:44 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.160.91> has joined #libre-soc | 09:46 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.160.91> has quit IRC | 09:58 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.160.91> has joined #libre-soc | 09:58 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.160.91> has quit IRC | 10:02 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.160.91> has joined #libre-soc | 10:04 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.160.91> has quit IRC | 10:13 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.160.91> has joined #libre-soc | 10:14 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.160.91> has quit IRC | 10:27 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has joined #libre-soc | 10:28 | |
| *** psydroid <psydroid!~psydroid@user/psydroid> has joined #libre-soc | 12:17 | |
| *** psydroid <psydroid!~psydroid@user/psydroid> has quit IRC | 13:41 | |
| *** octavius_ <octavius_!~octavius@92.40.190.183.threembb.co.uk> has joined #libre-soc | 15:22 | |
| *** octavius <octavius!~octavius@92.40.190.183.threembb.co.uk> has quit IRC | 15:22 | |
| *** psydroid <psydroid!~psydroid@user/psydroid> has joined #libre-soc | 15:46 | |
| *** octavius_ <octavius_!~octavius@92.40.190.183.threembb.co.uk> has quit IRC | 16:26 | |
| *** octavius <octavius!~octavius@92.40.190.182.threembb.co.uk> has joined #libre-soc | 16:26 | |
| openpowerbot | [irc] <sadoon[m]> My two talks are in a draft now, waiting to discuss this evening before submitting but complete proposals otherwise | 16:28 |
|---|---|---|
| octavius | sadoon, you may as well submit now | 16:28 |
| octavius | you can edit it afterwards | 16:28 |
| openpowerbot | [irc] <sadoon[m]> Ah | 16:28 |
| openpowerbot | [irc] <sadoon[m]> But I don't see a space for short bio, contact info and title | 16:29 |
| openpowerbot | [irc] <sadoon[m]> Should that go in notes? | 16:29 |
| octavius | title is on the first page of the submission | 16:29 |
| openpowerbot | [irc] <sadoon[m]> Oops, thought that was my title lmao | 16:29 |
| openpowerbot | [irc] <sadoon[m]> Still don't see a bio section, should that go in notes? | 16:30 |
| octavius | next page | 16:30 |
| openpowerbot | [irc] <sadoon[m]> Alright thanks | 16:31 |
| octavius | Or if you miss it, you can fill your bio separately | 16:31 |
| openpowerbot | [irc] <sadoon[m]> Alright both submitted but can't find a bio section | 16:33 |
| openpowerbot | [irc] <sadoon[m]> It's in my profile page apparently | 16: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 |
| octavius | Yes, please replace them :) | 16:37 |
| openpowerbot | [irc] <sadoon[m]> alright :P | 16:38 |
| openpowerbot | [irc] <sadoon[m]> Done | 16:38 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has quit IRC | 16:39 | |
| openpowerbot | [irc] <cesar> Sent mine as well: https://pretalx.fosdem.org/fosdem-2024/talk/review/ERCK9HTW89NXBA7SFGF8BLMWCTFEZWBG | 16:41 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.162.119> has joined #libre-soc | 16: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 correction | 16: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 & Applications | 16: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 xD | 16:43 |
| openpowerbot | [irc] <cesar[m]> How about: | 16:49 |
| openpowerbot | [irc] <cesar[m]> Formal Verification of Digital Circuits: a brief introduction | 16:50 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.162.119> has quit IRC | 16:50 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-55-177.ip.moscow.rt.ru> has joined #libre-soc | 16: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 anyways | 16:51 |
| openpowerbot | [irc] <sadoon[m]> meeting in 5 mins | 16:54 |
| openpowerbot | [irc] <programmerjake> i'll be a few min... | 17:00 |
| *** tplaten <tplaten!~tplaten@195.52.159.160> has joined #libre-soc | 18:57 | |
| tplaten | I 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.html | 18:58 |
| openpowerbot | [irc] <programmerjake> i'll be a min... | 19:02 |
| *** psydroid <psydroid!~psydroid@user/psydroid> has quit IRC | 19:39 | |
| *** octavius <octavius!~octavius@92.40.190.182.threembb.co.uk> has quit IRC | 19:49 | |
| tplaten | When I try to build microwatt, I get a >>> unhandled call to ieee function "is_x" <<< | 19:52 |
| tplaten | the software versions are the correct ones: from dev-env-setup/hdl-tools-yosy | 19:53 |
| openpowerbot | [irc] <programmerjake> are you trying latest microwatt? try building with `make DOCKER=1`, since the dev scripts use an old version of ghdl | 19:54 |
| tplaten | I did not try using docker yet. | 19:56 |
| openpowerbot | [irc] <programmerjake> see https://bugs.libre-soc.org/show_bug.cgi?id=1207 for an example | 19:56 |
| openpowerbot | [irc] <programmerjake> the dev scripts only work with microwatt from when the dev-scripts were written, later microwatt uses newer ghdl features | 19:58 |
| tplaten | It's late here, so I continue tomorrow | 19:58 |
| openpowerbot | [irc] <programmerjake> sleep well! | 19:58 |
| *** tplaten <tplaten!~tplaten@195.52.159.160> has quit IRC | 20:00 | |
| *** leah <leah!~leah@libreboot/developer/leah> has quit IRC | 20:17 | |
| *** leah <leah!~leah@libreboot/developer/leah> has joined #libre-soc | 20:19 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 20:31 | |
| *** psydroid <psydroid!~psydroid@user/psydroid> has joined #libre-soc | 20:39 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 21:24 | |
| *** jleightcap <jleightcap!7bc4014b62@user/jleightcap> has quit IRC | 21:44 | |
| *** jleightcap <jleightcap!7bc4014b62@user/jleightcap> has joined #libre-soc | 21:45 | |
| *** alethkit <alethkit!23bd17ddc6@sourcehut/user/alethkit> has quit IRC | 21:46 | |
| *** jleightcap <jleightcap!7bc4014b62@user/jleightcap> has quit IRC | 21:46 | |
| *** jleightcap <jleightcap!7bc4014b62@user/jleightcap> has joined #libre-soc | 21:46 | |
| *** alethkit <alethkit!23bd17ddc6@2604:bf00:561:2000::3ce> has joined #libre-soc | 21:47 | |
| *** alethkit <alethkit!23bd17ddc6@sourcehut/user/alethkit> has joined #libre-soc | 21:47 | |
| *** psydroid <psydroid!~psydroid@user/psydroid> has quit IRC | 23:21 | |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!