Dispense
2005/2006
VHDL
Cookbook
Progettazione
digitale in VHDL
Il problema del
collaudo
La
generazione
del
test
Le tecniche di design
for
testability
(
DfT
)
Le tecniche
di
autocollaudo
(
BIST
)
La progettazione
platform-based
La verifica di
sistema
La verifica formale (
dispensa
,
lucidi
)
La verifica formale con
smv
Diagrammi di decisione binaria (
bdd
,
algoritmi
,
rappr
.
sequenziale
,
verif
.
sequenziale
)
Laboratori
Modellazione/
Simulazione
con
HDLDesigner
Sintesi
automatica con
Leonardo
Progettazione su
FPGA
Xilinx
HW/SW/
Network
codesign
La generazione del test con
Flextest
Analisi e aumento della
collaudabilità
con
Dftadvisor
Verifica formale con SMV
Altre dispense
Il modello
FSMD
FPGA
Tecniche di
DfT
e
collaudo
HW/SW
codesign
Progettazione di
DSP
La progettazione a basso consumo di
potenza