Chapter 1: Getting Started

Your first skalp entity — an 8-bit counter that introduces the entity/impl split, port declarations, signal types, sequential logic with on(clk.rise), and combinational assignment.

July 15, 2025 · 7 min · Giri

Chapter 2: State Machines — UART Transmitter

Build a complete UART transmitter with FSM states, baud rate timing, and shift register serialization. Covers state encoding, counter-based timing, bit-level data shifting, and forward references for combinational signals.

July 15, 2025 · 13 min · Giri

Chapter 3: UART Receiver

Mid-bit sampling, edge detection, and bit reconstruction — build the RX side of the UART.

July 15, 2025 · 19 min · Giri

Chapter 4: Arrays and Generics — FIFO Buffering

Array types, generic parameters, and clog2() — build a parameterized FIFO and add buffering to the UART.

July 15, 2025 · 17 min · Giri

Chapter 5: Const Generics and Parameterization

Make your designs fully configurable with generic defaults, explicit instantiation, compile-time width computation, const expressions, and test vs. production parameterization – all applied to the running UART project.

July 15, 2025 · 14 min · Giri

Chapter 6: Structs and Hierarchical Composition

Group related signals into structs for cleaner interfaces, then compose entities hierarchically with let-binding to build the complete UART top-level module.

July 15, 2025 · 14 min · Giri

Chapter 7: Enums and Pattern Matching

Enum types with explicit bit encoding, match expressions that return values, exhaustiveness checking that catches missing cases at compile time — refactor FSM states and build a UART command parser.

July 15, 2025 · 14 min · Giri

Chapter 8: Clock Domain Crossing

Clock domain lifetimes, CDC compile-time safety, dual-clock entities, 2-flop synchronizers, Gray code pointers, and async FIFOs — make the UART dual-clock with compile-time guarantees against metastability bugs.

July 15, 2025 · 21 min · Giri

Chapter 9: Safety and Annotations

Add safety mechanisms and debug infrastructure to your designs with TMR voting, detection signals, retention hints, trace grouping, and simulation breakpoints – all zero-cost annotations that travel with your source code.

July 15, 2025 · 22 min · Giri

Chapter 10: Testing and Verification

Rust testbench API in depth – Testbench::new(), tb.set(), tb.clock(), tb.expect(), tb.get(). Test organization, helper functions, multiple test cases, waveform generation with VCD, and a complete UART test suite.

July 15, 2025 · 19 min · Giri