Techniques for modeling and verification of convergence for hierarchical domain crossings

    公开(公告)号:US12197840B2

    公开(公告)日:2025-01-14

    申请号:US17562728

    申请日:2021-12-27

    Abstract: A technique for convergence verification including receiving a data object representation of a first circuit block, receiving one or more assumptions associated with the first circuit block, identifying a synchronization scheme coupled to a port of the first circuit block, determining that the synchronization scheme is within a threshold flip-flop depth, identifying, based on the determination that the synchronization scheme is within the threshold flip-flop depth, a type of the synchronization scheme and a flip-flop depth between the synchronization scheme and the port, generating first convergence information for the first circuit block based on the identified type and flip-flop depth of the synchronization scheme, and outputting the generated convergence information.

    METHODS AND APPARATUS TO SIMULATE METASTABILITY FOR CIRCUIT DESIGN VERIFICATION

    公开(公告)号:US20230088503A1

    公开(公告)日:2023-03-23

    申请号:US18072842

    申请日:2022-12-01

    Abstract: Methods, apparatus, systems and articles of manufacture are disclosed to simulate metastability for circuit design verification. An example apparatus includes an input handler to receive circuit design data indicative of a circuit design, a circuit modeler to generate a simulation model based on the circuit design data, a simulator to simulate operation of the circuit design based on the simulation model, a metastability injector to insert metastability logic into the simulation model during the simulation, and a metastability controller to control the metastability logic during the simulation.

    MANAGING CLOCK TRIGGER SIGNALS FOR ASYNCHRONOUS CLOCK DOMAINS

    公开(公告)号:US20240310868A1

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

    申请号:US18398496

    申请日:2023-12-28

    CPC classification number: G06F1/06 G06F1/08

    Abstract: Embodiments disclosed herein relate to managing clock signals across clock domains. In one implementation, a system is configured to derive a base clock signal from a first clock trigger signal produced by a first subsystem in a first clock domain of the clocking system. The system is further configured to generate a second clock trigger signal based on the base clock signal and a main clock of a second subsystem in a second clock domain of the clocking system. The system is also configured to supply the second clock trigger signal to a second peripheral in the second clock domain.

    METHODS AND APPARATUS TO SIMULATE METASTABILITY FOR CIRCUIT DESIGN VERIFICATION

    公开(公告)号:US20220269845A1

    公开(公告)日:2022-08-25

    申请号:US17246136

    申请日:2021-04-30

    Abstract: Methods, apparatus, systems and articles of manufacture are disclosed to simulate metastability for circuit design verification. An example apparatus includes an input handler to receive circuit design data indicative of a circuit design, a circuit modeler to generate a simulation model based on the circuit design data, a simulator to simulate operation of the circuit design based on the simulation model, a metastability injector to insert metastability logic into the simulation model during the simulation, and a metastability controller to control the metastability logic during the simulation.

    DYNAMIC CONTROL OF A MULTI-TRIM OSCILLATOR
    9.
    发明公开

    公开(公告)号:US20240313749A1

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

    申请号:US18390818

    申请日:2023-12-20

    CPC classification number: H03K5/00006 H03K3/037 H03K5/133 H03K21/10

    Abstract: Embodiments disclosed herein relate to the management of a multi-trim oscillator to provide synchronization across multiple frequencies derived from the multi-trim oscillator without causing spurious pulses of clock output. In one example, a system provides a first clock signal via an oscillator and a second clock signal based on the first clock signal and a divider. The system further receives a first signal that indicates a change in a frequency of the first clock signal from a first frequency to a second frequency. In response to the first signal, the system determines an edge of the second clock signal and provides, at a time based on the edge of the second clock signal, a second signal to the oscillator to cause the change to the second frequency.

    Simulation framework
    10.
    发明授权

    公开(公告)号:US11574099B2

    公开(公告)日:2023-02-07

    申请号:US17393263

    申请日:2021-08-03

    Abstract: A method comprises creating an electronic module design having a plurality of electronic components and defining a model of functional behavior of a subset of the plurality of electronic components, the subset of the plurality of electronic components excluding a first electronic component. Functional behavior of the first electronic component is defined in a user-defined functional design intent file based on a first template, and a power behavior of the first electronic component is defined in a user-defined power design intent file based on a second template. A simulation file is generated based on the model of functional behavior and based on the functional behavior and the power behavior of the first electronic component. The simulation file is run to simulate operation of the electronic module design. A performance status is determined of the electronic module design in response to running the simulation file.

Patent Agency Ranking