Dispense 2004/2005

• 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
• La generazione del test con Flextest
• Analisi e aumento della collaudabilità con Dftadvisor
• HW/SW/Network codesign
• 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