A functional specification notation for co-design of mixed analog-digital systems | IEEE Conference Publication | IEEE Xplore