Problem of consistency checking in mixed-signal SoC with IP co-design | IEEE Conference Publication | IEEE Xplore