Information flow tracking in analog/mixed-signal designs through proof-carrying hardware IP.

Mohammad-Mahdi Bidmeshki, Angelos Antonopoulos, Yiorgos Makris

Browse the full DATE paper archive.