t27c on eth_crc.t27 -- the FCS, native

t27c test-report on the Ethernet frame check sequence: 8 tests pass natively -- the table derived from one bit step, the check value 0xCBF43926, and the receiver residue 0xDEBB20E3.

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

  tests       8                                                                                         
  pass        8                                                                                         
  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  table_is_derived                                                                              
       1  check_value_123456789                                                                         
       1  single_octet_a                                                                                
       1  empty_is_zero                                                                                 
       2  frame_a_ipv4                                                                                  
       2  frame_b_length_field                                                                          
       5  fcs_is_complement                                                                             
       2  receiver_residue_is_the_magic                                                                 
  vacuous passes  0 of 8  (passed with 0 runtime asserts executed)                                      
files $

recorded 2026-10-08 01:27 UTCreal 9.7 sshown 6.2 sexit codes 0

$ t27c test-report specs/fpga/eth_crc.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