1) hardware accelerated verification
硬件加速验证
2) hardware-based HDL verification
硬件加速验证技术
1.
This paper describes the principle and the structure of hardware-based HDL verification system,demonstrates its advantages through the comparison with traditional HDL simulators,and introduces the verification flow based on HES of Aldec.
利用硬件加速验证技术能很好地解决这一问题。
3) hardware verification
硬件验证
1.
ANSI-C bounded model checker and hardware verification using CBMC;
ANSI-C语言的有界模型检测及其在硬件验证中的应用
2.
The traditional verification methods are: simulation, testing and emulation, but these methods are not complete, formal verification methods are used into hardware design, then formal hardware verification technology is produced.
随后对用HOL系统进行硬件验证和验证中的关键技术:抽象技术、层次化验证技术进行研究。
4) hardware accelerated
硬件加速
1.
However,recent researches still focuses mainly on 2D representation while the existing 3D methods are always embarrassed by their low computation speed,a new hardware accelerated 3D representation method was put forward in this paper.
未来数字化战场迫切需要表现复杂环境影响下的三维雷达作用范围,目前研究多限于二维,而三维表现又受限于速度,为此提出一种硬件加速的三维表现方法。
2.
Aimed at hardware accelerated universal firewall,this paper proposes a new packet processing flow which improves the system\'s performance sufficiently and its complete functions are guaranteed.
针对硬件加速型融合防火墙,在保证其功能完善的基础上,设计并实现了一种可充分发挥系统性能的包处理流程。
5) hardware acceleration
硬件加速
1.
Research of Hardware Acceleration Technique for Image Matching Applications;
图象匹配应用的硬件加速技术研究
2.
Research of Hardware Acceleration Technique for Critical Algorithms of DSP Applications;
典型数字信号处理应用中关键算法的硬件加速技术研究
3.
Computer Simulation for Fish s Motion Based Biologic and Physical Model and Hardware Acceleration;
基于生物物理模型和硬件加速的鱼类运动仿真
6) hardware accelerate
硬件加速
1.
The system uses custom instructions,user-defined logic,C2H and other hardware accelerate technologies,also combines fixed-point operations and floating-point operations to reduce hardware resources.
根据不同算法对数据精度要求的不同,将浮点运算和定点运算结合在一起,并使用定制指令、自定义逻辑和C2H等硬件加速技术,减少了处理时间。
补充资料：硬件验证
硬件验证
hardware verification
进行描述。系统描述的基础是某种形式的代数或逻辑的形式模型。常用的模型有用于组合逻辑的布尔或命题逻辑，用于时序逻辑的有限自动机及状态图。系统技术指标描述S和系统实现描述I之间的一致性关系可以有:相等(S=I)，等价(5.1)，逻辑班含(1冷S)，条件逻辑蕴含(C(itiput)冷(I冷S)，其中C(mPUt)为系统的运行环境)等几种。检验一致性所用的技术与所采用的形式模型密切相关。经常利用某些逻辑的特殊性质，开发专门的数据结构和算法，以支持该逻辑所需操作。比较有代表性的是布尔表达式的图形技术指标(规范)表示法(称之为有类型有序二进制判定图)，它对实现布尔运算非常有效，可用于验证两个布尔表达式和两个确定性莫尔机器之间的等价性。此外，还有拌演算与图验证法等方法。拜演算可用来描述各种验证方法的总框架。图验证法包括时序逻辑模型验证、形式语言内涵、跟踪理论和通信系统计算。 硬件验证已用于某些领域，如10万个晶体管的组合电路，220个状态量级的控制电路。有些功能很强但自动化程度较低的技术，如基于定理证明器的交互技术已用来验证简单微处理器的某些功能行为。从理论上讲，对于任意电路，完全自动化的验证通常是不可能的。有时硬件验证虽然可做，但由于花费太大，实际上是不现实的。如果硬件验证能降低成本，则将对缩短新产品开发周期，提高产品可靠性等十分有用。对于关系人类生命安全的医药、民航电子和核反应堆等系统，对于维修非常昂贵的管道和某些嵌人式系统，以及航天探测器等不可维修系统，硬件验证技术尤为重要。 (刘恩德)y ing]i即ya们zheng硬件验证(ha川明哪℃verinCation)检验所设计的系统是否满足规定的技术指标。具体讲，就是核对系统实现描述与技术指标描述的一致性。为此需给出两个描述的形式模型，要有两个描述之间一致性关系的形式概念，以及检验或证明一致性关系的某种方法。 可采用VE旧L一类的硬件描述语言或采用包含硬件和软件子系统的“广谱”系统描述语言对系统
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条