利索-全球专利检索

  1. 登录
  2. 注册
发明申请
US20120030648A1 Generating and Debugging Timing Accurate Simulations in a Graphical Specification and Constraint Language 有权
在图形规范和约束语言中生成和调试定时精确模拟

  • 专利标题： Generating and Debugging Timing Accurate Simulations in a Graphical Specification and Constraint Language
  • 专利标题（中）： 在图形规范和约束语言中生成和调试定时精确模拟
  • 申请号： US13193378
    申请日： 2011-07-28
  • 公开(公告)号： US20120030648A1
    公开(公告)日： 2012-02-02
  • 发明人: Jeffrey N. Correll
  • 申请人： Jeffrey N. Correll
  • 主分类号： G06F9/44
  • IPC分类号： G06F9/44
Generating and Debugging Timing Accurate Simulations in a Graphical Specification and Constraint Language
摘要：
System and method for specifying and implementing programs. A graphical program is created in a graphical specification and constraint language that allows specification of a model of computation and explicit declaration of constraints in response to user input. The graphical program includes a specified model of computation, a plurality of interconnected functional blocks that visually indicate functionality of the graphical program in accordance with the specified model of computation, and specifications or constraints for the graphical program or at least one of the functional blocks in the graphical program. The specified model of computation and specifications or constraints are useable to analyze the graphical program or generate a program or simulation.
摘要（中）：

用于指定和实现程序的系统和方法。 以图形规范和约束语言创建图形程序，该语言允许指定计算模型并响应于用户输入显式声明约束。 图形程序包括指定的计算模型，多个互连的功能块，其可视地指示根据指定的计算模型的图形程序的功能，以及用于图形程序或至少一个功能块的规格或约束 图形程序。 指定的计算模型和规范或约束可用于分析图形程序或生成程序或模拟。

公开/授权文献
信息查询
Global Dossier Espacenet
0/0