t27c on mmcm.t27 -- the MMCM model, native

t27c 0.4.0 on a laptop (macOS): 16 tests pass natively -- VCO window, M/D/O ranges, fractional multiply in eighths, the 1/56 VCO-period phase step, and the lock window.

files $ t27c --version                                                                                  
t27c 0.4.0                                                                                              
files $ t27c test-report specs/fpga/mmcm.t27 --specs-dir specs                                          
--- test report: specs/fpga/mmcm.t27 ---                                                                

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

  runtime asserts executed, per test (#6509; a pass with 0 is vacuous, T730):                           
       2  vco_multiplies_the_input                                                                      
       2  clkout_divides_the_vco                                                                        
       2  divclk_divides_first                                                                          
       2  mult_moves_in_eighth_steps                                                                    
       2  vco_below_the_window_is_rejected                                                              
       2  vco_above_the_window_is_rejected                                                              
       2  a_legal_100mhz_request_passes                                                                 
       1  vco_out_of_range_is_an_error                                                                  
       2  zero_divclk_is_an_error                                                                       
       1  mult_above_64_is_an_error                                                                     
       1  input_above_the_window_is_an_error                                                            
       2  phase_step_is_one_fifty_sixth_of_the_vco                                                      
       3  a_faster_vco_gives_a_finer_phase_step                                                         
       1  lock_arrives_within_the_window                                                                
       1  lock_does_not_arrive_early                                                                    
       3  relock_drops_the_lock                                                                         
  vacuous passes  0 of 16  (passed with 0 runtime asserts executed)                                     
files $

recorded 2026-10-07 17:34 UTCreal 8.7 sshown 8.6 sexit codes 0 0

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