公开(公告)号：US20080098366A1

公开(公告)日：2008-04-24

申请号：US11539663

申请日：2006-10-09

申请人： David Fong ,  Stanley John ,  Zheng (Joy) Zhang ,  Qi (Christine) Chen

发明人： David Fong ,  Stanley John ,  Zheng (Joy) Zhang ,  Qi (Christine) Chen

IPC分类号： G06F9/44 ,  G06F9/45

CPC分类号： G06F17/5022 ,  G06F17/505

摘要： Included is a method for testing an assertion written for a logic program that can be simulated in a simulation program. Embodiments of the method include receiving the assertion independent from the logic program and independent from the simulation program, wherein the assertion includes at least one variable from the simulation program and determining the at least one variable in the assertion. Embodiments of the method also include testing the assertion independent from the logic program and the simulation program, wherein testing the assertion includes testing the assertion with at least one value for the at least one variable and determining at least one violation of the assertion.

摘要翻译： 包括一种用于测试为在仿真程序中可以模拟的逻辑程序写入的断言的方法。 该方法的实施例包括独立于逻辑程序接收断言并且独立于模拟程序，其中断言包括来自模拟程序的至少一个变量并且确定断言中的至少一个变量。 该方法的实施例还包括独立于逻辑程序和仿真程序测试断言，其中测试该断言包括用至少一个变量的至少一个值测试该断言，并确定至少一次违反该断言。

公开(公告)号：US20070294647A1

公开(公告)日：2007-12-20

申请号：US11445013

申请日：2006-06-01

申请人： David Fong ,  Zheng (Joy) Zhang ,  Qi (Christine) Chen

发明人： David Fong ,  Zheng (Joy) Zhang ,  Qi (Christine) Chen

IPC分类号： G06F17/50 ,  G06F9/45

CPC分类号： G06F17/5045

摘要： Systems and methods are disclosed for transferring assertions in a software programming language source file to an HDL source file. In one such method, a first source file contains source code in a software programming language and a second source file contains HDL source code translated from the source code in the first source file. The second source file excludes assertions translated from the source code in the first source file. This method comprises the steps of: reading a software assertion from from the first source file; locating a second block within the second source file, where the second block corresponds to a first block that contains the software assertion; mapping the software assertion to a hardware assertion expressed in the HDL; determining a location within the second block for insertion of the hardware assertion; and inserting the hardware assertion at the determined location within the second source file.

摘要翻译： 公开了用于将软件编程语言源文件中的断言传送到HDL源文件的系统和方法。 在一种这样的方法中，第一源文件包含软件编程语言的源代码，第二源文件包含从第一源文件中的源代码翻译的HDL源代码。 第二个源文件排除了从第一个源文件中的源代码翻译的断言。 该方法包括以下步骤：从第一源文件读取软件断言; 将第二块定位在第二源文件中，其中第二块对应于包含软件断言的第一块; 将软件断言映射到HDL中表示的硬件断言; 确定所述第二块内的位置以插入所述硬件断言; 以及将所述硬件断言插入所述第二源文件中的所确定的位置。

公开(公告)号：US20060190882A1

公开(公告)日：2006-08-24

申请号：US11050212

申请日：2005-02-03

申请人： David Fong ,  Zheng Zhang ,  Qi Chen

发明人： David Fong ,  Zheng Zhang ,  Qi Chen

IPC分类号： G06F17/50

CPC分类号： G06F17/5031

摘要： Systems and methods for generating a Hardware Design Language (HDL) assertion from a waveform diagram are disclosed. One method comprises: identifying a timing relationship between first and second signals in the diagram; and generating an HDL assertion corresponding to the relationship. The relationship comprises a portion of the first signal, a portion of the second signal, and an interval between the portions. Another method comprises: identifying a combinatorial relationship between two input signals and an output signal in the diagram; and generating an HDL assertion corresponding to the relationship. One system comprises logic for performing the steps of: receiving a plurality of signal descriptions, each describing one of a plurality of signals; receiving a description of a timing or combinatorial relationship between at least two of the plurality of signals; generating a waveform diagram including a representation of the relationship; and generating an HDL assertion corresponding to the relationship.

摘要翻译： 公开了从波形图生成硬件设计语言（HDL）断言的系统和方法。 一种方法包括：识别图中第一和第二信号之间的定时关系; 以及生成对应于该关系的HDL断言。 该关系包括第一信号的一部分，第二信号的一部分以及部分之间的间隔。 另一种方法包括：识别图中两个输入信号与输出信号之间的组合关系; 以及生成对应于该关系的HDL断言。 一个系统包括用于执行以下步骤的逻辑：接收多个信号描述，每个信号描述描述多个信号中的一个; 接收对所述多个信号中的至少两个信号之间的定时或组合关系的描述; 生成包括所述关系的表示的波形图; 以及生成对应于该关系的HDL断言。

公开(公告)号：US20060083358A1

公开(公告)日：2006-04-20

申请号：US11087007

申请日：2005-03-22

申请人： David Fong ,  David Howell

发明人： David Fong ,  David Howell

IPC分类号： H04M11/00 ,  H04M1/64

CPC分类号： H04M3/5307 ,  H04M3/385 ,  H04M3/42153 ,  H04M3/42204 ,  H04M3/5322 ,  H04M3/53366 ,  H04M3/537 ,  H04M2201/60 ,  H04M2203/205 ,  H04M2203/2072 ,  H04M2203/253 ,  H04M2203/358 ,  H04M2203/4509 ,  H04M2203/4536 ,  H04M2203/6009

摘要： A system and/or methodology that unifies a telephonic communication component and/or system with a data (e.g., messaging) server component and/or system. The system can facilitate telephonically accessing rich information in the server (e.g., messaging server). This rich information can include email content, calendar content, contacts information, or the like. Moreover, with access to an application programming interface, the invention can add functionality to initiate email communications as well as to accept or cancel meetings. Furthermore, the invention can synchronize messages of disparate formats. By way of example a user can set an “Out of Office” (OOF) status on both an email systems and telephone voicemail system from one location in one action. In another aspect, it will be appreciated that any message or data component can be analyzed, transformed, matched and/or communicated from one system to another (e.g., server to telephone) in accordance with the subject invention.

公开(公告)号：US20050015746A1

公开(公告)日：2005-01-20

申请号：US10618865

申请日：2003-07-14

申请人： Dharma Shukla ,  Mayank Mehta ,  Yao Lu ,  Aditya Bhandarkar ,  Eddie Fusaro ,  Mark Wain ,  David Fong ,  Kumarswamy Valegerepura ,  Akash Sagar ,  Muralidhara Chiluvuri ,  Ravi Vedula

发明人： Dharma Shukla ,  Mayank Mehta ,  Yao Lu ,  Aditya Bhandarkar ,  Eddie Fusaro ,  Mark Wain ,  David Fong ,  Kumarswamy Valegerepura ,  Akash Sagar ,  Muralidhara Chiluvuri ,  Ravi Vedula

IPC分类号： G06F9/44

CPC分类号： G06F8/34

摘要： The present invention supports the design of a process using a drawing surface that specifies the process with underlying programmatic constructs. In response to a user's command, a construct corresponding to a shape is selected from a palette and inserted onto a design region that shows the specified process. The command is verified to be consistent with semantics of an associated process type. If so, a visual image of the specified process is updated. If not, an indicator is generated in a proximity of a relevant portion of the visual image in order to help the user resolve the inconsistency. The user is able to correct errors before generating computer-executable instructions from a high-level code emission. Computer-executable instructions are also generated from high-level code emission. A process engine is cognizant of the associated high-level lines of code and an infrastructure knowledge base while executing the computer-executable instructions.

摘要翻译： 本发明支持使用指定具有基础程序构造的过程的绘图面的过程的设计。 响应于用户的命令，从调色板中选择与形状对应的构造，并将其插入到显示指定处理的设计区域。 该命令被验证为与相关进程类型的语义一致。 如果是，则更新指定进程的视觉图像。 如果不是，则在视觉图像的相关部分附近生成指示符，以帮助用户解决不一致。 用户能够在从高级代码发射生成计算机可执行指令之前纠正错误。 计算机可执行指令也是从高级代码发射产生的。 流程引擎在执行计算机可执行指令的同时认识到相关联的高级代码行和基础知识库。

公开(公告)号：US20050015745A1

公开(公告)日：2005-01-20

申请号：US10619128

申请日：2003-07-14

申请人： Mark Wain ,  Dharma Shukla ,  Mayank Mehta ,  David Fong ,  Aditya Bhandarkar

发明人： Mark Wain ,  Dharma Shukla ,  Mayank Mehta ,  David Fong ,  Aditya Bhandarkar

IPC分类号： G06F9/44 ,  G06F9/46

CPC分类号： G06F8/34

摘要： The present invention enables a user to build user-interfaces and applications based on a policy that contains metadata. The user can build an application through the user-interface, in which the user-interface and the generated computer-executable instructions are consistent with the policy. A user-interface has a toolbox that indicates the discovered components and a design surface that displays applicable stages. The policy determines the stages, where each stage provides a grouping of components having related tasks. The user selects components from the toolbox so that the selected components are associated with the selected stages on the design surface. After the user has completed building an application, a representation of the application may be compiled in order to generate a set of computer-executable instructions. Moreover, the compiler is coupled to the policy so that the set of computer-executable instructions is consistent with the policy.

摘要翻译： 本发明使得用户能够基于包含元数据的策略构建用户界面和应用。 用户可以通过用户界面构建应用程序，用户界面和生成的计算机可执行指令与策略一致。 用户界面具有指示发现的组件的工具箱和显示适用阶段的设计曲面。 该策略确定阶段，每个阶段提供具有相关任务的组件分组。 用户从工具箱中选择组件，使所选择的组件与设计表面上的所选阶段相关联。 在用户完成构建应用程序之后，可以编译应用程序的表示，以便生成一组计算机可执行指令。 而且，编译器被耦合到策略，使得该组计算机可执行指令与该策略一致。

公开(公告)号：US20050015639A1

公开(公告)日：2005-01-20

申请号：US10618919

申请日：2003-07-14

申请人： Aaron Cornelius ,  David Fong ,  Jeremy Mercer ,  Giovanni Stallo

发明人： Aaron Cornelius ,  David Fong ,  Jeremy Mercer ,  Giovanni Stallo

IPC分类号： G06F3/00 ,  G06F3/048 ,  G06F9/44 ,  G06F11/00 ,  G06F11/32 ,  G06F15/173

CPC分类号： G06F3/0481 ,  G06F9/453 ,  G06F11/327

摘要： A visual design surface that identifies configuration errors to a user in an inconspicuous manner is disclosed. Shapes representing software artifacts are arranged on the design surface. Each shape may have one or more configuration parameter. The parameters associated with each shape are analyzed to locate configuration errors. When an error is identified, an error icon is placed next to the shape. The user may select the icon and be presented with one or more proposed solutions.

摘要翻译： 公开了以不显眼的方式识别用户的配置错误的视觉设计表面。 表示软件工件的形状被布置在设计表面上。 每个形状可以具有一个或多个配置参数。 分析与每个形状相关的参数以定位配置错误。 当识别出错误时，会在形状旁边放置一个错误图标。 用户可以选择图标并呈现一个或多个提出的解决方案。