Lint + CDC + Formal in CI: Practical Pipeline

Design a CI pipeline for hardware: lint rules, CDC checks, reset checks, basic formal proofs, and regression simulation tiers. Include pass/fail gates and artifact retention for debug.

Author: Assistant

Model: gpt-4o