发明授权
- 专利标题: Graphical specification and constraint language for developing programs for hardware implementation and use
- 专利标题(中): 用于开发硬件实施和使用程序的图形规范和约束语言
-
申请号: US14500285申请日: 2014-09-29
-
公开(公告)号: US09436438B2公开(公告)日: 2016-09-06
- 发明人: Kaushik Ravindran , Jacob Kornerup , Rhishikesh Limaye , Guang Yang , Guoqiang Wang , Jeffrey N. Correll , Arkadeb Ghosal , Sadia B. Malik , Charles E. Crain, II , Michael J. Trimborn
- 申请人: NATIONAL INSTRUMENTS CORPORATION
- 申请人地址: US TX Austin
- 专利权人: NATIONAL INSTRUMENTS CORPORATION
- 当前专利权人: NATIONAL INSTRUMENTS CORPORATION
- 当前专利权人地址: US TX Austin
- 代理机构: Meyertons Hood Kivlin Kowert & Goetzel, P.C.
- 代理商 Jeffrey C. Hood; Mark S. Williams
- 主分类号: G06F17/50
- IPC分类号: G06F17/50 ; G06F9/44 ; G06F3/048 ; G06F17/30
摘要:
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.
公开/授权文献
信息查询