SoC design case study using SystemC specifications | IEEE Conference Publication | IEEE Xplore