sc_neurocore_engine 3.15.0

High-performance SIMD backend for SC-NeuroCore stochastic neuromorphic computing
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

// SPDX-License-Identifier: AGPL-3.0-or-later
// Commercial license available
// © Concepts 1996–2026 Miroslav Šotek. All rights reserved.
// © Code 2020–2026 Miroslav Šotek. All rights reserved.
// ORCID: 0009-0009-3560-0851
// Contact: www.anulum.li | protoscience@anulum.li
// SC-NeuroCore — SC Compute Graph IR

//! # SC Compute Graph IR
//!
//! A Rust-native intermediate representation for stochastic computing
//! pipelines. The IR captures the semantics of the planned MLIR "sc"
//! dialect (Blueprint §5) and can be lowered directly to synthesizable
//! SystemVerilog or exported as a text format for future MLIR/CIRCT
//! integration.
//!
//! # Design Principles
//!
//! - **SSA**: Every operation produces exactly one named value.
//! - **Typed**: All values carry an `ScType` for static verification.
//! - **Acyclic**: The operation list forms a DAG (verified by `verify()`).
//! - **Portable**: No external dependencies; pure Rust enums and structs.

pub mod builder;
pub mod emit_mlir;
pub mod emit_sv;
pub mod graph;
pub mod parser;
pub mod printer;
pub mod verify;