Integrate ttsim (Tenstorrent Simulator)

[williamofai]

Issue: Integrate ttsim (Tenstorrent Simulator)

Summary

Add Tenstorrent simulator (ttsim) support to enable RISC-V target validation without physical hardware.

Background

The certifiable-* ecosystem aims to prove bit-identity across platforms including RISC-V. Tenstorrent's simulator allows us to:

• Validate fixed-point inference on TT hardware architecture
• Test determinism before deploying to physical devices
• Establish golden references for RISC-V targets

Environment

Per @brixen: On macOS, Lima can run the TT dev container (libs are Linux-only).

Tasks

• Document Lima + TT dev container setup in scripts/
• Add ttsim build target to Makefile
• Create ttsim-specific test configuration
• Add platform detection for ttsim in build system
• Verify Q16.16 fixed-point operations produce identical results
• Generate ttsim golden reference

Dependencies

• Makefile + CI pattern (Add Makefile + CI Pattern #1) should be in place first
• Access to TT dev container / ttsim binaries

Acceptance Criteria

make build-ttsim    # Builds for ttsim target
make test-ttsim     # Runs test suite under simulator

Hashes from ttsim match x86_64 golden reference.

Assignee

@brixen

Labels

enhancement risc-v tenstorrent priority-high