The paper presents a new unifying formalism introduced to effectively support the automatic generation of assembly test programs to be used as SBST (Software Based Self-Testing) for both data and instruction cache memories. In particular, the new formalism allows the description of the target memory, of the selected March Test algorithm, and the way this has to be customize to adapt it to the selected cache.
A unifying formalism to support automated synthesis of SBSTs for embedded caches / DI CARLO, Stefano; Gambardella, Giulio; Indaco, Marco; Rolfo, Daniele; Prinetto, Paolo Ernesto. - STAMPA. - (2011), pp. 39-42. (Intervento presentato al convegno IEEE East-West Design & Test Symposium (EWDTS) tenutosi a Sebastopoli, UA nel 9-12 Sept. 2011) [10.1109/EWDTS.2011.6116421].
A unifying formalism to support automated synthesis of SBSTs for embedded caches
DI CARLO, STEFANO;GAMBARDELLA, GIULIO;INDACO, MARCO;ROLFO, DANIELE;PRINETTO, Paolo Ernesto
2011
Abstract
The paper presents a new unifying formalism introduced to effectively support the automatic generation of assembly test programs to be used as SBST (Software Based Self-Testing) for both data and instruction cache memories. In particular, the new formalism allows the description of the target memory, of the selected March Test algorithm, and the way this has to be customize to adapt it to the selected cache.File | Dimensione | Formato | |
---|---|---|---|
2011-EWDTS-Cache-AuthorVersion.pdf
accesso aperto
Descrizione: Manuscript author version
Tipologia:
2. Post-print / Author's Accepted Manuscript
Licenza:
PUBBLICO - Tutti i diritti riservati
Dimensione
5.63 MB
Formato
Adobe PDF
|
5.63 MB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11583/2460388
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo