Distance-Ranked Fault Identification of Reconfigurable Hardware Bitstreams via Functional Input

Algorithm 4

An example of fault injection into the simulation model of the circuit.

Before Fault Injection:

wire DONE_OBUF_4985;

 X_SFF #(

  .INIT (1′b0))

 DONE_3 (

  .CLK(CLK_BUFGP),

  .I(∖count[6]_DONE_Select_14_o),

  .SRST(RST_START_OR_1_o),

  .O(DONE_OBUF_4985),

  .CE(VCC),

  .SET(GND),

  .RST(GND),

  .SSET(GND)

 );

 X_LUT2 #(

  .INIT (4′h8))

 Mmux_DOUT1111 (

  .ADR0(DONE_OBUF_4985),

  .ADR1(aes_dout[84]),

  .O(DOUT_84_OBUF_5035)

 );

After Fault Injection:

wire DONE_OBUF_4985;

wire DONE_OBUF_4985_tmp;

assign DONE_OBUF_4985_tmp=1 ; //Stuck-At ‘1’  fault

 X_SFF #(

  .INIT (1′b0))

 DONE_3 (

  .CLK(CLK_BUFGP),

  .I(∖count[6]_DONE_Select_14_o),

  .SRST(RST_START_OR_1_o),

  .O(DONE_OBUF_4985),

  .CE(VCC),

  .SET(GND),

  .RST(GND),

  .SSET(GND)

 );

 X_LUT2 #(

  .INIT (4′h8))

 Mmux_DOUT1111 (

  .ADR0(DONE_OBUF_4985_tmp ),

  .ADR1(aes_dout[84]),

  .O(DOUT_84_OBUF_5035)

 );