Treatment of Time in Systems
Discrete-event System: A timed system where the tags in each signal are ordered-isomorphic with natural numbers. ( Verilog, VHDL)
Synchronous System: System in which every signal in the system is synchronous with every other signal in the system
Discrete-Time System: Synchronous discrete-event system
Asynchronous System: No two events can have the same tag
- Asynchronous Interleaved (tags totally ordered)
- Asynchronous concurrent (partially ordered tags)