METHOD OF LABELLING SWAPPABLE PINS FOR INTEGRATED CIRCUIT PATTERN MATCHING

摘要

The present invention seeks to provide a simple, but novel regime, for re-labelling swappable pins that permits swappability information to be maintained without significantly increasing computational complexity and is conducive to inexact pattern matching for the purposes of developing more complex logical processing blocks from elementary components in design analysis. The method comprises a recursive application of a simple labelling procedure. This method is repeated recursively until all gate instances in the circuit fragment have been assigned a swappability number.