A formal specification of XISA (Xsight Labs' X-Switch Instruction Set Architecture) written in Sail. See the public white paper for the XISA reference.

XISA defines packet processing for the X-Switch family of programmable network switches. This project provides a machine-readable, executable formal model of the ISA, inspired by the Sail RISC-V model.

Requires the devcontainer CLI.

# Build the dev container
devcontainer build --workspace-folder .

# Configure and build
./dev.sh cmake -B build
./dev.sh cmake --build build

# Run tests
./dev.sh ctest --test-dir build --verbose

See docs/dev-commands.md for the full commands reference.

See the spec coverage page for spec coverage and docs/todo.md for known issues.

Apache License 2.0