Saturday, 2023-12-02

*** tpb <[email protected]> has joined #yosys00:00
*** philtor <[email protected]> has quit IRC (Remote host closed the connection)00:45
*** philtor <[email protected]> has joined #yosys00:57
*** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Quit: Leaving)01:33
*** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has joined #yosys01:36
*** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has quit IRC (Ping timeout: 246 seconds)02:38
*** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has joined #yosys02:43
st3llarwasted a few hours experimenting, but the answer was in the suggested (* no_rw_check *)04:06
st3llarthe extra circuitry is to ensure read-first or write-first behaviour04:06
st3llaralso found this document for memory patterns: https://docs.google.com/document/d/1MR1IV34XGJBIGMYu2YzjE-2KaNaP3R9jaPLj1RTU2j0/edit#heading=h.hxvjs26wvyc604:07
tpbTitle: Memory Inference Patterns - Google Docs (at docs.google.com)04:07
*** st3llar <[email protected]> has quit IRC (Ping timeout: 245 seconds)04:14
loftywhat was the point of fixing Yosys to correctly handle this if people will forever reach for the "I want to cause bugs" switch...07:24
*** st3llar <[email protected]> has joined #yosys10:24
*** st3llar <[email protected]> has quit IRC (Client Quit)10:25
*** st3llar <[email protected]> has joined #yosys10:33
st3llarjust learning, and now I can appreciate yosys even more :)10:34
*** Psentee <Psentee!~psentee@user/psentee> has quit IRC (Quit: Off)11:42
*** Psentee <Psentee!~psentee@user/psentee> has joined #yosys11:43
*** Psentee <Psentee!~psentee@user/psentee> has quit IRC (Quit: Off)11:48
*** Psentee <Psentee!~psentee@user/psentee> has joined #yosys11:49
*** Psentee <Psentee!~psentee@user/psentee> has quit IRC (Quit: Off)12:25
*** Psentee <Psentee!~psentee@user/psentee> has joined #yosys12:27
loftyst3llar: so, if you use that attribute you technically have a simulation/synthesis mismatch13:13
loftyBy the way, instead of relying on internal Google docs that I may or may not have leaked13:14
loftyhttps://yosyshq.readthedocs.io/projects/yosys/en/latest/CHAPTER_Memorymap.html13:14
tpbTitle: 10. Memory mapping (at yosyshq.readthedocs.io)13:14
lofty(and that documentation started out as a blog post I was going to make)13:16
st3llaroups i somehow forgot about the manual, thanks a lot!13:50
*** nelgau <[email protected]> has quit IRC (Read error: Connection reset by peer)13:54
*** nelgau_ <[email protected]> has joined #yosys13:54
*** nelgau_ <[email protected]> has quit IRC (Read error: Connection reset by peer)13:59
*** nelgau <[email protected]> has joined #yosys13:59
*** nelgau <[email protected]> has quit IRC (Ping timeout: 240 seconds)14:53
*** nelgau <[email protected]> has joined #yosys17:09
*** schaeg <schaeg!~anabrid@2a02:3036:267:d355:de2a:de73:5045:4e49> has joined #yosys17:34
*** schaeg_ <schaeg_!~anabrid@2a02:3036:267:d355:de2a:de73:5045:4e49> has joined #yosys19:12
*** schaeg <schaeg!~anabrid@2a02:3036:267:d355:de2a:de73:5045:4e49> has quit IRC (Ping timeout: 256 seconds)19:14
*** st3llar <[email protected]> has quit IRC (Quit: leaving)20:59
*** schaeg_ <schaeg_!~anabrid@2a02:3036:267:d355:de2a:de73:5045:4e49> has quit IRC (Ping timeout: 256 seconds)23:14
*** schaeg <schaeg!~anabrid@2a02:3036:268:d7d4:fb74:58d0:cbc0:4307> has joined #yosys23:14
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)23:21
*** nonchip <[email protected]> has joined #yosys23:21
*** _whitelogger <[email protected]> has quit IRC (Remote host closed the connection)23:37
*** _whitelogger <[email protected]> has joined #yosys23:38
*** Lord_Nightmare <Lord_Nightmare!~Lord_Nigh@user/lord-nightmare/x-3657113> has quit IRC (Quit: ZNC - http://znc.in)23:51
*** Lord_Nightmare <Lord_Nightmare!~Lord_Nigh@user/lord-nightmare/x-3657113> has joined #yosys23:54

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