Research Article

Multilevel Simulation of Heterogeneous Reconfigurable Platforms

Algorithm 2

Characterization-based validation for synthesis cases on two reconfigurable device families (F5 and F4). Both postsimulation memories contents are checked to be equal.
test2
CDFGSynthesisAPI new
example: ‘example.step’
family: ‘F5’
resF5 := self readResult.
CDFGSynthesisAPI new
example: ‘example.step’
family: ‘F4’
resF4 := self readResult.
self assert: resF5 = resF4