Verifiable Implementation:
The Bazel & Rust Ecosystem

Why Bazel?

Unified Polyglot Build Manages the entire monorepo, ensuring C, SystemVerilog, and Rust interoperate seamlessly.

Reproducible Testing Sandboxed actions ensure build outputs are identical across Linux, Mac, or CI environments.

Aggressive Caching Accelerates development by only re-building components that have actually changed.

Rust Usage

opentitantool & lib The primary hardware interface (bootstrap/IO) is written in Rust for memory safety and reliability.

Silicon Validation Host-side tests use Rust to drive functional vectors while protecting internal silicon state.

rules_rust Integration Utilizes Bazel’s rules_rust to map Cargo dependencies into an optimized build graph.