Fault Injection in Mixed-Signal Environment Using Behavioral Fault - - PowerPoint PPT Presentation

fault injection in mixed signal environment using
SMART_READER_LITE
LIVE PREVIEW

Fault Injection in Mixed-Signal Environment Using Behavioral Fault - - PowerPoint PPT Presentation

Sharif University of Technology Department of Computer Engineering Dependable System Lab [DSL] Fault Injection in Mixed-Signal Environment Using Behavioral Fault Modeling in Verilog-A Seyed Nematollah Ahmadian, Seyed Ghassem Miremadi


slide-1
SLIDE 1

Fault Injection in Mixed-Signal Environment Using Behavioral Fault Modeling in Verilog-A

Seyed Nematollah Ahmadian, Seyed Ghassem Miremadi Behavioral Modeling and Simulation (BMAS) Conf.

September 2010

Sharif University of Technology Department of Computer Engineering Dependable System Lab [DSL]

1

slide-2
SLIDE 2

Outline

 Dependability  Mixed Signal Flow  Behavioral Fault Modeling  Fault Models

 Single Event Transient / Upset (SET/SEU)  Power Line Disturbance (PLD)  Electro Magnetic Interference (EMI)

 Results

2

slide-3
SLIDE 3

Dependability and Reliability

 Dependability and Reliability

 Not just words!

 An effective technique for the experimental

dependability evaluation

 We propose a simulation-based fault injection

method in mixed-signal environment.

3

slide-4
SLIDE 4

Previous Fault Injection Tools

 Level of abstraction

HDL Circuit

HDL Circuit

Does not include enough details For accurate modeling Too slow, too old. cannot include verification method like testbenches, etc.

4

slide-5
SLIDE 5

Flow

 Fault injection and simulation is performed in Mixed-

Signal environment

 Performance/Accuracy tradeoff

 More accurate than RTL simulation  Faster than SPICE simulation

 Fault injection on SoCs with analog cores

 PLLs, DLLs, SRAMs, …

5

slide-6
SLIDE 6

Flow

 SPICE simulation near the fault site:

 accurate fault simulation

 HDL Simulation (elsewhere)

 Motive: Most of the fault manifest themselves as and error

  • utside the fault site

 HDL simulation provides enough accuracy to continue

simulation.

 Original testbenches/verification scripts are intact  Faster simulation. Can compensate for the SPICE simulation

penalty.

6

slide-7
SLIDE 7

Fault Modeling

 We develop fault models in behavioral modeling

languages (such as Verilog-A)

 Easy modeling  Reduce development time  Accurate simulations  Access to internal nodes/ structure of

transistor/electrical element

7

slide-8
SLIDE 8

Tool-chain architecture

 Mixed-signal three-level of abstraction

Faults are embedded inside Verilog-A model.

Resulted fault models are inserted to Circuit as an external component

Design Under Test Unit Under Test Converted to SPICE Replaced device model With Fault Injection Unit under test Faulty Cell/ device

HDL level Circuit Level Gate Level

Verilog/VHDL ModelSim 6.5 SE SPICE netlist Synopsys hsim Verilog-A model Synopsys hsim

8

slide-9
SLIDE 9

Fault models

 Behavioral fault modeling

 Single Event Upset

(SEU)

 Electro

  • Magnetic Interference (EMI)

 Power Supply Disturbance (PSD)

 Our flow supports other fault models as well.

9

slide-10
SLIDE 10

SET Fault Modeling

 Cause: hitting a high-

power article into transistors diffusion area.

 Effect: transient current

spike on diffusion, single event transient and upset.

10

slide-11
SLIDE 11

Power Line Disturbance Modeling

 Common PLDs:

 Power supply noise  Overshoot,

Undershoot

 Ground Bouncing

11

slide-12
SLIDE 12

Electro-Magnetic Interference Modeling

 EM or RF induced

interference

 Modeled as a

Continues-wave RFI superimposed on specific nodes.

 Input  Clock  …

12

slide-13
SLIDE 13

Flow: Initialization/Injection

13

Abstract fault description for SET: I(drain, bulk ) < + TYPE * Q/ (TO-TB) * (exp(-1* (($abstime-TINJECT)/ TO))

  • exp(-1* (($abstime-TINJECT)/ TB)));
slide-14
SLIDE 14

Flow: Simulation/Evaluation

14

slide-15
SLIDE 15

Experimental Setup

 We used the following 3rd party tools and IPs:

 HDL Simulator: ModelSim 6.5 SE  Spice Simulator: Synopsys HSIM 2008.09  Process: TSMC 0.25μm

 Our fault characteristics:

 SET: Q=10pc, with TO=TB=10ns , Random injection, Two exponential model  EMI: 100 MHz CW RF signal, Vpeak= 0.5V , 100ns pulse envelope, Random injection  PLD: 100ns duration, Voltage shortage (from 2.5V to 0V ) on VDD line,

Random injection

15

slide-16
SLIDE 16

Results of System Failures

10 20 30 40 50 60 70 80 90 100 Counter FSM ALU SRAM UART AVERAGE PLD EMI SET

16

slide-17
SLIDE 17

Thank you!

 Questions?  Thank you for your attention.

17