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)