Assumption to evidence matrix

Signoff maps each assumption to evidence and a threshold. The scorecard below is illustrative.

Readiness fraction (illustrative)
  validated = 39 / 46 = 0.8478 -> 84.8%
  open = 46 - 39 = 7 assumptions
  with 4 high-risk open and 2 blockers, the gate reads CONDITIONAL

Review judges evidence completeness, not document completeness. A thick package with unproven assumptions still waits.

Conditional versus blocked

The gate has three outcomes. Full validation with no open high risk passes, open items with containment go conditional, and expired waivers block.

Common mistakes

Testbench

The model below encodes the gate rule over validated counts and waiver state. It checks gate logic, not the evidence itself.

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

module signoff_gate (
  input  logic [7:0] validated,
  input  logic [7:0] total,
  input  logic [7:0] high_risk_open,
  input  logic       waiver_expired,
  output logic [1:0] status
);
  localparam logic [1:0] ST_PASS = 2'd0;
  localparam logic [1:0] ST_COND = 2'd1;
  localparam logic [1:0] ST_BLOCK = 2'd2;
  always_comb begin
    if (waiver_expired) status = ST_BLOCK;
    else if ((validated == total) && (high_risk_open == 8'd0)) status = ST_PASS;
    else status = ST_COND;
  end
endmodule

Related topics

• Architecture interview bank

• SoC course