OVERSTRESS DESIGN FOR VERIFICATION
    1.
    发明公开

    公开(公告)号:US20240012970A1

    公开(公告)日:2024-01-11

    申请号:US17861623

    申请日:2022-07-11

    CPC classification number: G06F30/3308 G06F2119/18

    Abstract: Techniques for implementing an overstress design for verification that reduce production and verification time by enabling a verification system to perform verification of components of a circuit design selectively, accurately, and exhaustively under extreme stress scenarios are disclosed. Circuit nodes in an emulation model are selected and overstress is provided to the nodes such that behavior of the circuit under such extreme stress scenarios is readily observable, enabling designers to produce circuits that are more secure, reliable, and resilient in case of failures. Overstress is provided to the node to enable verification of the emulation model without having to design complex test signal representations to produce extreme stress conditions. A request for manufacture is generated including aspects of the emulation model to enable verification of a fabricated circuit in a similar or identical manner to those used to verify the emulation model.

    Methods and apparatus for synchronizing data transfers across clock domains using heads-up indications

    公开(公告)号:US11967960B2

    公开(公告)日:2024-04-23

    申请号:US17389749

    申请日:2021-07-30

    CPC classification number: H03L7/0814 G06F5/08 H03L7/087 H03L7/195 G06F2205/061

    Abstract: Methods and apparatus for synchronizing data transfers across clock domains for using heads-up indications. An integrated circuit includes a first-in first-out buffer (FIFO); a memory controller configured to operate in a first clock domain and coupled to the FIFO, the first clock domain associated with a first clock signal; a data fabric configured to operate in a second clock domain and coupled to the FIFO, the second clock domain associated with a second clock signal, a second frequency of the second clock signal being different from a first frequency of the first clock signal; and a controller coupled to the FIFO. In some instances, the controller determines a phase relationship between the first clock signal and the second clock signal; monitors one or more first clock edges of the first clock signal and one or more second clock edges of the second clock signal; and sends a first heads-up signal to the memory controller.

    METHODS AND APPARATUS FOR SYNCHRONIZING DATA TRANSFERS ACROSS CLOCK DOMAINS USING HEADS-UP INDICATIONS

    公开(公告)号:US20230035110A1

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

    申请号:US17389749

    申请日:2021-07-30

    Abstract: Methods and apparatus for synchronizing data transfers across clock domains for using heads-up indications. An integrated circuit includes a first-in first-out buffer (FIFO); a memory controller configured to operate in a first clock domain and coupled to the FIFO, the first clock domain associated with a first clock signal; a data fabric configured to operate in a second clock domain and coupled to the FIFO, the second clock domain associated with a second clock signal, a second frequency of the second clock signal being different from a first frequency of the first clock signal; and a controller coupled to the FIFO. In some instances, the controller determines a phase relationship between the first clock signal and the second clock signal; monitors one or more first clock edges of the first clock signal and one or more second clock edges of the second clock signal; and sends a first heads-up signal to the memory controller.

    ASYNCHRONOUS BUFFER WITH POINTER OFFSETS
    4.
    发明申请

    公开(公告)号:US20190179777A1

    公开(公告)日:2019-06-13

    申请号:US15837951

    申请日:2017-12-11

    Abstract: A processor applies offset values to read and write pointers to a first-in-first-out buffer (FIFO) for data being transferred between clock domains. The pointer offsets are based on a frequency ratio between the clock domains, and reduce latency while ensuring that data is not read by the receiving clock domain from an entry of the FIFO until after the data has been written to the entry, thereby reducing data transfer errors. The processor resets the pointer offset values in response to a change in clock frequency at one or both of the clock domains, allowing the processor to continue to accurately transfer data in response to clock frequency changes.

    Apparatus and methods employing asynchronous FIFO buffer with read prediction

    公开(公告)号:US12176064B2

    公开(公告)日:2024-12-24

    申请号:US17559131

    申请日:2021-12-22

    Abstract: Methods and apparatus employ an asynchronous first-in-first-out buffer (FIFO), that includes a plurality of entries. Control logic determines a timing separation between a write header valid signal and corresponding write data valid signal for a write operation to an entry in the first-in-first-out buffer (FIFO) and performs a read of the corresponding data from the entry in the FIFO in the second clock domain, based on the determined timing separation of the write header valid signal and corresponding write data valid signal, and based on a clock frequency ratio between the first and second clock domains.

    Method and apparatus for synchronizing the time stamp counter

    公开(公告)号:US11579650B2

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

    申请号:US16721886

    申请日:2019-12-19

    Abstract: A method and apparatus for synchronizing a time stamp counter (TSC) associated with a processor core in a computer system includes initializing the TSC associated with the processor core by synchronizing the TSC associated with the processor core with at least one other TSC in a hierarchy of TSCs. One or more processor cores are powered down. Upon powering up of the one or more processor cores, the TSC associated with the processor core is synchronized with the at least one other TSC in the hierarchy of TSCs.

    METHOD AND APPARATUS FOR SYNCHRONIZING THE TIME STAMP COUNTER

    公开(公告)号:US20210191454A1

    公开(公告)日:2021-06-24

    申请号:US16721886

    申请日:2019-12-19

    Abstract: A method and apparatus for synchronizing a time stamp counter (TSC) associated with a processor core in a computer system includes initializing the TSC associated with the processor core by synchronizing the TSC associated with the processor core with at least one other TSC in a hierarchy of TSCs. One or more processor cores are powered down. Upon powering up of the one or more processor cores, the TSC associated with the processor core is synchronized with the at least one other TSC in the hierarchy of TSCs.

    Asynchronous buffer with pointer offsets

    公开(公告)号:US10592442B2

    公开(公告)日:2020-03-17

    申请号:US15837951

    申请日:2017-12-11

    Abstract: A processor applies offset values to read and write pointers to a first-in-first-out buffer (FIFO) for data being transferred between clock domains. The pointer offsets are based on a frequency ratio between the clock domains, and reduce latency while ensuring that data is not read by the receiving clock domain from an entry of the FIFO until after the data has been written to the entry, thereby reducing data transfer errors. The processor resets the pointer offset values in response to a change in clock frequency at one or both of the clock domains, allowing the processor to continue to accurately transfer data in response to clock frequency changes.

Patent Agency Ranking