csa-rhdl 0.1.0

Carry-save adder compressor trees composed via comp-cat-rs, with hdl-cat backend
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

//! # csa-rhdl
//!
//! Carry-save adder (CSA) compressor trees as a categorical
//! combinator library, with optional hdl-cat backend for hardware
//! synthesis and simulation.
//!
//! The crate is organized in layers:
//!
//! ```text
//! shape    Shape, width arithmetic, errors
//! category CircuitArrow + Category/Monoidal/Braided/Symmetric
//! tree     TreeGraph + tree_level + compressor_tree
//! reducer  Stream catamorphism (compile_tree)
//! gates    hdl-cat circuit constructors (feature: hdl-cat-gates)
//! pipeline Registered compressor (feature: hdl-cat-gates)
//! lower    Abstract CircuitArrow → HdlGraph lowering (feature: hdl-cat-gates)
//! ```
//!
//! See [`prelude`] for the single-import surface.

#![deny(missing_docs)]

pub mod category;
pub mod error;
pub mod prelude;
pub mod reducer;
pub mod shape;
pub mod tree;
pub mod width;

#[cfg(feature = "hdl-cat-gates")]
pub mod gates;

#[cfg(feature = "hdl-cat-gates")]
pub mod lower;

#[cfg(feature = "hdl-cat-gates")]
pub mod pipeline;