Clock and reset domains about filament

[rachitnigam]

Clocks and parameters should probably go in the parameter list instead of the event list since, once a circuit is instantiated, it is only allowed to have one clock or reset signal (is that true?)

[sampsyo]

Cool; this sounds like the essence of the matter:

Each event is explicitly tied to a particular clock domain and events from different domains are not allowed to reuse instances or interact with each other. However, if we can prove that the clock domains have some relationship to each other, then we can use timing information to implicitly synchronize them.

That is, if you invoke a single instance from one clock domain, by default you shouldn't be able to use it from any other clock domains, because we lose the ability to prove mutual exclusion. But there may be some other way (not a current Filament feature) to show that you have waited long enough and you can be sure no other invocations from other clock domains are using something anymore, which would make this possible again.

Clock domains that are multiples of each other are one such option, and another is some kind of dynamic clock synchronizer thingy.

Clocks and parameters should probably go in the parameter list instead of the event list since, once a circuit is instantiated, it is only allowed to have one clock or reset signal (is that true?)

Not sure about reset signals, but I think it makes sense for clock parameters to be at the type/event level (as in your example) rather than parameters? Otherwise, I don't quite see how you get to a point where a single hardware structure combines two different clock domains, which is where these interesting interactions happen.

[rachitnigam]

Oh interesting! I was thinking of synchronization of values between circuits running in different clock domains but you're talking about the very Filament-esque idea of safety of reuse among different clock domains. I think that might be cool to think about but not sure if anyone does it in practice.

[sampsyo]

Good point! Yeah, the other thing is quite a bit more exotic…