FAQ

Does AutoFV require JasperGold?

No. The framework itself is tool‑agnostic. A formal verification engine is only required when running the verification flow.

Does the tool modify RTL?

No. Verification logic is inserted using SystemVerilog bind constructs.

Can it scale to large SoC designs?

Yes. The framework supports hierarchical and compositional verification.