﻿SAIF power run v2 started: 2026-11-02T18:29:50
Part: xa7z010clg225-1I | clock: 5.5 ns | window: 20000 words | TREADY duty: 100 % | key sets: 3 | timing sim: True
Vivado : C:\Xilinx\Vivado\2019.1\bin\vivado.bat

=== [1/4] V0_xoshiro_only ===
  implementation (existing routed.dcp): LUT=685 FF=847 WNS=0.190 ns WHS=0.118 ns

  --- key set 1 : 9E3779B9 243F6A88 85A308D3 13198A2E 03707344 A4093822 299F31D0 082EFA98
  RTL golden: words=20800 (expected >= 20800) words with X=0
  functional netlist: words in SAIF window=20000 (window=20000 cycles) | X words=0 | compared vs RTL=20800 mismatches=0
  power: Pdyn=0.028 W (clocks 0.018, logic 0.005, signals 0.005) Pstatic=0.090 W | nets matched: 100%   (1929/1929) | confidence=High | pJ/bit(dyn)=4.81
  SDF timing sim (sensitivity): words in window=20000 | output words differing from RTL golden: 1261 of 20800 | Pdyn=0.031 W | nets matched: 100%   (1929/1929) | pJ/bit(dyn)=5.33

  --- key set 2 : 428A2F98 71374491 B5C0FBCF E9B5DBA5 3956C25B 59F111F1 923F82A4 AB1C5ED5
  RTL golden: words=20800 (expected >= 20800) words with X=0
  functional netlist: words in SAIF window=20000 (window=20000 cycles) | X words=0 | compared vs RTL=20800 mismatches=0
  power: Pdyn=0.028 W (clocks 0.018, logic 0.005, signals 0.005) Pstatic=0.090 W | nets matched: 100%   (1929/1929) | confidence=High | pJ/bit(dyn)=4.81

  --- key set 3 : 6A09E667 BB67AE85 3C6EF372 A54FF53A 510E527F 9B05688C 1F83D9AB 5BE0CD19
  RTL golden: words=20800 (expected >= 20800) words with X=0
  functional netlist: words in SAIF window=20000 (window=20000 cycles) | X words=0 | compared vs RTL=20800 mismatches=0
  power: Pdyn=0.028 W (clocks 0.018, logic 0.005, signals 0.005) Pstatic=0.090 W | nets matched: 100%   (1929/1929) | confidence=High | pJ/bit(dyn)=4.81

=== [2/4] V1_plus_weyl ===
  implementation (existing routed.dcp): LUT=853 FF=975 WNS=0.292 ns WHS=0.152 ns

  --- key set 1 : 9E3779B9 243F6A88 85A308D3 13198A2E 03707344 A4093822 299F31D0 082EFA98
  RTL golden: words=20800 (expected >= 20800) words with X=0
  functional netlist: words in SAIF window=20000 (window=20000 cycles) | X words=0 | compared vs RTL=20800 mismatches=0
  power: Pdyn=0.040 W (clocks 0.024, logic 0.008, signals 0.009) Pstatic=0.090 W | nets matched: 100%   (2357/2357) | confidence=High | pJ/bit(dyn)=6.88
  SDF timing sim (sensitivity): words in window=20000 | output words differing from RTL golden: 82 of 20800 | Pdyn=0.048 W | nets matched: 100%   (2357/2357) | pJ/bit(dyn)=8.25

  --- key set 2 : 428A2F98 71374491 B5C0FBCF E9B5DBA5 3956C25B 59F111F1 923F82A4 AB1C5ED5
  RTL golden: words=20800 (expected >= 20800) words with X=0
  functional netlist: words in SAIF window=20000 (window=20000 cycles) | X words=0 | compared vs RTL=20800 mismatches=0
  power: Pdyn=0.040 W (clocks 0.024, logic 0.008, signals 0.009) Pstatic=0.090 W | nets matched: 100%   (2357/2357) | confidence=High | pJ/bit(dyn)=6.88

  --- key set 3 : 6A09E667 BB67AE85 3C6EF372 A54FF53A 510E527F 9B05688C 1F83D9AB 5BE0CD19
  RTL golden: words=20800 (expected >= 20800) words with X=0
  functional netlist: words in SAIF window=20000 (window=20000 cycles) | X words=0 | compared vs RTL=20800 mismatches=0
  power: Pdyn=0.040 W (clocks 0.024, logic 0.008, signals 0.009) Pstatic=0.090 W | nets matched: 100%   (2357/2357) | confidence=High | pJ/bit(dyn)=6.88

=== [3/4] V2_plus_tent ===
  implementation (existing routed.dcp): LUT=794 FF=943 WNS=0.173 ns WHS=0.132 ns

  --- key set 1 : 9E3779B9 243F6A88 85A308D3 13198A2E 03707344 A4093822 299F31D0 082EFA98
  RTL golden: words=20800 (expected >= 20800) words with X=0
  functional netlist: words in SAIF window=20000 (window=20000 cycles) | X words=0 | compared vs RTL=20800 mismatches=0
  power: Pdyn=0.037 W (clocks 0.022, logic 0.007, signals 0.008) Pstatic=0.090 W | nets matched: 100%   (2136/2136) | confidence=High | pJ/bit(dyn)=6.36
  SDF timing sim (sensitivity): words in window=20000 | output words differing from RTL golden: 231 of 20800 | Pdyn=0.045 W | nets matched: 100%   (2136/2136) | pJ/bit(dyn)=7.73

  --- key set 2 : 428A2F98 71374491 B5C0FBCF E9B5DBA5 3956C25B 59F111F1 923F82A4 AB1C5ED5
  RTL golden: words=20800 (expected >= 20800) words with X=0
  functional netlist: words in SAIF window=20000 (window=20000 cycles) | X words=0 | compared vs RTL=20800 mismatches=0
  power: Pdyn=0.037 W (clocks 0.022, logic 0.007, signals 0.008) Pstatic=0.090 W | nets matched: 100%   (2136/2136) | confidence=High | pJ/bit(dyn)=6.36

  --- key set 3 : 6A09E667 BB67AE85 3C6EF372 A54FF53A 510E527F 9B05688C 1F83D9AB 5BE0CD19
  RTL golden: words=20800 (expected >= 20800) words with X=0
  functional netlist: words in SAIF window=20000 (window=20000 cycles) | X words=0 | compared vs RTL=20800 mismatches=0
  power: Pdyn=0.037 W (clocks 0.022, logic 0.007, signals 0.008) Pstatic=0.090 W | nets matched: 100%   (2136/2136) | confidence=High | pJ/bit(dyn)=6.36

=== [4/4] V3_full_original ===
  implementation (existing routed.dcp): LUT=934 FF=1071 WNS=0.068 ns WHS=0.132 ns

  --- key set 1 : 9E3779B9 243F6A88 85A308D3 13198A2E 03707344 A4093822 299F31D0 082EFA98
  RTL golden: words=20800 (expected >= 20800) words with X=0
  functional netlist: words in SAIF window=20000 (window=20000 cycles) | X words=0 | compared vs RTL=20800 mismatches=0
  power: Pdyn=0.029 W (clocks 0.010, logic 0.009, signals 0.011) Pstatic=0.090 W | nets matched: 100%   (2530/2530) | confidence=High | pJ/bit(dyn)=4.98
  SDF timing sim (sensitivity): words in window=20000 | output words differing from RTL golden: 1183 of 20800 | Pdyn=0.042 W | nets matched: 100%   (2530/2530) | pJ/bit(dyn)=7.22

  --- key set 2 : 428A2F98 71374491 B5C0FBCF E9B5DBA5 3956C25B 59F111F1 923F82A4 AB1C5ED5
  RTL golden: words=20800 (expected >= 20800) words with X=0
  functional netlist: words in SAIF window=20000 (window=20000 cycles) | X words=0 | compared vs RTL=20800 mismatches=0
  power: Pdyn=0.029 W (clocks 0.010, logic 0.009, signals 0.011) Pstatic=0.090 W | nets matched: 100%   (2530/2530) | confidence=High | pJ/bit(dyn)=4.98

  --- key set 3 : 6A09E667 BB67AE85 3C6EF372 A54FF53A 510E527F 9B05688C 1F83D9AB 5BE0CD19
  RTL golden: words=20800 (expected >= 20800) words with X=0
  functional netlist: words in SAIF window=20000 (window=20000 cycles) | X words=0 | compared vs RTL=20800 mismatches=0
  power: Pdyn=0.029 W (clocks 0.010, logic 0.009, signals 0.011) Pstatic=0.090 W | nets matched: 100%   (2530/2530) | confidence=High | pJ/bit(dyn)=4.98

================ per-variant summary (functional-netlist SAIF, mean +- sd over key sets) ================
V0_xoshiro_only: LUT=685 FF=847 WNS=0.190 | Pdyn = 28.0 +- 0.00 mW (n=3) | pJ/bit(dyn) = 4.81 +- 0.00
   components (mean, mW): clocks=18.0  logic+signals=10.0
V1_plus_weyl: LUT=853 FF=975 WNS=0.292 | Pdyn = 40.0 +- 0.00 mW (n=3) | pJ/bit(dyn) = 6.88 +- 0.00
   components (mean, mW): clocks=24.0  logic+signals=17.0
V2_plus_tent: LUT=794 FF=943 WNS=0.173 | Pdyn = 37.0 +- 0.00 mW (n=3) | pJ/bit(dyn) = 6.36 +- 0.00
   components (mean, mW): clocks=22.0  logic+signals=15.0
V3_full_original: LUT=934 FF=1071 WNS=0.068 | Pdyn = 29.0 +- 0.00 mW (n=3) | pJ/bit(dyn) = 4.98 +- 0.00
   components (mean, mW): clocks=10.0  logic+signals=20.0

================ LaTeX rows (variant & LUT & FF & Pdyn [mW] & clocks [mW] & logic+signals [mW] & pJ/bit dynamic) ================
V0\_xoshiro\_only & 685 & 847 & 28.0 & 18.0 & 10.0 & 4.81 \\
V1\_plus\_weyl & 853 & 975 & 40.0 & 24.0 & 17.0 & 6.88 \\
V2\_plus\_tent & 794 & 943 & 37.0 & 22.0 & 15.0 & 6.36 \\
V3\_full\_original & 934 & 1071 & 29.0 & 10.0 & 20.0 & 4.98 \\

ALL RUNS PASSED the gates (no X, bit-exact vs RTL golden, window word count, nets matched >= 99 %).

Method (for the manuscript): post-implementation functional simulation (xsim, netlist written by Vivado 2019.1 write_verilog -mode funcsim)
of the routed design; 20000 output words at 181.82 MHz inside the SAIF window (steady-state streaming), TREADY duty 100 %,
3 key sets; SAIF -> Vivado report_power (nets matched reported per run). The simulated word stream is verified bit-exact against the
HLS RTL simulation for every word. pJ/bit = Pdyn / (32 bit x measured words per second inside the window).
Glitch activity is not captured by zero-delay simulation; SDF timing simulation (optional sensitivity check) showed output-word
mismatches versus RTL in the xsim gate-level model and is therefore reported only as a sensitivity check.
SAIF power run v2 finished: 2026-11-02T18:58:16
