OneSpin https://xilinx.eetrend.com/tags/8627/0 zh-hans 【Vivado 综合 】我们如何正式验证 Vivado 生成的网表? https://xilinx.eetrend.com/content/2020/100058503.html <!-- THEME DEBUG --> <!-- CALL: theme('field') --> <!-- FILE NAME SUGGESTIONS: * field--field-main-image--article.tpl.php * field--article.tpl.php * field--field-main-image.tpl.php * field--image.tpl.php x field.tpl.php --> <!-- BEGIN OUTPUT from 'sites/all/themes/Xilinx/templates/field.tpl.php' --> <!-- This file is not used by Drupal core, which uses theme functions instead. See http://api.drupal.org/api/function/theme_field/7 for details. After copying this file to your theme's folder and customizing it, remove this HTML comment. --> <div class="field field-name-field-main-image field-type-image field-label-hidden"> <div class="field-items"> <div class="field-item even"><img class="img-responsive" src="https://cdn.eetrend.com/files/styles/picture400/public/2020-11/wen_zhang_/100058503-111537-13374-39341-13328-39078-vivado.jpg?itok=N7UhRhS_" width="400" height="220" alt="" /></div> </div> </div> <!-- END OUTPUT from 'sites/all/themes/Xilinx/templates/field.tpl.php' --> <!-- THEME DEBUG --> <!-- CALL: theme('field') --> <!-- FILE NAME SUGGESTIONS: * field--body--article.tpl.php * field--article.tpl.php * field--body.tpl.php * field--text-with-summary.tpl.php x field.tpl.php --> <!-- BEGIN OUTPUT from 'sites/all/themes/Xilinx/templates/field.tpl.php' --> <!-- This file is not used by Drupal core, which uses theme functions instead. See http://api.drupal.org/api/function/theme_field/7 for details. After copying this file to your theme's folder and customizing it, remove this HTML comment. --> <div class="field field-name-body field-type-text-with-summary field-label-hidden"> <div class="field-items"> <div class="field-item even"><p>OneSpin 工具可验证综合和实现过程(即 RTL 和综合网表)中任意两个步骤之间的功能等效性。本答复记录涵盖有关 OneSpin 支持版本的详细信息,以及设置 OneSpin 以测试 Vivado 综合生成的网表的基本流程。</p> </div> </div> </div> <!-- END OUTPUT from 'sites/all/themes/Xilinx/templates/field.tpl.php' --> Mon, 09 Nov 2020 01:26:40 +0000 judy 100058503 at https://xilinx.eetrend.com