Information flow tracking in analog/mixed-signal designs through proof-carrying hardware IP | IEEE Conference Publication | IEEE Xplore