Modelling signal behavior in DAME: a rule based designer of microprocessor based systems | IEEE Conference Publication | IEEE Xplore