Design-consistent checking through complete verification-environment generation

Develop complete subscriber, scoreboard, and reference-model generation methods that provide design-consistent checking for LLM-generated verification environments.

Background

The discussion of UVM² notes that generating UVM components and refining tests with coverage feedback does not by itself resolve the problem of checking whether the design behaves correctly. Complete subscriber and scoreboard generation, together with reference-model construction, lies outside the cited system’s core scope.

This problem is important because an incorrect LLM-generated reference model can allow tests to pass even when the checking logic is flawed. AgentDV therefore uses deterministic CSR-derived expected values as a first layer, while the broader problem of design-consistent checking remains unresolved.