La verifica formale al servizio dell’alimentazione
Dalla rivista:
Elettronica Oggi
Pubblicato il 22 gennaio 2007
Le tecniche di verifica formali costituiscono un valido ausilio per i progettisti impegnati nella realizzazione della griglia di alimentazioni di dispositivi SoC realizzati in geometrie da 65 e 90 nm.