小李丿飞大刀 小李丿飞大刀
蜗牛,为梦想而生。
关注数: 6 粉丝数: 15 发帖数: 378 关注贴吧数: 36
水平不够,有大神会翻译微电子专业英语的吗? 四段 Another type of assertion that can beformally verified relates to interfaces.use a formal description language,assertions about the interface arestated and the tool attempts to prove or disprove them. For example,anassertion might state that,given that signal ALE will be asserted,then eitherthe DTACK or ABORT signal will be asserted eventually. The advantage of black-box verification is that it dose not depend onany specific implementation.Whether the desigh is implemented in a singleASIC,multiple FPGAs,a circuit board, or entirely in software ,is irrelevant.Ablack-box functional verification approach forms a ture conformanceverification that can be used to show that particular design implements theintent of a specification regardless of its implementation The main purpose of functional verificationis to ensure that a design inplements intended functionality.As shown by thereconvergent path model in figure 4-14,functional verification reconcites adesign with its specification.without functional verification,one must trustthat the transformation of a specification document into RTL code was performedcorrectly,without misinterpretation of the specification’s intent. These tools appear attractive on thesurface,but,as shown in figure 4-15,do little to contribute to the verificationprocess.the RTL code is the common origin an there is no reconvergencepoint.the verification engineer is left to determine if the testbench appliesvalid stimulus to the design.in the affirmative,he or she must thendetermine,based on this stimulus,what the expected output is and compare it tothe output that was produced by the design.
1 下一页