| Dictionary, Encyclopedia and Thesaurus - The Free Dictionary 1,806,617,978 visitors served. |
|
Dictionary/ thesaurus | Medical dictionary | Legal dictionary | Financial dictionary | Acronyms | Idioms | Encyclopedia | Wikipedia encyclopedia | ? |
formal equivalence |
Also found in: Wikipedia | 0.01 sec. |
|
formal equivalence n (Philosophy / Logic) Logic the relation that holds between two open sentences when their universal closures are materially equivalent How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content. |
|
| ? Mentioned in | ? References in periodicals archive | |
|---|---|---|
| Catapult SL also links to leading formal equivalence checking tools to verify correctness between pure ANSI C++ descriptions and RTL implementations, and to leading simulators, allowing automated evaluation of tradeoffs in functionality, performance and area. Conformal MEM's formal equivalence checking relies on rigorous, mathematical methods to exhaustively determine if a register transfer level (RTL) model is functionally equivalent to its implementation. This technique was first applied in synthesis tools in the 1980's and is being applied today to functional verification in formal equivalence checking applications and some property-based verification tools. |
| Dictionary, Thesaurus, and Translations |
| Free Tools: |
For surfers:
Free toolbar & extensions |
Word of the Day |
Help
For webmasters: Free content | Linking | Lookup box | Double-click lookup | Partner with us |
|---|