[ACM Press the 36th ACM/IEEE conference - New Orleans, Louisiana, United States (1999.06.21-1999.06.25)] Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 - A methodology for the verification of a “system on chip”
Geist, Daniel, Barret, Steve, Biran, Giora, Arons, Tamara, Slavkin, Michael, Nustov, Yvgeny, Farkas, Monica, Holtz, Karen, Long, Andy, King, DaveYear:
1999
Language:
english
DOI:
10.1145/309847.310001
File:
PDF, 62 KB
english, 1999