公开(公告)号：US08286129B2

公开(公告)日：2012-10-09

申请号：US12252536

申请日：2008-10-16

申请人： Ramamurthy Mani ,  Dong Jia ,  Haihua Feng ,  Alongkrit Chutinan ,  Qu Zhang ,  Vijay Raghavan

发明人： Ramamurthy Mani ,  Dong Jia ,  Haihua Feng ,  Alongkrit Chutinan ,  Qu Zhang ,  Vijay Raghavan

IPC分类号： G06F9/44

CPC分类号： G06F8/34

摘要： A programming element is provided that defines model attributes in response to mode change events in a graphical modeling environment. Such definition may involve any signal attribute such as dimensions, data types, complexity and sample times. Events that trigger definition of model attributes may be explicit signaling events generated by other elements, elements within the block diagram programming environment, and elements external from the environment. Implicit events may also trigger definition of model attributes, such as a change of attribute in an input signal.

摘要翻译： 提供了一种编程元素，其定义了在图形建模环境中响应于模式改变事件的模型属性。 这样的定义可以涉及任何信号属性，例如尺寸，数据类型，复杂度和采样时间。 触发模型属性定义的事件可能是由其他元素，框图编程环境中的元素和环境外部元素生成的显式信令事件。 隐式事件还可以触发模型属性的定义，例如输入信号中属性的变化。

公开(公告)号：US20090132993A1

公开(公告)日：2009-05-21

申请号：US12252536

申请日：2008-10-16

申请人： Ramamurthy Mani ,  Dong Jia ,  Haihua Feng ,  Alongkrit Chutinan ,  Qu Zhang ,  Vijay Raghavan

发明人： Ramamurthy Mani ,  Dong Jia ,  Haihua Feng ,  Alongkrit Chutinan ,  Qu Zhang ,  Vijay Raghavan

IPC分类号： G06F9/44

CPC分类号： G06F8/34

摘要： A programming element is provided that defines model attributes in response to mode change events in a graphical modeling environment. Such definition may involve any signal attribute such as dimensions, data types, complexity and sample times. Events that trigger definition of model attributes may be explicit signaling events generated by other elements, elements within the block diagram programming environment, and elements external from the environment. Implicit events may also trigger definition of model attributes, such as a change of attribute in an input signal.

摘要翻译： 提供了一种编程元素，其定义了在图形建模环境中响应于模式改变事件的模型属性。 这样的定义可以涉及任何信号属性，例如尺寸，数据类型，复杂度和采样时间。 触发模型属性定义的事件可能是由其他元素，框图编程环境中的元素和环境外部元素生成的显式信令事件。 隐式事件还可以触发模型属性的定义，例如输入信号中属性的变化。

公开(公告)号：US20110296435A1

公开(公告)日：2011-12-01

申请号：US13117531

申请日：2011-05-27

申请人： Hidayet Tunc Simsek ,  Vijay Raghavan ,  Ramamurthy Mani

发明人： Hidayet Tunc Simsek ,  Vijay Raghavan ,  Ramamurthy Mani

IPC分类号： G06F3/00 ,  G06F9/44

CPC分类号： G06F9/546 ,  G06F8/34

摘要： A system and method may generate executable block diagrams in which at least some of the blocks run in accordance with message-based execution semantics. A message may include an input data payload that does not change over time, and the message may persist for only a determined time interval during execution of block diagram. A message-based execution engine may control execution of message-based blocks in which a source block may generate a message at a particular point in time, the message may be sent to one or more destination blocks triggering execution of those blocks, and the message may be destroyed on or after a determined time interval. Other execution domains, such as a time-based or state-based execution domain, may be provided, and the system may implement a hybrid execution model. A verification engine may provide one or more tools for evaluating and verifying operation of message-based blocks. The verification engine may support one or more verification blocks that may be added to the block diagram and associated with the diagram's message-based blocks. The verification blocks may capture and present messages exchanged among the message-based blocks. The verification blocks may also specify an expected interaction of messages, and determine whether the actual messages are equivalent to the expected interaction. If not, the verification block may perform one or more predefined actions, such as suspending further execution of the block diagram.

摘要翻译： 系统和方法可以生成可执行框图，其中至少一些块根据基于消息的执行语义运行。 消息可以包括不随时间改变的输入数据有效载荷，并且消息可以在执行框图期间仅持续确定的时间间隔。 基于消息的执行引擎可以控制基于消息的块的执行，其中源块可以在特定时间点生成消息，该消息可以被发送到触发这些块的执行的一个或多个目的地块，并且消息 可能在确定的时间间隔之后或之后销毁。 可以提供其他执行域，例如基于时间或状态的执行域，并且系统可以实现混合执行模型。 验证引擎可以提供用于评估和验证基于消息的块的操作的一个或多个工具。 验证引擎可以支持一个或多个可以被添加到框图并与图的基于消息的块相关联的验证块。 验证块可以捕获并呈现在基于消息的块之间交换的消息。 验证块还可以指定消息的预期交互，并确定实际消息是否等同于预期的交互。 如果不是，验证块可以执行一个或多个预定义的动作，诸如挂起框图的进一步执行。

公开(公告)号：US08881097B2

公开(公告)日：2014-11-04

申请号：US13493386

申请日：2012-06-11

申请人： Vijay Raghavan ,  Beth Cockerham

发明人： Vijay Raghavan ,  Beth Cockerham

IPC分类号： G06F9/44

CPC分类号： G06F8/34 ,  G06F9/4488

摘要： A method of providing multi-instantiable state templates to a statechart environment is discussed. The method includes the step of providing a graphical definition of an independent state machine object belonging to a statechart. The method further includes the step of instantiating a first instance and a second instance of the independent state machine object in the statechart. The method additionally includes the steps of starting execution of the first instance of the independent state machine object and then stopping execution of the first instance of the state machine object. Additionally, the method includes the step of starting the execution of the second instance of the independent state machine object in the state diagram.

摘要翻译： 讨论了向状态图环境提供多实例化状态模板的方法。 该方法包括提供属于状态图的独立状态机对象的图形定义的步骤。 该方法还包括在状态图中实例化独立状态机对象的第一实例和第二实例的步骤。 该方法还包括开始执行独立状态机对象的第一实例，然后停止执行状态机对象的第一实例的步骤。 此外，该方法包括在状态图中开始执行独立状态机对象的第二实例的步骤。

公开(公告)号：US08773913B1

公开(公告)日：2014-07-08

申请号：US13340362

申请日：2011-12-29

申请人： Cristinel Zonte ,  Vijay Raghavan

发明人： Cristinel Zonte ,  Vijay Raghavan

IPC分类号： G11C16/06

CPC分类号： G11C16/06 ,  G11C7/14 ,  G11C11/5642 ,  G11C16/28

摘要： Memory circuits and systems are provided. One memory circuit includes an active memory device, an inactive memory device, and a sense amplifier coupled between the active memory device and the inactive memory device. A reference current is coupled between the inactive memory device and the sense amplifier. The active memory device and the inactive memory device are the same type of memory device and the inactive memory device is a reference device with respect to the active memory device's current. A memory system includes a plurality of the above memory circuit coupled to one another. Methods for sensing current in a memory circuit are also provided. One method includes supplying power to a first memory device and comparing the amount of current in the first memory device and a reference current coupled to a second memory device that is the same type of memory device as the first memory device.

摘要翻译： 提供存储器电路和系统。 一个存储器电路包括有源存储器件，非活动存储器件和耦合在有源存储器件与非活性存储器件之间的读出放大器。 参考电流耦合在非活动存储器件和读出放大器之间。 有源存储器件和非活动存储器件是相同类型的存储器件，而非活动存储器件是相对于有效存储器件电流的参考器件。 存储器系统包括彼此耦合的多个上述存储器电路。 还提供了用于感测存储器电路中的电流的方法。 一种方法包括向第一存储设备供电并比较第一存储设备中的电流量和耦合到作为与第一存储器设备相同类型的存储设备的第二存储设备的参考电流。

公开(公告)号：US08726233B1

公开(公告)日：2014-05-13

申请号：US13078713

申请日：2011-04-01

申请人： Vijay Raghavan

发明人： Vijay Raghavan

IPC分类号： G06F9/44

CPC分类号： G06F17/5009 ,  G06F8/34 ,  G06F2217/74

摘要： A method is provided for interacting with the graphical model is provided. At least one of the plurality of views of the graphical model is parsed to create an intermediate representation. An interactive overlay is displayed using the display device. User interacts with the destination object based on an input instruction via the interactive overlay and modifies the destination object using the input instruction, the modifying allows the destination object to perform a modified operation when the model is executed. The graphical model includes execution semantics and a destination object, where the destination object is influenced by the execution semantics. The graphical model is rendered on a display device based on a selected view.

摘要翻译： 提供了一种与图形模型进行交互的方法。 解析图形模型的多个视图中的至少一个以创建中间表示。 使用显示设备显示交互式叠加。 用户通过交互式叠加层基于输入指令与目标对象进行交互，并使用输入指令修改目标对象，修改允许目标对象在执行模型时执行修改操作。 图形模型包括执行语义和目标对象，其中目标对象受到执行语义的影响。 图形模型基于所选视图在显示设备上呈现。

公开(公告)号：US08464188B1

公开(公告)日：2013-06-11

申请号：US11210538

申请日：2005-08-23

申请人： Vijay Raghavan ,  Ebrahim Mehran Mestchian

发明人： Vijay Raghavan ,  Ebrahim Mehran Mestchian

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

CPC分类号： G06F17/5009 ,  G06F2217/04

摘要： Systems and methods are provided for a scheme and mechanism for performing static analysis of a sample time aware state diagram model to compute and propagate multiple samples rates associated with the state diagram model. A graphical intermediate representation of the state diagram model, such as a directed graph or control flow graph, is used to determine how the multiple sample rates are propagated via elements of the state diagram model. The graph provides a static representation of the control of flow, including alternative and/or conditional flow paths, of the state diagram model. The present invention determines the propagation of sample rates via analysis and traversal of the intermediate representation. By using the techniques of the present invention, a state diagram model may provide multiple sample rate outputs, such as by function calls and output signals to a graphical model, such as a model representing a dynamic system.

公开(公告)号：US20070261020A1

公开(公告)日：2007-11-08

申请号：US11827451

申请日：2007-07-11

申请人： Jay Torgerson ,  Ebrahim Mestchian ,  Vijay Raghavan

发明人： Jay Torgerson ,  Ebrahim Mestchian ,  Vijay Raghavan

IPC分类号： G06F9/44

CPC分类号： G06F8/34

摘要： An electronic device with a graphical language environment that includes a method which examines a graphical model to identify textual items having intrinsic executable computational meaning within the graphical model is discussed. The method identifies at least one textual item with intrinsic executable computational meaning. The method further provides an indicator for the at least one identified textual item with intrinsic executable computational meaning in a display of the graphical model. The indicator may be based upon a characteristic of the identified textual item.

摘要翻译： 具有图形语言环境的电子设备包括检查图形模型以识别在图形模型内具有固有的可执行计算意义的文本项目的方法。 该方法识别至少一个具有内在可执行计算意义的文本项目。 该方法进一步提供了在图形模型的显示中具有内在可执行计算意义的至少一个识别的文本项的指示符。 指示符可以基于所识别的文本项的特征。

公开(公告)号：US20070074184A1

公开(公告)日：2007-03-29

申请号：US11216246

申请日：2005-08-30

申请人： Vijay Raghavan ,  Beth Cockerham

发明人： Vijay Raghavan ,  Beth Cockerham

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

CPC分类号： G06F8/34 ,  G06F9/4488

摘要： A method of providing multi-instantiable state templates to a statechart environment is discussed. The method includes the step of providing a graphical definition of an independent state machine object belonging to a statechart. The method further includes the step of instantiating a first instance and a second instance of the independent state machine object in the statechart. The method additionally includes the steps of starting execution of the first instance of the independent state machine object and then stopping execution of the first instance of the state machine object. Additionally, the method includes the step of starting the execution of the second instance of the independent state machine object in the state diagram.

摘要翻译： 讨论了向状态图环境提供多实例化状态模板的方法。 该方法包括提供属于状态图的独立状态机对象的图形定义的步骤。 该方法还包括在状态图中实例化独立状态机对象的第一实例和第二实例的步骤。 该方法还包括开始执行独立状态机对象的第一实例，然后停止执行状态机对象的第一实例的步骤。 此外，该方法包括在状态图中开始执行独立状态机对象的第二实例的步骤。

公开(公告)号：US09864588B2

公开(公告)日：2018-01-09

申请号：US12964371

申请日：2010-12-09

申请人： Srinath Avadhanula ,  Vijay Raghavan

发明人： Srinath Avadhanula ,  Vijay Raghavan

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

CPC分类号： G06F8/36 ,  G06F8/10 ,  G06F8/34

摘要： Exemplary embodiments provide techniques for replacing a portion of a state diagram with a generalized, canonical version of the portion. The canonicalized version mimics the structure or semantics (or both) of the portion of the state diagram, although the canonicalized version need not be a perfect match for the structure or semantics of the portion. Exemplary embodiments further provide techniques for identifying a portion of a state diagram for reuse, and generating a canonicalized version of the portion.