IEE Colloquium on 'High Level Modelling and Design for ASICs' (Digest No.120) | IET Conference Publication | IEEE Xplore