Formal Verification
Phase 1 and 2 - Click here to see flow |
RTL Technology Library and netlist Compilation.
Name Matching and constraint setting.
Equivalence Checking |
Mentor Graphics FormalPro |
RTL (if required)
Various netlists (see FV flow)
Technology Library |
Compliance Report
Documentation |
ATPG - Test Assessment and Test Vector Generation
Phase 1,2,3 and 4 - Click here to see flow |
Testability Review
Test Vector Creation
Test Vector Simulation |
Mentor Graphics Fastscan, Flextest, DFT Advisor.
Mentor Graphics Modelsim
Synopsys Tetramax |
Scan Inserted netlist & SDF
Optional Access to RTL and Synthesis scripts
Fastscan compiled Technology Library |
Suggested RTL changes
Suggested Syntheses script changes Tester Vector Sets
Test Coverage report Documentation |
Code Coverage
Phase 1,2 and 3 - Click here to see flow |
RTL simulation, generation of coverage figures. Test-bench coverage review |
Transeda VN-Cover
Mentor Graphics Modelsim |
RTL & Test-benches
Coverage Requirements |
HTML Code Coverage Reports
Documentation |
IP Development (Module or sub-block) or modifications to existing customer IP
Existing or new IP integration
FPGA Prototyping
Synthesis, Test Insertion & STA
Phase 1,2,3 and 4 - Click here to see flow |
RTL Coding
Test-bench authoring and IP verification
Porting existing test-benches to top level of integration.
IP Synthesis and Test Insertion. STA and timing closure for chip
FPGA Place and Route
Hardware |
Mentor Graphics HDL Designer (optionally)
Mentor Graphics ModelSim
Synopsys DC and PT for ASIC or Leonardo Spectrum/Precision for FPGA.
Xilinx ISE foundation & Chipscope Pro. Nallatech DIME development boards or other |
Specification
Re-used RTL code
Re-used test-benches
Re-used Synthesis and STA scripts
Re-used constraint files |
RTL code & test-benches designed to specification
Verified RTL code
Synthesis script
Documentation netlist
PAR script for FPGA Documentation.
PAR nettlist.
Compliance Matrix Documentation |