Co-design of emulators for power electric processes using SpecC methodology

Emulation of CMS systems is an interesting approach to complete the validation of new digital control unit and to perform the diagnosis tasks. However to be efficient, the emulator have to run in real time in order to reproduce exactly the physical process functioning. This paper describes the design of an autonomous emulator employing the system-level design methodology developed at CECS-UC Irvine (SpecC methodology). Starting from the abstract executable specification written in SpecC language, the emulator is gradually refined and mapped to a final communication model. This model can then be used with backend tools for implementation and manufacturing.