Multilevel Simulation of Heterogeneous Reconfigurable Platforms

Algorithm 1

Validating an example. The method test1 is defined in a class inheriting from the SUnit framework. It provides a set of methods that detect all conditions that return false while handling unexpected errors.

test1

  self shouldnt: [CDFGSynthesisAPI example1]

     raise: TestResult error