t27c on rgmii.t27 -- RGMII timing, native

t27c test-report on the RGMII spec: 7 tests pass natively plus one comptime invariant -- the 8 ns gigabit period, a nibble on both edges, the 78 ps tap ladder.

files $ t27c test-report specs/fpga/rgmii.t27 --specs-dir specs                                         
--- test report: specs/fpga/rgmii.t27 ---                                                               

  tests       7                                                                                         
  pass        7                                                                                         
  FAIL        0                                                                                         
  invariants  1   proved -- comptime, so compiling IS the check                                         
  rate    100.0%                                                                                        

  runtime asserts executed, per test (#6509; a pass with 0 is vacuous, T730):                           
       1  gigabit_rate_is_the_product                                                                   
       2  period_is_8ns_in_ps                                                                           
       0  byte_every_two_edges   VACUOUS                                                                
       5  downshift_rates                                                                               
       2  tap_resolution_is_78ps                                                                        
       4  tap_range_covers_2ns                                                                          
       0  artix7_has_no_odelay   VACUOUS                                                                
  vacuous passes  2 of 7  (passed with 0 runtime asserts executed)                                      
files $

recorded 2026-10-08 01:27 UTCreal 9.2 sshown 6.1 sexit codes 0

$ t27c test-report specs/fpga/rgmii.t27 --specs-dir specs

Staged: the prompt and the typing. Real: every byte the commands printed, at the time they printed it. Any silence longer than 2 s is shown for 2 s, and the title bar says so while it happens. Edited: home directory shown as ~.

GIF Preview card