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

Browse the full DAC paper archive.