会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明申请
    • Method for Violating the Logical Function and Timing Behavior of a Digital Circuit Decision
    • 违反数字电路决策的逻辑功能和定时行为的方法
    • US20090083684A1
    • 2009-03-26
    • US12233169
    • 2008-09-18
    • Juergen KoehlWalter PietschmannJuergen SaalmuellerNorbert SchumacherVolker UrbanJoerg Walter
    • Juergen KoehlWalter PietschmannJuergen SaalmuellerNorbert SchumacherVolker UrbanJoerg Walter
    • G06F17/50
    • G06F17/5031G06F17/5045
    • The present invention relates to a method for validating the correct logical function and timing behavior of a digital circuit design within a cycle-based verification environment. Said method comprises the steps of providing (10) a VHDL description of the digital circuit design, performing (12) a logic synthesis, wherein the VHDL description is turned into a design implementation in terms of logic gates, and creating (14) a netlist including the elements of the digital circuit design and the connections between said elements. Said method comprises the further steps of providing (28) a transformation script with at least one transparent storage element (40; 54), wherein said transparent storage element (40; 54) represents a path delay within the digital circuit design, creating (30) a new netlist with the at least one transparent storage elements (40; 54), running (20) a verification, and checking, if the new netlist is clean from a logical and timing point of view.
    • 本发明涉及一种在基于周期的验证环境中验证数字电路设计的正确逻辑功能和定时特性的方法。 所述方法包括以下步骤:提供(10)数字电路设计的VHDL描述,执行(12)逻辑合成,其中VHDL描述在逻辑门方面变成设计实现,并且创建(14)网表 包括数字电路设计的元件和所述元件之间的连接。 所述方法包括以下步骤:提供具有至少一个透明存储元件(40; 54)的转换脚本(28),其中所述透明存储元件(40; 54)表示数字电路设计内的路径延迟,创建(30 )具有至少一个透明存储元件(40; 54)的新网表,运行(20)验证,并且如果所述新网表从逻辑和定时观点清洁,则检查。