Daniel Geist, Giora Biran, Tamarah Arons, Michael Slavkin, Yvgeny Nustov, Monica Farkas, Karen Holtz, Andy Long, Dave King, Steve Barret. A Methodology for the Verification of a System on Chip . In DAC. pages 574-579, 1999. [doi]
Abstract is missing.