Equivalence Checking for Retimed Electronic Circuit Designs
    4.
    发明申请
    Equivalence Checking for Retimed Electronic Circuit Designs 有权
    重新定时电子电路设计的等效性检查

    公开(公告)号:US20120198398A1

    公开(公告)日:2012-08-02

    申请号:US13018229

    申请日:2011-01-31

    IPC分类号: G06F17/50

    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.

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

    GRAFT ENDOFRAME HAVING AXIALLY VARIABLE CHARACTERISTICS
    6.
    发明申请
    GRAFT ENDOFRAME HAVING AXIALLY VARIABLE CHARACTERISTICS 审中-公开
    具有轴向变化特征的GRAFT内窥镜

    公开(公告)号:US20100004728A1

    公开(公告)日:2010-01-07

    申请号:US12371087

    申请日:2009-02-13

    IPC分类号: A61F2/06 B44C1/22

    摘要: A prosthesis comprises a tubular body that is expandable from a contracted configuration to a radially expanded configuration. The tubular body has a total length and comprises a first section, a second section and a central section disposed therebetween. The total length of the tubular body in the expanded configuration is at least 95% of the total length of the tubular body in the contracted configuration. The three sections have a plurality of tubular rings, each with a plurality of struts having a length and coupled together to form a series of peaks and valleys. A connector couples adjacent tubular rings together. The length of the central section struts is different than the length of the other struts and the central section is coupled with both the first and second sections.

    摘要翻译: 假体包括可从收缩构型扩展到径向扩张构型的管状体。 管状体具有总长度,并且包括第一部分,第二部分和设置在它们之间的中心部分。 膨胀构造中的管状体的总长度为收缩构造中的管状体总长度的至少95%。 三个部分具有多个管状环,每个管状环具有多个具有长度并且联接在一起以形成一系列峰和谷的支柱。 A连接器将相邻的管状环连接在一起。 中心部分支柱的长度不同于其他支柱的长度,并且中心部分与第一和第二部分联接。