The VC Formal Property Verification (FPV) App is designed to verify control paths (example arbiters, FIFOs, FSMs, bus bridges etc.) The VC Formal Datapath Validation (DPV) App with integrated HECTOR™ technology contains custom optimizations and engines for datapath verification (ALU, FPU, DSP etc.).
Please complete the following form then click 'continue >>' to complete the download. Note: By registering, you acknowledge and agree to the terms of the Synopsys Privacy Policy.