The following functions are specific to SpyDrNet TMR and can be used in analyzing and transforming netlists.