A methodology aimed at better integration of functional verification and RTL design. - Karina R. G. da Silva; Elmar U. K. Melcher; Isaac Maia; Henrique do N. Cunha (Des. Autom. Embed. Syst., 2005)

Parallel simulation of systemC TLM 2.0 compliant MPSoC on SMP workstations. - Aline Mello 001; Isaac Maia; Alain Greiner; François Pêcheux (DATE, 2010)