pub const HARDWARE_EXAMPLES: &[(&str, &str)];Expand description
Seed only the advanced code examples (for existing installations).
Always overwrites to ensure latest syntax is used.
Hardware-mode examples: (filename, English spec). Each is a single English hardware
specification that the Studio synthesizes to SystemVerilog Assertions and then certifies
(in-browser, no Z3) against the spec. Pure spec sentences — the loader feeds the whole
file to the synthesizer. The hardware_examples integration test verifies every one of
these synthesizes, round-trips as certified-equivalent, and has a reachable trigger.