In later years, Nida distanced himself the term "dynamic equivalence", preferring the term "functional equivalence".[2][3][4] The term "functional equivalence" suggests not just that the equivalence is between the function of the source text in the source culture and the function of the targ...
FUNCTIONAL EQUIVALENCE DESPITE FORMAL DIFFERENCES? COMPARING CASE SELECTION MECHANISMS IN THE SUPREME COURT OF THE UNITED STATES AND THE CONSTITUTIONAL COURT OF ITALYGOLDAMMER, MATTHEW R.California Western International Law Journal
超额翻译 over-translation欠额翻译 under-translation翻译腔 translationese音译transliteration直译literal translation;direct translation意译free translation;liberal translation死译rigid translation回译back translation翻译研究 translation studies形式对等 formal equivalence功能对等 functional e 发布于 2022-05-24 15:52 ...
Formal_functional_equivalence.prj README.md SECURITY.md formalEquivalence.m funcEquivExample.m license.txt updateHMdl.m version1.slx version2.slx version3.slx Breadcrumbs formal-functional-equivalence / Latest commit cannyp3 set up project. updated tests. ...
Functional equivalence testing is a workflow which involves simulating two models, or a model and its generated code, and ensuring their outputs are equivalent. This is a common workflow in standards such as ISO26262, however this technique does not formally prove functional equivalence in all cases...
Formal functional equivalence is a static analysis–based technique to formally prove that two Simulink models are functionally equivalent. You can use formal functional equivalence to ensure the expected behavior is preserved after refactoring.
WILSONVILLE, Ore., April 24 -- Mentor Graphics Corporation today introduced FormalPro(TM) equivalence checker, its next generation formal verification technology designed to overcome the challenges of verifying complex, multi-million gate system-on-chip (SoC) designs. The FormalPro tool offers designer...
for full functional equivalence, handling both combinatorialandtemporal equivalency. The only limitation is state-space equivalency is not infinite -- it only goes to a certain cycle depth, e.g. 30 clock cycles. This cycle depth is a differentiator between vendor's apps. ...
The DPV app joins the growing portfolio of VC Formal apps, including Property Verification (FPV), Sequential Equivalence Checks (SEQ), Register Verification (FRV), Formal Coverage Analyzer (FCA), Connectivity Checking (CC), X-Propogation Checks (FXP), Formal Testbench Analyzer (FTA), Automatic ...
FPGA Equivalence Checking Questa Equivalent FPGA The Siemens Questa Equivalent FPGA solution ensures that FPGA implementation flows, such as synthesis and place-and-route optimizations, do not introduce functional errors. Assuring Completeness Questa GapFree Questa GapFree optimizes quality of digital design...