949-824-9127

Architecture Description Language driven Functional Test Program Generation for Microprocessors using SMV

P. Mishra, N. Dutt, “Architecture Description Language driven Functional Test Program Generation for Microprocessors using SMV,” TR 02-26, September 13, 2002. download pdf