Dispense
2003/2004
VHDL
Cookbook
Progettazione
digitale in VHDL
La progettazione
platform-based
Il problema del
collaudo
La
generazione
del test
Le tecniche di design for testability (
DfT
)
Le tecniche di autocollaudo (
BIST
)
La verifica di
sistema
La verifica formale (
dispensa
,
lucidi
)
La verifica formale con
smv
Diagrammi di decisione binaria (
bdd
, verifica
sequenziale
)
Altre dispense
Il modello
FSMD
FPGA
Tecniche di
DfT
e collaudo
HW/SW
codesign
Progettazione di
DSP
La progettazione a basso consumo di
potenza