Behavioural and structural synthesis system | IET Conference Publication | IEEE Xplore