METHOD AND SYSTEM FOR EQUIVALENCE CHECKING
    1.
    发明申请
    METHOD AND SYSTEM FOR EQUIVALENCE CHECKING 有权
    等效检查方法与系统

    公开(公告)号:US20110288825A1

    公开(公告)日:2011-11-24

    申请号:US12785986

    申请日:2010-05-24

    CPC classification number: G06F17/505 G06F2217/78

    Abstract: As part of the design process it is required to design circuits in order to reduce their power consumption. This is typically done by enabling or disabling flip-flops (FFs), however, such change in the circuit requires certain verification. As sequential clock gating changes the state function it is necessary to perform a sequential equivalence checking (SEC) verification. Applying a full SEC may be runtime consuming and is not scalable for large designs. Methods to reduce the problem of verifying sequential clock gating by reducing the sequential problem into much smaller problem that can be easily solved is therefore shown.

    Abstract translation: 作为设计过程的一部分,需要设计电路以降低功耗。 这通常是通过启用或禁用触发器(FF)完成的,但是电路中的这种改变需要进行某些验证。 随着顺序时钟选通改变状态功能,有必要执行顺序等价检查(SEC)验证。 应用完整的SEC可能是运行时消耗的,并且对于大型设计不可扩展。 因此,示出了通过将顺序问题减少到可以容易地解决的更小的问题来减少验证顺序时钟门控的问题的方法。

    SYSTEMS AND METHODS FOR DYNAMIC CONTENT HANDLING OF INTER-LAYER MESSAGES IN A POD BASED CLOUD NATIVE ENVIRONMENT

    公开(公告)号:US20240314676A1

    公开(公告)日:2024-09-19

    申请号:US18024295

    申请日:2023-02-03

    CPC classification number: H04W48/08 H04W88/085

    Abstract: A method for implementing dynamic content handling of inter layer messages in a pod based cloud native environment, the method includes: receiving, by a virtual centralized unit (vCU), at least one Master Information Block (MIB) parameter configured by a virtual element management system (vEMS); preparing, by the vCU, a MIB encoded buffer may include a Dummy System Frame Number (D-SFN); sending, by the vCU, once at the time of startup initiation, the MIB encoded buffer with the D-SFN to a virtual distributed unit (vDU) via a Midhaul between the vCU and the vDU; receiving, by the vDU, the MIB encoded buffer with the D-SFN via the Midhaul; for each received MIB encoded buffer, by the vDU, calculating a new SFN from an utility function; updating the MIB encoded buffer; and sending the updated MIB encoded buffer with the new SFN from the utility function to a user entity (UE).

Patent Agency Ranking