rat-p4p5-impl-verify

To convert microarchitecture specs into verified RTL, you need an orchestrated pipeline that generates module code, creates unit tests, and runs verification loops. This process requires validated Phase 3 μArch specs to produce production-quality RTL and verification reports.

Automating RTL implementation and unit test generation requires an orchestrator agent that reads existing microarchitecture documents to generate module RTL and directed unit tests, iterating until verification passes and producing verification artifacts.

A verification-first RTL implementation pipeline generates RTL code alongside unit tests and verification artifacts, running feedback loops to refine the implementation until regressions are caught and verification passes before design handoff.

Yes, generating RTL and unit tests requires validated Phase 3 microarchitecture specs and review files. The pipeline depends on completed Phase 1-3 artifacts and integration with local file and shell tooling to run tests and produce reports.

Yes, you can run directed unit tests locally and iterate on RTL code automatically by integrating an orchestrator with local file and shell tooling, which executes tests and feeds results back to refine the implementation until verification passes.