Assertion handling for timing model extraction
    1.
    发明授权
    Assertion handling for timing model extraction 有权
    定时模型提取的断言处理

    公开(公告)号:US07356451B2

    公开(公告)日:2008-04-08

    申请号:US10313247

    申请日:2002-12-06

    IPC分类号: G06F17/50 G06F9/45

    CPC分类号: G06F17/5031 G06F2217/66

    摘要: Disclosed is a method and system for handling timing constraints or assertions for timing model extraction. One disclosed approach for assertion handling is by automatically preserving the integrity of original assertions by retaining existing pins or creating new internal pins. The assertions are viewed as part of the model, and a set of new assertions are generated automatically as part of the timing model extraction process and can be stored as part of the model. Assertions can be associated with input ports, output ports, internal pins, or hierarchical pins and can even span multiple blocks. This disclosed approach allows for application of assertions associated with timing models when the model is instantiated and detachment of assertions when the model is de-instantiated, and thus removes one of main problems associated with timing models.

    摘要翻译: 公开了一种用于处理时序模型提取的时序约束或断言的方法和系统。 用于断言处理的一种公开方法是通过保留现有引脚或创建新的内部引脚来自动保持原始断言的完整性。 断言被视为模型的一部分,并且一组新的断言是自动生成的,作为时间模型提取过程的一部分,可以作为模型的一部分进行存储。 断言可以与输入端口,输出端口,内部引脚或分层引脚相关联,甚至可以跨多个块。 当模型被实例化时,该公开的方法允许应用与定时模型相关联的断言,并且在模型被去实例化时允许断言断开,并因此去除与定时模型相关联的主要问题之一。

    Timing model extraction by timing graph reduction
    2.
    发明授权
    Timing model extraction by timing graph reduction 有权
    通过定时图缩减的时序模型提取

    公开(公告)号:US06928630B2

    公开(公告)日:2005-08-09

    申请号:US10313774

    申请日:2002-12-06

    IPC分类号: G06F17/50 H01L21/82

    CPC分类号: G06F17/5031 G06F2217/66

    摘要: Disclosed is a method and system for extracting a timing model. One disclosed approach to extract a timing model is by reducing the timing graph. Original timing behavior is preserved in the timing model including arrival times, slew times, timing violations and even latch time borrowing that is independent of clock waveforms. Also, original timing constraints can be captured in the model and be applied automatically when the model is used. Anchor points are automatically identified and retained to obtain a model that is smaller than the original netlist.

    摘要翻译: 公开了一种用于提取定时模型的方法和系统。 一种公开的提取定时模型的方法是通过减少时序图。 原始定时行为保留在定时模型中,包括到达时间,转换时间,定时违反,甚至与时钟波形无关的锁存时间借用。 此外,原始时序约束可以在模型中捕获,并在使用模型时自动应用。 自动识别和保留锚点以获得小于原始网表的模型。

    Fan with adjustable mount
    3.
    发明授权
    Fan with adjustable mount 失效
    风扇带可调式安装

    公开(公告)号:US06682308B1

    公开(公告)日:2004-01-27

    申请号:US10210796

    申请日:2002-08-01

    IPC分类号: F04D2964

    CPC分类号: F04D29/403

    摘要: An adjustable fan assembly has a fan mount with an arcuate portion and a support member. The support member is moveable along the length of the arcuate portion of the fan mount to position the air flow from a fan mounted on the fan mount. The support member may also retract for compact storage.

    摘要翻译: 可调风扇组件具有带弧形部分和支撑构件的风扇安装件。 支撑构件可沿着风扇安装座的弓形部分的长度移动,以将来自安装在风扇安装座上的风扇的空气流定位。 支撑构件也可以缩回以用于紧凑的存储。

    Mechanism for correcting the printing position of an electronic
typewriter
    4.
    发明授权
    Mechanism for correcting the printing position of an electronic typewriter 失效
    纠正电子打字机打印位置的机构

    公开(公告)号:US5160207A

    公开(公告)日:1992-11-03

    申请号:US606757

    申请日:1990-10-31

    申请人: Haeng-Cho Woo

    发明人: Haeng-Cho Woo

    IPC分类号: B41J35/10 B41J35/14 B41J35/23

    CPC分类号: B41J35/10 B41J35/14 B41J35/23

    摘要: There is provided a mechanism for correcting the printing position of an electronic typewriter comprising a working pin attached to a ribbon bracket, the working pin cooperating with a ribbon cam so as to move the ribbon bracket to a printing or correction position, a coil spring for resiliently supporting the working pin, a printing track groove and correction track groove formed in one side of the ribbon cam and connected to each other, a correction angle formed between the starting points of the printing and correction grooves, and two slopes respectively formed in the starting points of the grooves. The lower ends of a push pawl and pawl locker are connected to carriage body respectively by means of a push pawl coil spring and pawl locker coil spring. A push cam is rotated by the turning force of a motor transmitted via an idle gear and following gear, and the pawl locker contacts the push pawl locker of the push pawl.

    摘要翻译: 提供了一种用于校正电子打字机的打印位置的机构,其包括附接到色带支架的工作销,所述工作销与色带凸轮配合以便将色带支架移动到打印或校正位置;螺旋弹簧, 弹性地支撑工作销,形成在带状凸轮的一侧并连接的印刷轨道槽和校正轨道槽,形成在印刷和校正槽的起始点之间的校正角以及分别形成在印刷和修正槽中的两个斜面 凹槽的起点 推掣爪和掣子储物柜的下端分别通过推掣螺旋弹簧和棘爪锁紧螺旋弹簧连接到滑架主体上。 推动凸轮通过经由空转齿轮传递的马达的转动力而旋转,并且跟随齿轮,并且棘爪锁定件接触推动棘爪的推动棘爪锁定器。

    Pre-mixed catalyzed vinyl acetate polymer adhesive composition
    5.
    发明授权
    Pre-mixed catalyzed vinyl acetate polymer adhesive composition 失效
    预混合催化乙酸乙烯酯聚合物胶粘剂组合物

    公开(公告)号:US4085074A

    公开(公告)日:1978-04-18

    申请号:US671269

    申请日:1976-03-29

    申请人: Ming Cho Woo

    发明人: Ming Cho Woo

    摘要: A pre-mixed adhesive composition comprised of a vinyl acetate polymer emulsion including a cross-linking catalyst and a cross-linking inhibitor providing a good cured water resistant Type II bond and extended shelf life so that the adhesive composition will not gel over an extended period of time and will therefore be usable for direct gluing application to semi-porous and porous substrates.

    摘要翻译: 预混合粘合剂组合物由包含交联催化剂的乙酸乙烯酯聚合物乳液和交联抑制剂组成,提供良好的固化防水II型粘合剂并延长保质期,使得粘合剂组合物不会在延长的时间内凝胶化 的时间,因此可用于直接粘合到半孔和多孔基材上。