Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
3,923,946,071 visitors served.
forum Join the Word of the Day Mailing List For webmasters
?
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


Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
Feedback
Add definition
Mentioned in?  References in periodicals archive?   Dictionary browser?   Full browser?
No references found
 
Fulfilling the industry requirement for formal equivalence checking, designers can then perform comprehensive functional verification using the Calypto SLEC System-HLS to formally verify equivalence between SystemC ESL models and RTL implementations.
Formal equivalence testing in vervet monkeys has been suggested in order to determine the extent to which vervet calls are semantic (Schusterman, 1990).
The industry requires formal equivalence checking in high-level synthesis flows" states Hisaharu Miwa, general manager of Design Technology Division, LSI Product Technology Unit, Renesas Technology Corp.
 
 
 
Dictionary, Thesaurus, and Translations
?

Terms of Use | Privacy policy | Feedback | Advertise with Us | Copyright © 2012 Farlex, Inc.
Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.