In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis with designers working exclusively at the RT-level, and design productivity is greatly enhanced. However, in the new design flow, validation still remains a challenge: while new technologies based on formal verification are only marginally accepted, standard techniques based on simulation are beginning to fall behind the increased circuit complexity. This paper proposes a new approach to simulation-based validation, in which a genetic algorithm helps the designer in generating useful input sequences to be included in the test bench. The technique has been applied to an industrial circuit, showing that the quality of the validation process is increased.

Automatic test bench generation for validation of RT-level descriptions: an industrial experience / Corno, Fulvio; A., Manzone; A., Pincetti; SONZA REORDA, Matteo; Squillero, Giovanni. - (2000), pp. 385-389. (Intervento presentato al convegno Design, Automation and Test in Europe Conference and Exhibition 2000 tenutosi a Paris (FRA) nel 27-30 Mar 2000) [10.1145/343647.343802].

Automatic test bench generation for validation of RT-level descriptions: an industrial experience

CORNO, Fulvio;SONZA REORDA, Matteo;SQUILLERO, Giovanni
2000

Abstract

In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis with designers working exclusively at the RT-level, and design productivity is greatly enhanced. However, in the new design flow, validation still remains a challenge: while new technologies based on formal verification are only marginally accepted, standard techniques based on simulation are beginning to fall behind the increased circuit complexity. This paper proposes a new approach to simulation-based validation, in which a genetic algorithm helps the designer in generating useful input sequences to be included in the test bench. The technique has been applied to an industrial circuit, showing that the quality of the validation process is increased.
2000
1581132441
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/1417779
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo