Equivalence checking for retimed electronic circuit designs
    16.
    发明授权
    Equivalence checking for retimed electronic circuit designs 有权
    重新检查电子电路设计的等效性检查

    公开(公告)号:US08539406B2

    公开(公告)日:2013-09-17

    申请号:US13018229

    申请日:2011-01-31

    IPC分类号: G06F17/50 G06F9/45

    CPC分类号: G06F17/504

    摘要: Techniques and technology for formally verifying a first electronic design with a second electronic design that has been synthesized from the first electronic design, wherein the synthesis process included structural transformation operations, is provide herein. In various implementations, a first design and a second design are received. The second design having been synthesized from the first design, where no structural transformation operations were performed during synthesis of the second design. Additionally, a third design and a structural transformation guidance file are received. The third design having also been synthesized from the first design, but, where structural transformation operations were performed during synthesis of the third design. The structural transformation guidance file specifies what transformations where made during synthesis. Subsequently, a first formal verification process is implemented to verify the equivalence of the first design to the second design using conventional formal verification proofs. A modified second design is then generated, by applying changes to the second design to correspond to the structural transformations detailed in the structural transformation guidance file. After which, a second formal verification process is implemented to verify the equivalence of the third design and the modified second design.

    摘要翻译: 本发明提供了从第一电子设计合成的第二电子设计正式验证第一电子设计的技术和技术,其中合成过程包括结构变换操作。 在各种实现中,接收第一设计和第二设计。 第二设计是从第一设计合成的,其中在第二设计的合成期间没有进行结构变换操作。 另外,接收第三设计和结构变换指导文件。 第三种设计也是从第一种设计合成的,但在第三种设计的合成过程中进行了结构变换操作。 结构转换指导文件规定了合成过程中所做的转换。 随后,实施第一个正式验证过程,以使用常规的形式验证证明来验证第一设计与第二设计的等价性。 然后通过对第二设计进行改变以对应于结构变换指导文件中详细描述的结构变换来生成修改的第二设计。 之后,实施第二个正式的验证过程来验证第三个设计和修改后的第二个设计的等价性。

    Multipath voice switching method and apparatus
    19.
    发明授权
    Multipath voice switching method and apparatus 有权
    多路语音切换方法及装置

    公开(公告)号:US07133417B1

    公开(公告)日:2006-11-07

    申请号:US09405787

    申请日:1999-09-27

    IPC分类号: H04L12/56

    CPC分类号: H04L47/2425 H04L12/5692

    摘要: A switch apparatus and method according to the invention provides a carrier-class switching platform with a highly optimized data path and distributed signaling stacks to achieve high-density differential voice services. Incoming voice calls of any media type (TDM voice/fax, VoIP, VoATM, VoFR) are packetized and adapted for egress transmission of the same or another media type according to the service plan profile of the parties, and/or the instantaneous availability or cost of bandwidth resources. All calls are switched in an ATM switching core with QoS characteristics that can also be determined based on service plan profile. A call server handles call setup and management functions, as well as call signaling. Advantageously, the call server provides signaling relay functions to further support and enable the media conversion of voice calls. In an exemplary implementation of the invention, up to about 6720 concurrent VoIP calls can be supported in a single platform, with a latency of only about 17 msec ingress and 25 msec egress.

    摘要翻译: 根据本发明的交换装置和方法提供具有高度优化的数据路径和分布式信令栈的电信级交换平台,以实现高密度差分语音业务。 任何媒体类型(TDM语音/传真,VoIP,VoATM,VoFR)的进入语音通话被打包并适应于根据各方的服务方案简档的相同或另一媒体类型的出口传输,和/或即时可用性或 带宽资源成本。 所有呼叫都在具有QoS特性的ATM交换核心中切换,这也可以基于服务计划简档来确定。 呼叫服务器处理呼叫建立和管理功能以及呼叫信令。 有利地,呼叫服务器提供信令中继功能以进一步支持和启用语音呼叫的媒体转换。 在本发明的示例性实现中,在单个平台中可以支持多达约6720个并发VoIP呼叫,其延迟仅为约17毫秒入口和25毫秒出口。

    PACKING APPARATUS
    20.
    发明申请
    PACKING APPARATUS 审中-公开

    公开(公告)号:US20170190454A1

    公开(公告)日:2017-07-06

    申请号:US14987401

    申请日:2016-01-04

    IPC分类号: B65B63/02

    CPC分类号: B65B63/022 B65B1/24

    摘要: A packing apparatus for packing a substance in a container includes a filling unit configured to facilitate filling of the substance in the container and a compacting unit configured to compactly pack the filled substance in the container. The filling unit includes a moveable filling member moveable from at least a first filling position to a second filling position. The compacting unit includes a moveable compacting member moveable from at least a first compacting position to a second compacting position. At least one of the first compacting position and the second compacting position of the moveable compacting member is in relation to at least one of the first filling position and the second filling position of the moveable filling member. The moveable compacting member is moveable with a preconfigured compaction force that is a function of one or more properties of the container.