Verification and test of secure circuits - 5AMSE515

Goal(s)

At the end of the lecture, the students will be able to verify, to test digital architectures and to analyse the vulnerabilities of embedded systemes. Then, they will be able to perform attacks and to design appropriate countermeasures.

Content(s)

1. Verification and test of digital systems
   1. Introduction
      1. Context and issues
      2. Verification vs Test
      3. DO-254 Standard
   2. Harwdware systems verification
      1. Simulation
      2. Emulation & Prototyping
   3. Hardware Testing
      1. Defects and faults modeling
      2. Automatic Test Pattern Generation (ATPG)
      3. Design for Test and Bult-in-Self-Test (DfT, BIST)
      4. Digital board testing (boundary scan)
2. HW/SW Verification
   1. Microelectronic context and trends (SoC, MPSOC)
   2. SoC design flow
      1. Hardware/Software Co-design approach
      2. Plateform based design
   3. Introduction to SystemC
      1. Starting with SystemC
      2. Communication channels (Fifo, Mutex, Semaphore)
      3. New abstraction level : Transaction Level Modeling (TLM)
   4. Co-verification of Hardware and Software systems
      1. Context et definitions
      2. Co-verification approaches based on ISS, BFM, TLM, and emulation
      3. Criteria to choose a verification approach
3. Hardware Security
   ##Introduction
   ##Cryptography basis
   1. Hardware Vulnerabilities
      1. Fault Attacks
      2. Side Chanel Attacks
      3. Integrated Circuit Trustworthiness
         ##Countermeasures
         ##Security Certification
         ##Case studies
      4. Smartcard
      5. FPGA

Laboratories

• TP1 : VHDL & PSL Simulation with QuestaSim (Mentor GraphiCs)
• TP2 : Simulation vs "prototyping and integrated logical analyzer" ChipScopePro (Xilinx)
• TP3 : SRAM embedded memory test on FPGA Spartan 3 card (Xilinx)
• TP1 : On the use of communication channels (Fifo, Mutex, Semaphore) to model a communication architecture
• TP2 : SoCLib - "Emulation of a Hardware/Software architecture used for image processing"

Neccessary: Hardware Description Language (HDL, verilog or VHDL) for simulation (testbench) and design, logical synthesis, FPGA, processor architecture (processor models, instruction set architecture), C programming

Ideally: bases of object oriented programming