logo-polimi
Loading...
Risorse bibliografiche
Risorsa bibliografica obbligatoria
Risorsa bibliografica facoltativa
Scheda Riassuntiva
Anno Accademico 2014/2015
Scuola Scuola di Ingegneria Industriale e dell'Informazione
Insegnamento 095942 - DIGITAL SYSTEMS DESIGN METHODOLOGIES
  • 095938 - DIGITAL SYSTEMS DESIGN METHODOLOGIES 1
Docente Ferrandi Fabrizio
Cfu 5.00 Tipo insegnamento Modulo Di Corso Strutturato

Corso di Studi Codice Piano di Studio preventivamente approvato Da (compreso) A (escluso) Insegnamento
Ing Ind - Inf (Mag.)(ord. 270) - MI (434) INGEGNERIA INFORMATICA* AZZZZ095942 - DIGITAL SYSTEMS DESIGN METHODOLOGIES
095941 - DIGITAL SYSTEMS DESIGN METHODOLOGIES 1
Ing Ind - Inf (Mag.)(ord. 270) - MI (481) COMPUTER SCIENCE AND ENGINEERING - INGEGNERIA INFORMATICA* AZZZZ095942 - DIGITAL SYSTEMS DESIGN METHODOLOGIES
095941 - DIGITAL SYSTEMS DESIGN METHODOLOGIES 1

Programma dettagliato e risultati di apprendimento attesi

First emisemester of Digital Systems Design Methodologies. The whole course aims to present the design methodologies required to build complex digital systems.

The integration of tools and design methodologies will be addressed through a discussion of design for performance approaches, synthesis techniques starting from high-level specifications, IP modeling and complex system on chip integration, testing and verification of digital systems, system level modeling for complex digital systems and HW/SW co-design approaches. Two target technologies are addressed: application specific integrated circuits (ASICs) and field programmable gate arrays (FPGAs).

Detailed program:

Introduction

   The hardware design flow. Levels of Design Abstractions. The FSM-Datapath model.

Synthesis of digital systems

   Advanced logic synthesis techniques: Retiming and Resynthesis.

   Timing analysis and optimization, X-value simulation, sat-based analysis.

   High-level synthesis. Data flow and control flow graph construction. Datapath and controller architectures.

   The Scheduling and allocation problems: algorithms and constraints.

   Register allocation, Multi-cycling, Chaining, Pipelining.

   Synthesis of complex operator: array accesses and pointers arithmetic.

Application and platform modeling

   High-level languages (SystemC, timing diagrams, …).

   The co-simulation problem. A practical example of co-simulation applied to the high-level synthesis design flow.

   Example of platform modeling: modeling a Wishbone based platform.

   RTL IP modeling in VHDL/Verilog (memory units, pipelined units, etc) targeting FPGA technologies.

   Examples of design flows: ASIC vs FPGA design flow.

Prerequisites:

Some understanding of logic design methodologies, usually covered by the course “Reti Logiche”, is required.


Note Sulla Modalità di valutazione

The course corresponds to the first emisemester of Digital Systems Design Methodologies. The final exam is a written exam.


Bibliografia
Risorsa bibliografica facoltativaG. De Micheli, Synthesis and Optimization of Digital Circuits, Editore: Mc Graw-Hill International Editions, Anno edizione: 1994
Risorsa bibliografica facoltativaM.Abramovici, M.A.Breuer, A.D.Friedman, Digital Systems Testing and Testable Design, Editore: Computer Science Press, Anno edizione: 1993
Risorsa bibliografica facoltativaG.D Hatchel, F. Somenzi, Logic synthesis and verification algorithms, Editore: Kluwer Academic Publishers, Anno edizione: 1996
Risorsa bibliografica facoltativaEdward A. Lee and Sanjit A. Seshia, Introduction to Embedded Systems, A Cyber-Physical Systems Approach, Anno edizione: 2011, ISBN: 978-0-557-70857-4 http://LeeSeshia.org
Risorsa bibliografica facoltativaAdditional material is available on the Beep platform of Politecnico di Milano https://beep.metid.polimi.it
Note:

access restricted to course participants


Mix Forme Didattiche
Tipo Forma Didattica Ore didattiche
lezione
30.0
esercitazione
20.0
laboratorio informatico
0.0
laboratorio sperimentale
0.0
progetto
0.0
laboratorio di progetto
0.0

Informazioni in lingua inglese a supporto dell'internazionalizzazione
Insegnamento erogato in lingua Inglese
Disponibilità di materiale didattico/slides in lingua inglese
Disponibilità di libri di testo/bibliografia in lingua inglese
Possibilità di sostenere l'esame in lingua inglese
Disponibilità di supporto didattico in lingua inglese
schedaincarico v. 1.6.1 / 1.6.1
Area Servizi ICT
20/11/2019