Top-down system level design methodology using SpecC, VCC and SystemC | IEEE Conference Publication | IEEE Xplore