formal equivalence


Also found in: Wikipedia.
Related to formal equivalence: functional equivalence

formal equivalence

n
(Logic) logic the relation that holds between two open sentences when their universal closures are materially equivalent
References in periodicals archive ?
One may find, sometimes, ('several' times) a formal equivalence for an informal phraseological unit.
The following will explore how the two translation principles, that is, formal equivalence and functional equivalence, are used in translating 'spirit' ([phrase omitted]) and 'soul' ([phrase omitted]) in the UV.
We expect the Solvency II requirements to remain, both in the short term during the two-year negotiating period and in the long term, through the granting of formal equivalence status.
They are set in a formal equivalence that posits them as similarly opaque and expressionless surfaces of intensified visual incident, concealing a private perceptual experience and essentially unknowable interiority.
First of all, formal equivalence seeks to capture the form of the SL expression.
The second group of articles focuses on the study of the main characteristics of spatial vision (its structure and degree of fit with physical space, the development of space perception with age), as well as the possible formal equivalence between two classic conceptual instruments of this area: Emmert's law and the size-distance invariance hypothesis.
Liturgiam Authenticam, which espouses a formal equivalence approach, recognizes the delicate balancing act that is inherent in a careful translating effort by stating in a dozen instances that the Latin original is to be conveyed in the receiver language "insofar as possible various solutions may be employed.
The PowerPro Platform features new RTL power analysis capabilities, production-proven optimization techniques for reducing dynamic and leakage power in the logic, memory, and embedded processor sections of an SoC, and is the only solution that provides sequential formal equivalence checking.
Nida is well known for developing the theory of dynamic equivalence, which he differentiates from formal equivalence or the traditional translation method.
Formal equivalence testing in vervet monkeys has been suggested in order to determine the extent to which vervet calls are semantic (Schusterman, 1990).
Tom has established Calypto as the leading provider of power optimization and formal equivalence technology for SoC design teams," said Aitelli.
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.
Full browser ?