公开(公告)号：CN105224301B

公开(公告)日：2019-01-04

申请号：CN201410302501.5

申请日：2014-06-27

Applicant: 国际商业机器公司

Inventor： 王磊 ,  A·洛 ,  徐海弘

IPC: G06F8/61

Abstract: 本发明公开了一种应用实例组装的方法和装置。所述方法包括：获取应用程序所绑定的功能服务的列表；确定与所绑定的功能服务所对应的构建工具；和由所确定的构建工具进行所述应用程序的应用实例组装。采用根据本发明实施例的技术方案，可以在应用实例组装的过程中，自动地对应用程序进行扩展，使其可以与所绑定的服务进行交互。

公开(公告)号：CN104598659A

公开(公告)日：2015-05-06

申请号：CN201310530202.2

申请日：2013-10-31

Applicant: 国际商业机器公司

Inventor： 王磊 ,  李恭琼 ,  施峥嵘 ,  戴红卫 ,  牛佳

IPC: G06F17/50

CPC classification number: G06F17/5031 ,  G06F17/5022 ,  G06F2217/78 ,  G06F2217/84

Abstract: 本发明公开了一种对数字电路进行仿真的方法和设备。所述方法包括：获取该数字电路的门级网表，所述门级网表指示该数字电路包含的至少一个门电路及其连接关系；修改该门级网表，以便在该门级网表中增加每个门电路的时序和功率模型，所述时序和功率模型用于计算输入该门电路的信号经过该门电路时产生的时间延迟以及该门电路在工作时消耗的功率；以及基于修改后的门级网表对该数字电路进行仿真。通过在网表中增加数字电路包含的每个门电路的时序和功率模型，可以在对该数字电路进行功能验证的同时进行该数字电路的功率估计，从而将所述功能验证和功率估计无缝地结合起来，提高了数字电路设计的效率。

公开(公告)号：CN105224301A

公开(公告)日：2016-01-06

申请号：CN201410302501.5

申请日：2014-06-27

Applicant: 国际商业机器公司

Inventor： 王磊 ,  A·洛 ,  徐海弘

IPC: G06F9/44

CPC classification number: G06F8/61 ,  G06F9/45504

Abstract: 本发明公开了一种应用实例组装的方法和装置。所述方法包括：获取应用程序所绑定的功能服务的列表；确定与所绑定的功能服务所对应的构建工具；和由所确定的构建工具进行所述应用程序的应用实例组装。采用根据本发明实施例的技术方案，可以在应用实例组装的过程中，自动地对应用程序进行扩展，使其可以与所绑定的服务进行交互。