2. Design Modeling:Semantic Necessities

• Abstraction

  • provide a mechanism for building larger systems by composing smaller ones

• Reactive programming

  • provide mechansims to model non-terminating interaction with other components
  • watching (signal) and waiting (condition)
    • separate (else one is an implementation of the other)
  • exception handling

• Determinism

  • provide a “predictable” simulation behavior

• Simultaneity

  • model hardware parallelism, multiple clocks

Previous slide

Next slide

Back to first slide

View graphic version