sb0 changed the topic of #m-labs to: https://m-labs.hk :: Mattermost https://chat.m-labs.hk :: Logs http://irclog.whitequark.org/m-labs
<vup2> kc5tja: afaik there is no native support for propegation delay and you are right, combinatorial logic has a delay of zero
<cr1901_modern> It violates POLA, but there's a few operators Python provides that are still unused to implement delays
<cr1901_modern> still unused that could be repurposed to implement delays*
<cr1901_modern> a.delay(10).delay(5) would of course also work
<cr1901_modern> (but more verbose)
<kc5tja> POLA?
<cr1901_modern> Means "+" should do something that looks like addition if you overload it
<cr1901_modern> otherwise your users will be pissed at you
<kc5tja> Yeah, I'm familiar; just never seen it abbreviated before.
<kc5tja> This is a pity. I was hoping to simulate some purely async logic.
futarisIRCcloud has joined #m-labs
sb0 has quit [Quit: Leaving]
kc5tja has quit [Quit: dinner]
_whitelogger has joined #m-labs
_whitelogger has joined #m-labs
_whitelogger has joined #m-labs
<bb-m-labs> build #2508 of artiq-board is complete: Success [build successful] Build details are at https://buildbot.m-labs.hk/builders/artiq-board/builds/2508
proteusguy has quit [Ping timeout: 252 seconds]
<bb-m-labs> build #2990 of artiq is complete: Success [build successful] Build details are at https://buildbot.m-labs.hk/builders/artiq/builds/2990
_whitelogger has joined #m-labs
_whitelogger has joined #m-labs
proteusguy has joined #m-labs
<whitequark> kc5tja: nmigen is specifically for designing synchronous logic
<whitequark> you *could* simulate logic with propagation delay in pysim though
<whitequark> but it's not explicitly supported
<whitequark> and it wouldn't be synthesizable
<adamgreig> whitequark: off the top of your head, should smoltcp receive broadcast IPv4 packets? i'm having unicast get through and not 255.255.255.255
<adamgreig> suspect maybe https://github.com/m-labs/smoltcp/blob/master/src/iface/ethernet.rs#L944 is only checking for multicast and specific IPs
<whitequark> receive how?
<adamgreig> as in, another network host is transmitting to ethernet ff:ff:ff:ff:ff:ff and dst ip 255.255.255.255
<adamgreig> to a udp port that is bound on smoltcp
<adamgreig> if I send to the smoltcp interface ip address itself, the packet is received, but when sent to ipv4 broadcast, it's not
<whitequark> oh yeah, there might have been a PR recentlty about it?
<whitequark> oh, looks like it
<adamgreig> yea, if i re-add !...is_broadcast() to a local copy it receives broadcast traffic again
<adamgreig> i'm about 8 hours late getting to sleep but i can do a small pr to restore it and maybe add a test later today if you like
<adamgreig> there is already a test to receive udp broadcast ipv4 traffic, but it bypasses that check by going directly to udp_process :P
<whitequark> yep, sounds good
proteusguy has quit [Ping timeout: 255 seconds]
rohitksingh has joined #m-labs
_whitelogger has joined #m-labs
mtrbot-ml has quit [Remote host closed the connection]
mtrbot-ml has joined #m-labs
rohitksingh has quit [Ping timeout: 255 seconds]
rohitksingh has joined #m-labs
proteusguy has joined #m-labs
rohitksingh has quit [Ping timeout: 246 seconds]
rohitksingh has joined #m-labs
rohitksingh has quit [Ping timeout: 240 seconds]
<lkcl> adamgreig: ping, are you the same adamgreig that did the followingrobot with the STM32F102?
<lkcl> that was a really cool project
<adamgreig> lkcl: haha yea! Gosh that was over a decade ago now, stm32f103 had only just been released
<lkcl> adamgreig: :)
<lkcl> i used the STM32F103 to try to do a 640x480 VGA CMOS camera driver
<lkcl> it neeeearly worked, i just couldn't work out the DMA to drive at the necessary 12mhz... *sigh*
<adamgreig> These days the stm32s run over twice as fast and have camera and screen peripherals built in :p
<adamgreig> (...and I'd just use an FPGA anyway)
<lkcl> i hear ya :)
<adamgreig> I think I got 320x240 and an underclocked pixel clock or something, doing the analysis in the hblank each line
<lkcl> it was damn impressive
mumptai has joined #m-labs
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
<adamgreig> whitequark: out of interest, do you have any good ideas for smuggling packet metadata from the ethernet interface to the application? specifically ptp timestamps
<whitequark> adamgreig: oh dear
<adamgreig> right now i'm doing some naughty things just overwriting bits of the received packet with its timestamp and correcting the checksums
<adamgreig> which Works(tm)
<whitequark> like as a transformer?
<adamgreig> getting the timestamp of a transmitted packet is proving much more awkward
<adamgreig> transformer seems an overly grand name for it
<whitequark> anyway my first idea is
<adamgreig> my ethernet driver is just overwriting the last 8 bytes of the received packet with a timestamp and fixing the udp checksum
<whitequark> allow associating packets with "cookies", propagate cookies upwards, and then look up cookies in the ethernet interface when you need them
<whitequark> or rather it'd be some kind of an associative array structure that can be accessed from both application code and ethernet driver
<whitequark> since all you need is to associate the packet on UdpSocket side with the packet on EthernetInterface side
<whitequark> this way it cleanly factorizes into a feature flag
<adamgreig> yea
<adamgreig> there's already the Tokens
<whitequark> mhmm
<whitequark> it could be related
<adamgreig> I guess for packet transmission I almost need to specify a callback in the udpsocket level that the ethernet driver will call after transmission complete
<adamgreig> yuck
<travis-ci> m-labs/smoltcp#1233 (auto - 0a21cb6 : Adam Greig): The build was broken.
<adamgreig> whitequark: pushed fix ^
<whitequark> can you squash?
<adamgreig> yep
<adamgreig> done
<travis-ci> m-labs/smoltcp#1236 (auto - 5334b93 : Adam Greig): The build was fixed.
<travis-ci> m-labs/smoltcp#1237 (master - 5334b93 : Adam Greig): The build passed.
X-Scale has quit [Quit: HydraIRC -> http://www.hydrairc.com <- Would you like to know more?]
mumptai has quit [Quit: Verlassend]
Gurty has quit [Ping timeout: 250 seconds]
Gurty has joined #m-labs
Gurty has quit [Changing host]
Gurty has joined #m-labs
futarisIRCcloud has joined #m-labs