Behavioral partitioning in the synthesis of mixed analog-digital systems | IEEE Conference Publication | IEEE Xplore