PinaVM is SystemC front-end based on LLVM, and back-ends to generate code like Promela (input language for SPIN).
It can be considered as the successor of Pinapa.
PinaVM is SystemC front-end based on LLVM, and back-ends to generate code like Promela (input language for SPIN).
It can be considered as the successor of Pinapa.
