SESD - SISTEMAS EMBARCADOS E SISTEMAS DIGITAIS

Aula

Data

Conteúdo

01

15/março

Introdução à disciplina: homepage, método de trabalho, avaliação, recursos
Para duas aulas seguintes, ler Capítulos 1-3 do livro Embedded System Handbook, de Richard Zurawski.

Introdução a sistemas embarcados - Técnicas de especificação, projeto e validação de sistemas embarcados, do livro "Computers as Components" de Wayne Wolf.

• Transparências baseadas no curso de Wayne Wolf

02

22/março

Conclusão da discussão com Transparências baseadas no curso de Wayne Wolf.
Discussão do Capítulos 1 e 3 do livro Embedded System Handbook, editado por Richard Zurawski.

03

29/março

Discussão do Capítulos 1 e 3 do livro Embedded System Handbook, editado por Richard Zurawski. (continuação)

04

05/abril

SystemC - Introdução - Material Grant Martin e livro SystemC from the Ground Up.

• gmartin.sbcci.2003.talk.pdf

• gmartin.sbcci.2003.tutorial.pdf

Para aula seguinte, continuar a ler Capítulos 1-6 do livro SystemC from the Ground Up.

05

12/abril

Prática com SystemC em laboratório: Especificação da Aula de Exercícios - Treinamento SystemC

• Link para o exemplo Produtor-Consumidor de SystemC visto em aula - versão para máquinas naxos ou rodos: Prod_Cons_RTL_SystemC_SC2.2_naxos_rodos.zip

• Ferramenta GTKwave para visualização de formas de onda gerada pela simulação SystemC.

• Ferramenta putty para abrir Seções ssh em máquinas Unix/Linux a partir de PCs.

Continuar leitura de Capítulos 1-6 do livro SystemC from the Ground Up.
 

Para aula que vem:

Ler também o artigo introdutório a modelagem TL, publicado na conferência CODES/ISSS´03:

• "Transaction level modeling_an overview.pdf"

Ler artigo sobre modelagem e uso de canais abstratos em SystemC intitulado:

• "Using Transaction-Based Verification in SystemC"

06

19/abril

• Versão TL do exemplo Produtor-Consumidor de SystemC visto em aula:
  Prod_Cons_TL_SystemC_SC2.2_naxos_rodos.zip

Treinar a execução de exercícios referentes aos Capítulos 3 a 6 do Livro texto de SystemC.
Arquivo compactado com todos os exercícios do livro - Caso o Makefile incluído não funcione, adaptar os Makefiles do exemplo Produtor_Consumidor acima.

Modelagem em nível de transação - TLM

Discussão de artigos: Transaction level modeling_an overview.pdf e Using Transaction-Based Verification in SystemC

Ler artigo sobre verificação via uso do modelo U invertido (SBCCI'04):
An automatic testbench generation tool for a systemC functional verification methodology.pdf

07

26/abril

Apresentação e discussão da especificação de TP1 (grupos de 2 alunos). Baixe aqui o material de apoio para a realização do trabalho e olhe abaixo (nas Especificações de Trabalhos) a lista de outros materiais necessários. Existe também um arquivo de Ajuda com dicas sobre o trabalho.

Verificação de Sistemas Embarcados - Apresentação Baseada no Verification.Tutorial.pdf de Chong-Min Kyung do KAIST (Coréia do Sul)

03/maio

08

10/maio

Discussão sobre a seleção de temas para seminários individuais.
Discussão do Paper sobre linguagens de asserção: PSL and SVA_two standard assertion languages

09

10

Sugestão de seminários - Vejam o item Especificações de Trabalhos e sigam as instruções que lá se encontram

11

31/maio

12

07/junho

13

14/junho

14

21/junho

28/junho

05/julho

17

12/julho

Especificação de TP1
Especificação do Processador R8
Código SystemC RTL do Processador R8
TP1_SESD_help.doc

Grupos de TP1: Veja neste link tp1_2011_grupos_X_trabalhos.doc.

Cada aluno ou dupla deve escolher um conjunto (pequeno, 2-3) de artigos sobre tema específico que tenha a ver com os tópicos da disciplina, ou seja, modelagem abstrata e/ou aspectos de verificação de sistemas embarcados.

• O foco deve ser o mais próximo possível da área de interesse do aluno no seu mestrado ou doutorado. Pode envolver majoritariamente software, hardware ou ambos. Apenas procurem atender os tópicos da disciplina;

• Artigos devem ser modernos (publicados não antes de 2006);

• Encaminhem as propostas de artigos ao professor por e-mail, e aguardem sua aprovação dos artigos, ou sugestões de mudanças por parte deste.

Artigos por grupo (Grupos em ordem de apresentação):

1. Cassiano Moralles, Vinicius Bohrer e Vinicius Santos

   • A Practice of ESL Verification Methodology from SystemC to FPGA – Using EPC Class-1 Generation-2 RFID Tag Design as an Example

   • A Verification Development Platform for UHF RFID Reader

2. Guilherme Heck e Guilherme Madalozzo

   • A Tractable and Fast Method for Monitoring SystemC TLM Specifications

3. Felipe Magalhães, Jeronimo Correa e Matheus Trevisan

   • SystemC-based HW/SW Co-Simulation Platform for System-on-Chip (SoC) Design Space Exploration

   • A HW-SW Co-Simulation Framework for the Verification of Multi-CPU systems

4. Guilherme Castilhos e Leandro Heck

   • Integrating Abstract NoC Models within MPSoC Design

   • Model-based design flow for NoC-based MPSoCs

5. Claiton Lisboa e Jader Silva

   • PhoenixSim: A simulator for physical-layer analysis of chip-scale photonic interconnection networks

   • Tools and Methodologies for Designing Energy-Efficient Photonic Networks-on-Chip for High-Performance Chip Multiprocessors

6. Christian Lykawka, Francisco Costa e Igor Pinotti

   • Automated Generation of Test Cases from Output Domain and Critical Regions of Embedded Systems Using Genetic Algorithms

   • Paper 2 - ASD

Especificação do TP2

Link para página contendo material sobre a implementação RTL VHDL do processador R8

Todas_Instrucoes_R8.asm

Grupos de TP2: