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”
DAC, 1999.
@inproceedings{DAC-1999-GeistBASNFHLKB,
author = "Daniel Geist and Giora Biran and Tamarah Arons and Michael Slavkin and Yvgeny Nustov and Monica Farkas and Karen Holtz and Andy Long and Dave King and Steve Barret",
booktitle = "{Proceedings of the 36th Design Automation Conference}",
doi = "10.1145/309847.310001",
pages = "574--579",
publisher = "{ACM Press}",
title = "{A Methodology for the Verification of a “System on Chip”}",
year = 1999,
}