Functional verification of the equator MAP1000 microprocessor

Autor:	Jian Shen, Chen-chau Chu, Tony Hurson, Guanghui Hu, Martin Kinkade, Dave Baker, Jacob A. Abraham, Gregorio Gervasio
Rok vydání:	1999
Předmět:	Emulation High-level verification Functional verification Computer science business.industry Equator Intelligent verification law.invention Microprocessor law Very long instruction word Embedded system business Formal verification
Zdroj:	DAC
DOI:	10.1145/309847.309908
Popis:	The advanced VLIW architecture of the Equator MAP1000 processor has many features that present significant verification challenges. We describe a functional verification methodology to address this complexity. In particular, we present an efficient method to generate directed assembly tests and a novel technique using the processor itself to control self-tests and check the results at speed using native instructions only. We also describe the use of emulation in both pre-silicon and post-silicon verification stages.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f6571084669370654d94369a2b4da1e9 https://doi.org/10.1145/309847.309908 Zobrazit plný text záznamu