A refinement process for top-down mixed-signal designs thanks to SystemC-AMS | IEEE Conference Publication | IEEE Xplore