EDA_FORMAL_VERIFICATION_TOOL
See Also
Third Party EDA Tools Section
Specifies the third-party EDA tool used for formal verification.
- PLDWorld -
Created by
chm2web
html help conversion utility.