IP Library Granted Patent US 12,730,952
Granted Patent B2
US 12,730,952 · App. 18/094,100 · Granted Sep 8, 2026

Method for determining performance of sequential logic elements and device

Inventor: Zengquan Wu (Hefei, CN)
Assignee: Changxin Memory Technologies, Inc.
G06F30/3308G06F30/3323G06F30/20G06F30/3312G06F30/3315G06F30/367G06F30/396
View Patent ↗
Loading inventors, assignments & file history…
Monitor This Case
Get email alerts when status or documents change.
Order Certified Copies
Most orders are placed with the USPTO same day — all within 24 business hours.
Order via The Patent Place →
Pre-filled with this patent's details
Quick Facts
Patent No.
US 12,730,952
App. No.
18/094,100
Granted
Sep 8, 2026
Kind
B2
Abstract

A method for determining performance of sequential logic elements includes the following operations. To check a circuit, a performance check file corresponding to each of the sequential logic elements of the circuit is obtained; and the circuit is separately simulated to obtain the simulation result, by using a plurality of simulation waveforms, based on the performance check file corresponding to each of the sequential logic elements. The performance check file may be used to determine, in a simulation process, whether a target characteristic parameter of each of the sequential logic elements meets a preset condition, and identification information of a target sequential logic element having a target characteristic parameter that does not meet the preset condition is output in the simulation result.

Claims (47)

1 . A method for determining performance of sequential logic elements of a circuit, the method comprising:

obtaining a performance check file corresponding to each of the sequential logic elements;

separately simulating the circuit based on the performance check file corresponding to each of the sequential logic elements to obtain a simulation result, by using a plurality of different simulation waveforms, wherein the plurality of different simulation waveforms comprise different clock signals and different input data signals, wherein the performance check file is used to check, in a simulation process, whether a target characteristic parameter of each of the sequential logic elements meets a preset condition, and wherein identification information of a target sequential logic element having a target characteristic parameter that does not meet the preset condition is output in the simulation result;

determining a smallest target characteristic parameter corresponding to target sequential logic elements on a same path in the simulation result and a target simulation waveform corresponding to the smallest target characteristic parameter;

determining, based on the target simulation waveform, whether a timing error exists in the target sequential logic elements on the same path; and

adjusting an input signal of the target sequential logic elements on the same path when it is determined that a timing error exists in the target sequential logic elements on the same path.

2 . The method according to claim 1 , wherein before the obtaining a performance check file corresponding to each of the sequential logic elements, the method further comprises:

generating a netlist corresponding to the circuit based on a design database of the circuit;

searching the netlist corresponding to the circuit for each of the sequential logic elements based on a preset keyword; and

configuring the performance check file corresponding to each of the sequential logic elements.

3 . The method according to claim 1 , wherein

the sequential logic elements comprise a flip-flop and/or latch; and

the target characteristic parameter comprises a setup time and/or a hold time.

4 . The method according to claim 3 , wherein the adjusting an input signal of the target sequential logic elements on the same path comprises:

adjusting a clock signal and/or a data input signal corresponding to the target sequential logic elements on the same path.

5 . An electronic device, comprising at least one processor and a memory, wherein

the memory stores computer-executable instructions; and

the at least one processor executes the computer-executable instructions stored in the memory to perform operations comprising:

obtaining a performance check file corresponding to each of sequential logic elements of a circuit;

separately simulating the circuit based on the performance check file corresponding to each of the sequential logic elements to obtain a simulation result, by using a plurality of different simulation waveforms, wherein the plurality of different simulation waveforms comprise different clock signals and different input data signals, wherein the performance check file is used to check, in a simulation process, whether a target characteristic parameter of each of the sequential logic elements meets a preset condition, and wherein identification information of a target sequential logic element having a target characteristic parameter that does not meet the preset condition is output in the simulation result;

determining a smallest target characteristic parameter corresponding to target sequential logic elements on a same path in the simulation result and a target simulation waveform corresponding to the smallest target characteristic parameter;

determining, based on the target simulation waveform, whether a timing error exists in the target sequential logic elements on the same path; and

adjusting an input signal of the target sequential logic elements on the same path when it is determined that a timing error exists in the target sequential logic elements on the same path.

6 . The electronic device according to claim 5 , wherein before the obtaining a performance check file corresponding to each of the sequential logic elements, the operations further comprise:

generating a netlist corresponding to the circuit based on a design database of the circuit;

searching the netlist corresponding to the circuit for each of the sequential logic elements based on a preset keyword; and

configuring the performance check file corresponding to each of the sequential logic elements.

7 . The electronic device according to claim 5 , wherein

the sequential logic elements comprise a flip-flop and/or latch; and

the target characteristic parameter comprises a setup time and/or a hold time.

8 . The electronic device according to claim 7 , wherein the adjusting an input signal of the target sequential logic elements on the same path comprises:

adjusting a clock signal and/or a data input signal corresponding to the target sequential logic elements on the same path.

9 . A non-transitory computer-readable storage medium, wherein the computer-readable storage medium stores computer-executable instructions, and when a processor executes the computer-executable instructions, the computer-executable instructions cause the processor to perform operations comprising:

obtaining a performance check file corresponding to each of sequential logic elements of a circuit;

separately simulating the circuit based on the performance check file corresponding to each of the sequential logic elements to obtain a simulation result, by using a plurality of different simulation waveforms, wherein the plurality of different simulation waveforms comprise different clock signals and different input data signals, wherein the performance check file is used to check, in a simulation process, whether a target characteristic parameter of each of the sequential logic elements meets a preset condition, and wherein identification information of a target sequential logic element having a target characteristic parameter that does not meet the preset condition is output in the simulation result;

determining a smallest target characteristic parameter corresponding to target sequential logic elements on a same path in the simulation result and a target simulation waveform corresponding to the smallest target characteristic parameter;

determining, based on the target simulation waveform, whether a timing error exists in the target sequential logic elements on the same path; and

adjusting an input signal of the target sequential logic elements on the same path when it is determined that a timing error exists in the target sequential logic elements on the same path.

10 . The non-transitory computer-readable storage medium according to claim 9 , wherein before the obtaining a performance check file corresponding to each of the sequential logic elements, the operations further comprise:

generating a netlist corresponding to the circuit based on a design database of the circuit;

searching the netlist corresponding to the circuit for each of the sequential logic elements based on a preset keyword; and

configuring the performance check file corresponding to each of the sequential logic elements.

11 . The non-transitory computer-readable storage medium according to claim 9 , wherein

the sequential logic elements comprise a flip-flop and/or latch; and

the target characteristic parameter comprises a setup time and/or a hold time.

12 . The non-transitory computer-readable storage medium according to claim 11 , wherein the adjusting an input signal of the target sequential logic elements on the same path comprises:

adjusting a clock signal and/or a data input signal corresponding to the target sequential logic elements on the same path.

Assignments (1)
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded Jan 6, 2023
From: WU, ZENGQUAN
To: CHANGXIN MEMORY TECHNOLOGIES, INC.
Reel/Frame 062299/0304 →
Priority Claims (1)
CN 202210711774.X · Jun 22, 2022 · national
Continuity (2)
Continuation PCTCN2022103203 · Jun 30, 2022
Related Publication 20230419008A1 · Dec 28, 2023
References Cited (23)
US 6557150B1 · Honmura · 2003 [cited by examiner]
US 6751744B1 · Allen · 2004 [cited by examiner]
US 7076415B1 · Demler · 2006 [cited by examiner]
US 7490307B2 · Fomaciari et al. · 2009 [cited by applicant]
US 8078997B2 · Lapanik · 2011 [cited by examiner]
US 8843863B2 · Kobayashi · 2014 [cited by examiner]
US 10936776B1 · Lin · 2021 [cited by examiner]
US 20090119542A1 · Nagashima · 2009 [cited by examiner]
US 20180365367A1 · Kerr · 2018 [cited by examiner]
US 20210110096A1 · Pu · 2021 [cited by examiner]
US 20210232742A1 · Korchemny et al. · 2021 [cited by applicant]
US 20230152878A1 · Calugaru · 2023 [cited by examiner]
CN 105447213A · 2016 [cited by applicant]
CN 112417798A · 2021 [cited by applicant]
CN 113723045A · 2021 [cited by applicant]
CN 114548006A · 2022 [cited by applicant]
JP H08221456A · 1996 [cited by applicant]
JP 2000293555A · 2000 [cited by examiner]
JP 2001306646A · 2001 [cited by applicant]
JP 2011158965A · 2011 [cited by examiner]
PCT International Search Report and the Written Opinion mailed Dec. 26, 2022, issued in related International Application No. PCT/CN2022/103203, with English translation (17 pages). [cited by applicant]
First Office Action and Search Report dated Jul. 1, 2026, issued in Chinese Patent Application No. 20221011774.X, with English machine translation (16 pages). [cited by applicant]
Guobin Liu et al., “Application of Latch—Based STA Analysis in Independent Verification,” Computer Measurement & Control, 09, Sep. 25, 2017, with English language abstract. [cited by applicant]