会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 6. 发明申请
    • INSTRUCTION SCHEDULING APPROACH TO IMPROVE PROCESSOR PERFORMANCE
    • 指导性调度方法,以提高处理器性能
    • US20120216016A1
    • 2012-08-23
    • US13459128
    • 2012-04-28
    • Juergen KoehlJens LeenstraPhilipp PanitzHans Schlenker
    • Juergen KoehlJens LeenstraPhilipp PanitzHans Schlenker
    • G06F15/76G06F9/06
    • G06F9/30141G06F8/443G06F9/3012G06F9/3855G06F17/505G06F2217/68
    • A processor instruction scheduler comprising an optimization engine which uses an optimization model for a processor architecture with: means to generate an optimization model for the optimization engine from a design of a processor and data representing optimization goals and constraints and a code stream, wherein the processor has at least two execution pipes and at least two registers, and wherein the design comprises data for processor instruction latency and execution pipes, and wherein the code stream comprises processor instructions with corresponding register selections; and reordering means to generate an optimized code stream from the code stream with the optimal solution provided by the optimization engine for the optimization model by reordering the code stream, such that optimum values for the optimization goals under the given constraints are achieved without affecting the operation results of the code stream.
    • 一种处理器指令调度器,其包括使用用于处理器架构的优化模型的优化引擎,其具有:从处理器的设计和表示优化目标和约束的代码流以及代码流生成优化引擎的优化模型的装置,其中所述处理器 具有至少两个执行管道和至少两个寄存器,并且其中所述设计包括用于处理器指令等待时间和执行管道的数据,并且其中所述代码流包括具有相应寄存器选择的处理器指令; 以及重新排序装置,用于通过重新排序代码流,从优化引擎为优化模型提供的优化解决方案,从代码流生成优化代码流,从而实现给定约束条件下优化目标的最优值,而不影响操作 代码流的结果。
    • 10. 发明申请
    • 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)验证,并且如果所述新网表从逻辑和定时观点清洁,则检查。