SESD - SISTEMAS EMBARCADOS E SISTEMAS DIGITAIS

Aula

Data

Conteúdo

01

19/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.

02

26/março

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

03

02/abril

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.

04

09/abril

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

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

16/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

23/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

30/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)

07/maio

08

14/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

04/junho

12

11/junho

13

18/junho

14

25/junho

02/julho

09/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_2012_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 2007);

• 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):

Segunda, 25/06/2012

1. Marcelo Ruaro e William Schneider

   • Abstraction-Based Performance Verification of NoCs

2. Diego C. Molina e Pedro A. Bianchi

   • Flexible and abstract communication and interconnect modeling for MPSoC

   • TLM2.0 Based Timing Accurate Modeling Method for Complex NoC Systems

3. Felipe A. Kuentzer e Henrique A. Chamorra

   • ???

Segunda, 02/07/2012

1. Felipe G. Sieben e Giuliano B. M. Guarese

   • A Complete System-level Behavioural Model for IEEE 802.15.4 Wireless Sensor Network Simulations

   • Transaction Level Modeling and Performance Analysis in SystemC of IEEE 802.15.4 Wireless Standard

2. Carlos R. Moratelli e Oliver B. Longhi

   • Using virtualization for online kernel profiling, code coverage and instrumentation

3. Yan G. de Souza e Charles R. Staub (Segunda Parte)

   • Transaction level model of NoC based on SystemC

   • A simulation environment for Network-on-Chip based on SystemC

Segunda, 09/07/2012

1. Yan G. de Souza e Charles R. Staub (Segunda Parte)

   • Transaction level model of NoC based on SystemC

   • A simulation environment for Network-on-Chip based on SystemC

2. Bruno F. Ferreira

   • Hardware-Software Co-verification of Cryptographic Algorithms using Cryptol

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: