KANDIS-a tool for construction of mixed analog/digital systems | IEEE Conference Publication | IEEE Xplore