test-design-policy

What problem does it solve?

Codifies a repeatable methodology for deriving comprehensive RTL test cases from microarchitecture and interface specifications so verification teams avoid ad-hoc vector sets and achieve measurable coverage goals.

Core Features & Use Cases

• Equivalence Class Partitioning (ECP): identify valid and invalid input classes and select representative values for input domains.
• Boundary Value Analysis (BVA): enumerate boundary and corner values for signed/unsigned integers, addresses, and counters to catch off-by-one and overflow conditions.
• State Transition & Decision Table Testing: extract FSM transitions for mandatory transition coverage and build decision tables for multi-boolean control logic.
• Use Case: produce a prioritized test plan for a new IP block by merging ECP, BVA, FSM transitions and decision-table rows into a coverage-mapped test vector set.

Quick Start

Derive a prioritized RTL test plan by applying equivalence partitioning and boundary value analysis to each input, extracting state transitions from FSMs, and mapping generated vectors to coverage goals.