Types of Verifications ?

[truebs]

Hi,

Can some one please share your views on following terms :-

1) Formal Verification
2) Functional Verification

with respect to ASIC flow, i.e. what are these and when and where do we perform these verifications ?

How do we do these ? What tools are generally used ? Synopsys ?

Thanks,
truebs

 

[aji_vlsi]

Hi,

Can some one please share your views on following terms :-

1) Formal Verification
2) Functional Verification

with respect to ASIC flow, i.e. what are these and when and where do we perform these verifications ?

How do we do these ? What tools are generally used ? Synopsys ?

Thanks,
truebs

Functional Verification is usually done in 2 major means: Dynamic and Static. Dynamic - simulation based. Static - lint, formal methods. Tools - do a google search or visit EDA vendors' pages, you will see. Also deepchip.com has the tool list.

BTW - we elaborate in great detail each of these terminoligies, approaches with real life tools such as VCS, Modelsim, Leda etc. in our Verification trainings such as CFV. See: www.noveldv.com and drop us an email at cvc.training <> gmail.com if interested.

Cheers
Ajeetha, CVC
www.noveldv.com

 

[pintuinvlsi]

Functional verification is done when we have our DUT RTL is ready and we here check for all the functionality of our design (for which it is designed). Basically we test functionality of design by some HVL language (like verilig, vhdl, specman, vera, system verilog and so on).

In Formal Verification we check intended design functionality has not been changed during any time in different stage of ASIC flow. As for example when we synthesize our RTL into netlist, we use formal verificatio to see if synthesis tool has not changed any functionlity (so we do formal verification between golden RTL and netlist) similarly we can perform formal verification on prelayout and post layout netlist to see nothing has been changed. For formal verification we generally use Cadence Conformal , Synopsis Formality.

Hope this helps.

Regards,
pintuinvlsi