公开(公告)号：US20110035722A1

公开(公告)日：2011-02-10

申请号：US12906967

申请日：2010-10-18

申请人： Shridhar Mukund ,  Anjan Mitra ,  Jed Krohnfeldt ,  Clement Leung

发明人： Shridhar Mukund ,  Anjan Mitra ,  Jed Krohnfeldt ,  Clement Leung

IPC分类号： G06F9/44

CPC分类号： G06F17/505 ,  G06F15/7821 ,  G06F15/7867 ,  G06F17/504 ,  G06F17/5045 ,  G06F17/5068 ,  Y02D10/12 ,  Y02D10/13

摘要： A method for specifying stateful, transaction-oriented systems is provided. The method initiates with designating a plurality of primitive FlowModules. The method includes defining at least one FlowGate within each of the plurality of FlowModules, wherein each FlowGate includes a non-interruptible sequence of procedure code, a single point of entry and is invoked by a named concurrent call. An Arc is designated from a calling FlowGate to a called FlowGate and a Signal is generated for each named invocation of the called FlowGate. A Channel is defined for carrying the Signal. Methods for synthesizing a semiconductor device and routing signals in the semiconductor device are provided.

摘要翻译： 提供了一种用于指定有状态的，面向事务的系统的方法。 该方法通过指定多个原始FlowModules来启动。 该方法包括在多个FlowModules中的每一个中定义至少一个FlowGate，其中每个FlowGate包括不可中断的过程代码序列，单个入口点，并由命名的并发调用进行调用。 从调用FlowGate指定一个Arc到被称为FlowGate的Arc，并且为被调用的FlowGate的每个命名调用生成一个Signal。 定义一个通道用于携带信号。 提供了用于在半导体器件中合成半导体器件和路由信号的方法。

公开(公告)号：US20070150854A1

公开(公告)日：2007-06-28

申请号：US11426882

申请日：2006-06-27

申请人： Shridhar Mukund ,  Anjan Mitra ,  Jed Krohnfeldt ,  Clement Leung

发明人： Shridhar Mukund ,  Anjan Mitra ,  Jed Krohnfeldt ,  Clement Leung

IPC分类号： G06F9/44

CPC分类号： G06F17/505 ,  G06F15/7821 ,  G06F15/7867 ,  G06F17/504 ,  G06F17/5045 ,  G06F17/5068 ,  Y02D10/12 ,  Y02D10/13

摘要： A method for specifying stateful, transaction-oriented systems is provided. The method initiates with designating a plurality of primitive FlowModules. The method includes defining at least one FlowGate within each of the plurality of FlowModules, wherein each FlowGate includes a non-interruptible sequence of procedure code, a single point of entry and is invoked by a named concurrent call. An Arc is designated from a calling FlowGate to a called FlowGate and a Signal is generated for each named invocation of the called FlowGate. A Channel is defined for carrying the Signal. Methods for synthesizing a semiconductor device and routing signals in the semiconductor device are provided.

摘要翻译： 提供了一种用于指定有状态的，面向事务的系统的方法。 该方法通过指定多个原始FlowModules来启动。 该方法包括在多个FlowModules的每一个内定义至少一个FlowGate，其中每个FlowGate包括不可中断的过程代码序列，单个入口点，并由命名的并发调用进行调用。 从调用FlowGate指定一个Arc到被称为FlowGate的Arc，并且为被调用的FlowGate的每个命名调用生成一个Signal。 定义一个通道用于携带信号。 提供了用于在半导体器件中合成半导体器件和路由信号的方法。

公开(公告)号：US07849441B2

公开(公告)日：2010-12-07

申请号：US11426882

申请日：2006-06-27

申请人： Shridhar Mukund ,  Anjan Mitra ,  Jed Krohnfeldt ,  Clement Leung

发明人： Shridhar Mukund ,  Anjan Mitra ,  Jed Krohnfeldt ,  Clement Leung

IPC分类号： G06F9/44

CPC分类号： G06F17/505 ,  G06F15/7821 ,  G06F15/7867 ,  G06F17/504 ,  G06F17/5045 ,  G06F17/5068 ,  Y02D10/12 ,  Y02D10/13

摘要： A method for specifying stateful, transaction-oriented systems is provided. The method initiates with designating a plurality of primitive FlowModules. The method includes defining at least one FlowGate within each of the plurality of FlowModules, wherein each FlowGate includes a non-interruptible sequence of procedure code, a single point of entry and is invoked by a named concurrent call. An Arc is designated from a calling FlowGate to a called FlowGate and a Signal is generated for each named invocation of the called FlowGate. A Channel is defined for carrying the Signal. Methods for synthesizing a semiconductor device and routing signals in the semiconductor device are provided.

摘要翻译： 提供了一种用于指定有状态的，面向事务的系统的方法。 该方法通过指定多个原始FlowModules来启动。 该方法包括在多个FlowModules中的每一个中定义至少一个FlowGate，其中每个FlowGate包括不可中断的过程代码序列，单个入口点，并由命名的并发调用进行调用。 从调用FlowGate指定一个Arc到被称为FlowGate的Arc，并且为被调用的FlowGate的每个命名调用生成一个Signal。 定义一个通道用于携带信号。 提供了用于在半导体器件中合成半导体器件和路由信号的方法。