Teaching system-level design using SpecC and SystemC | IEEE Conference Publication | IEEE Xplore