Abstract: This paper presents an intrinsically verifiable library of quasi delay insensitive asynchronous templates providing an efficient debugging platform for large asynchronous circuits. We ...

An obfuscator O is Virtual Grey Box (VGB) for a class C of circuits if, for any C ∈ C and any predicate π, deducing π(C) given O(C) is tantamount to deducing π(C) given unbounded computational ...