Top-Down System Level Design Methodology Using SpecC, VCC and SystemC. - Lukai Cai; Daniel Gajski; Paul Kritzinger; Mike Olivarez (DATE, 2002)