AHDL modelling to support top-down design of mixed-signal ASICs | IEEE Conference Publication | IEEE Xplore