t27c on hello_world.t27

t27c 0.4.0 on specs/demos/hello_world.t27: spec-status IMPLEMENTED, the two tests and two invariants the Zig backend emits, and the Verilog module with its parameters.

t27c on hello_world.t27 · Trinity S³AI

    if (!(VERSION <= 255)) __t27_assert_fail("\n  assertion failed:\n    VERSION = {any}\n", .{ VERSION 
});                                                                                                     
    if (!(create_config(255, 255, 255).width <= 255)) __t27_assert_fail("\n  assertion failed:\n    crea
te_config(255, 255, 255).width = {any}\n", .{ create_config(255, 255, 255).width });                    
}                                                                                                       
comptime {                                                                                              
    // invariant: area_consistency                                                                      
    const test_config = create_config(10, 20, 1);                                                       
    const area = calculate_area(test_config);                                                           
    if (!(area > 0)) __t27_assert_fail("\n  assertion failed:\n    area = {any}\n", .{ area });         
}                                                                                                       
t27 $ t27c gen-verilog specs/demos/hello_world.t27 | sed -n 10,26p                                      
module HelloWorld (                                                                                     
    input  wire        clk,                                                                             
    input  wire        rst_n,                                                                           
    input  wire        en,                                                                              
    output wire        ready                                                                            
);                                                                                                      
// NO DATA PORTS -- this module cannot move a value across its boundary.                                
// Synthesis will optimise it to nothing. Add `fn on_comb(...) -> T` to give                            
// it a combinational surface: parameters become inputs, the return becomes                             
// `result`. See T81.                                                                                   

    // -------------------------------------------------------                                          
    // Parameters (from const declarations)                                                             
    // -------------------------------------------------------                                          
    parameter [31:0] MAGIC_NUMBER = 3735928559;                                                         
    parameter [7:0] VERSION = 1;                                                                        
    parameter FLAG_ENABLE = 1'b1;                                                                       
t27 $

recorded 2026-10-04 06:14 UTCreal 13.7 sshown 13.7 sexit codes 0 0 0 0

$ t27c --version $ t27c spec-status specs/demos/hello_world.t27 $ t27c gen specs/demos/hello_world.t27 | sed -n 48,71p $ t27c gen-verilog specs/demos/hello_world.t27 | sed -n 10,26p

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