Top Level SOC Interconnectivity Verification Using Formal Techniques.

Subir K. Roy Top Level SOC Interconnectivity Verification Using Formal Techniques. 63-70 2007 MTV http://dx.doi.org/10.1109/MTV.2007.22 conf/mtv/2007 db/conf/mtv/mtv2007.html#Roy07