The problem of nding meaningful subcircuits in a logic layout appears in many contexts in computer-aided design. Existing techniques rely upon nding exact matchings of subcircuit structure within the layout. These syntactic techniques fail to identify functionally equivalent subcircuits that are diierently implemented, optimized, or otherwise obfuscated. We… (More)
5.2 How do I do the simple, traditional "read a tape, write a tape" but select events into two different outputs? .