Module libreda_sta::models::clock_tracking

Wrap delay/constraint models and add the capability for keeping track of clock sources which drive a signal.

Structs

• ArcSet
  A clone-on-write reference counted set.
• Model
  Wrap a delay and/or constraint model and add the capability of tracking clock sources.
• SignalClocked
  Signal representation wich can keep track of the clock(s) which launch the signal transition.
• VecSet 🔒
  A simple set implementation based on sorted and deduplicated Vec.

Enums

• ClockId
  Mark the driving clock of a signal.