Common Reusable Verification Environment for BCA and RTL Models. - Giuseppe Falconeri; Walid Naifer; Nizar Romdhane (DATE, 2004)

Maintaining consistency between systemC and RTL system designs. - Alistair C. Bruce; M. M. Kamal Hashmi; Andrew Nightingale; Steve Beavis; Nizar Romdhane; Christopher K. Lennard (DAC, 2006)

Enabling heterogeneous cycle-based and event-driven simulation in a design flow integrated using the SPIRIT consortium specifications. - Chulho Shin; Peter Grun; Nizar Romdhane; Christopher K. Lennard; Gabor Madl; Sudeep Pasricha; Nikil D. Dutt; Mark Noll (Des. Autom. Embed. Syst., 2007)