DOCSBooley user guide Tracks the main branch

Documentation

The Booley user guide. The first time, read Get started in order.

SectionPageWhat it covers
Get startedFeaturesEverything Booley does, and why.
SetupConnect an installed Booley to your RTL project.
UsageDay-to-day work with the Developer Agent and waveforms.
Goal ModeEvidence-backed Goals, Goalsets, and review.
FlowsRunning FlowsWhat every Flow shares: Targets, options, and results.
SimulationRun a Target's tests and report which ones passed.
TestsDeclare a sim Target's tests, variants, and seeds.
CoverageMeasure how much of the RTL your tests exercise.
LintCheck RTL for structural, semantic, and style problems.
ASIC synthesisEstimate ASIC area and timing while you iterate.
FPGA implementationBuild for an FPGA and report resources and timing.
ReferenceConfigProject-wide booley.toml settings.
TargetsDescribe how your design builds for every Flow.
SandboxConfigure the container Booley and its agents run in.
Stealth ModeKeep Booley out of your Git history.
CLI referenceEvery command, Flow, and Specialist.
Supported EDA toolsWhich tools each Flow drives, and where they come from.
HelpDoctorCheck that Booley's setup and tools work.
TroubleshootingSymptoms, causes, and fixes.
WindowsWindows-only first-run traps.

These pages track the main branch, so they can describe changes newer than your installed release; the changelog says what each release contains. The source is docs/user/ on GitHub.