t27c on timing.t27 -- static timing, native
t27c 0.4.0 on a laptop (macOS): 25 tests of the timing spec pass natively, 2 invariants comptime -- arcs, slack, Fmax and the Artix-7 teaching delays (LUT 0.1 ns, BRAM 2.0 ns, DSP 2.5 ns).
t27c on timing.t27 -- static timing, native
rate 100.0%
runtime asserts executed, per test (#6509; a pass with 0 is vacuous, T730):
4 comb_arc_creation
1 reg_to_reg_creation
1 input_to_reg_creation
2 timing_path_met
2 timing_path_violated
2 clock_constraint_creation
2 clock_mhz_creation
1 clock_mhz_zero
3 timing_ok_report
2 timing_fail_report
1 path_delay_calc
1 slack_positive
1 slack_negative
1 fmax_from_delay
1 fmax_zero_delay
1 est_comb_delay
1 est_reg_to_reg_delay
1 worst_path
1 worst_path_empty
1 validate_constraint_ok
1 validate_constraint_empty_name
1 validate_arc_ok
1 validate_arc_empty_source
5 timing_model_constants
1 hold_time_ps
vacuous passes 0 of 25 (passed with 0 runtime asserts executed)
files $ recorded 2026-10-07 17:35 UTC real 8.7 s shown 8.7 s exit codes 0 0
$ t27c --version
$ t27c test-report specs/fpga/timing.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 ~.
Trinity S³AI
