hdl-cat

A hardware description library re-architected around comp_cat_rs's categorical effect system.

This umbrella crate re-exports the full workspace so a single use hdl_cat::*; (or a trimmed [prelude]) is enough to get going.

Layers

End-to-end example — stateful counter

Build → simulate → emit Verilog.

# fn main() -> Result<(), hdl_cat::Error> {
use hdl_cat::prelude::*;
use hdl_cat_kind::BitSeq;

let c = std_lib::counter::<4>()?;
let inputs: Vec<BitSeq> = (0..4).map(|_| BitSeq::new()).collect();
let samples = Testbench::new(c).run(inputs).run()?;
let values: Vec<u128> = samples
    .iter()
    .map(|s| Bits::<4>::from_bits_seq(s.value()).map(Bits::to_u128))
    .collect::<Result<Vec<_>, _>>()?;
assert_eq!(values, vec![0, 1, 2, 3]);

let c = std_lib::counter::<4>()?;
let module = verilog::emit_sync_graph(
    c.graph(), "counter4",
    c.state_wire_count(), c.input_wires(), c.output_wires(),
    c.initial_state(),
).run()?;
let text = module.render().run()?;
assert!(text.contains("always_ff @(posedge clk)"));
# Ok(()) }

End-to-end example — combinational half-adder

# fn main() -> Result<(), hdl_cat::Error> {
use hdl_cat::prelude::*;

let ha = std_lib::half_adder()?;
let module = verilog::emit_graph(
    ha.graph(),
    "half_adder",
    ha.inputs(),
    ha.outputs(),
).run()?;
let text = module.render().run()?;
assert!(text.contains("module half_adder"));
assert!(text.contains("assign"));
# Ok(()) }

End-to-end example — combinational Circom emission

Lower a 4-bit bitwise inverter to a self-contained circom 2.0.0 template.

# fn main() -> Result<(), hdl_cat::Error> {
use hdl_cat::circom::emit_template;
use hdl_cat::ir::{HdlGraphBuilder, Op, WireTy};

let (b, a) = HdlGraphBuilder::new().with_wire(WireTy::Bits(4));
let (b, out) = b.with_wire(WireTy::Bits(4));
let b = b.with_instruction(Op::Not, vec![a], out)?;
let graph = b.build();

let template = emit_template(&graph, "inv4", &[a], &[out], &[]).run()?;
let text = template.render().run()?;
assert!(text.starts_with("pragma circom 2.0.0;"));
assert!(text.contains("template inv4()"));
assert!(text.contains("component main = inv4();"));
# Ok(()) }