A Methodology for the Verification of a ``System on Chip''.

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''. 574-579 1999 DAC http://doi.acm.org/10.1145/309847.310001 db/conf/dac/dac99.html#GeistBASNFHLKB99