ASIC/system hardware verification at Nortel: a view from the trenches.

Allan Silburt ASIC/system hardware verification at Nortel: a view from the trenches. 1 1997 conf/charme/1997 CHARME db/conf/charme/charme1997.html#Silburt97