Parallel simulation and verification [Session 5]

In this session, the first paper presents a contribution which can be used to easily create customized portfolio solvers. Specifically, the metaSMT framework is extended with a SMT-LlB2 parser and a TCP server/client architecture, which allows for deciding SMT instances simultaneously with multiple solvers. The second paper makes a structured presentation of different parallel SystemC simulation approaches at the register transfer level, and shows how the selection of the simulation strategy has a strong impact on simulation performance.