Model-Based Testing for Embedded Systems

634 Model-Based Testing for Embedded Systems

cannot be directly compared to those of [23], the simulation time overhead appears to be

significant.

In his PhD thesis, Lahbib [39, 38] uses the PSL property checkers generated in C++ by

the FoCs tool to monitor PSL assertions in transactional designs. The key feature of this

work is the use of specific channel classes, containing instances of the property checkers.

During simulation, the original channels can be replaced by the monitoring ones: instead

of triggering the checkers on clock ticks, the TLM method transport calls on the checker’s

function transition when a transaction is initiated. This approac ...