| Utility: Hybrid deferred assertion for circuit design Filling date: 19 Sep 2025 Issue date: 1 Jun 2021 | 20 Dec 2019 | 1 Jun 2021 |
| Utility: Method, system, and product to efficiently route interconnections following a free form contour Filling date: 19 Sep 2025 Issue date: 1 Jun 2021 | 30 Sep 2019 | 1 Jun 2021 |
| Utility: Method and system for sequential equivalence checking Filling date: 19 Sep 2025 Issue date: 1 Jun 2021 | 26 Sep 2019 | 1 Jun 2021 |
| Utility: System and method for repeating a synchronized set of layout geometries Filling date: 19 Sep 2025 Issue date: 25 May 2021 | 4 Dec 2019 | 25 May 2021 |
| Utility: Method, system, and computer program product for characterizing electromigration effects in an electronic design Filling date: 19 Sep 2025 Issue date: 25 May 2021 | 29 Jul 2019 | 25 May 2021 |
| Utility: Deterministic loop breaking in multi-mode multi-corner static timing analysis of integrated circuits Filling date: 19 Sep 2025 Issue date: 11 May 2021 | 21 Feb 2020 | 11 May 2021 |
| Utility: System, method, and computer program product for optimization in an electronic design Filling date: 19 Sep 2025 Issue date: 11 May 2021 | 26 Sep 2019 | 11 May 2021 |
| Utility: System, method, and computer program product for electromigration-aware width spacing pattern tracks Filling date: 19 Sep 2025 Issue date: 4 May 2021 | 13 Aug 2020 | 4 May 2021 |
| Utility: In-system scan test of chips in an emulation system Filling date: 19 Sep 2025 Issue date: 4 May 2021 | 19 Dec 2019 | 4 May 2021 |
| Utility: Methods, systems, and computer program product for characterizing an electronic design with a schematic driven extracted view Filling date: 19 Sep 2025 Issue date: 4 May 2021 | 5 Dec 2019 | 4 May 2021 |
| Utility: Incremental chaining in the presence of anchored figures Filling date: 19 Sep 2025 Issue date: 4 May 2021 | 25 Nov 2019 | 4 May 2021 |
| Utility: System and method for computing electrical over-stress of devices associated with an electronic design Filling date: 19 Sep 2025 Issue date: 4 May 2021 | 26 Sep 2019 | 4 May 2021 |
| Utility: Routing congestion based on layer-assigned net and placement blockage Filling date: 19 Sep 2025 Issue date: 4 May 2021 | 17 May 2019 | 4 May 2021 |
| Utility: Synchronized reset for a circuit emulator Filling date: 19 Sep 2025 Issue date: 4 May 2021 | 12 Dec 2018 | 4 May 2021 |
| Utility: Systems and methods for synthesizing a circuit architecture for division by constants Filling date: 19 Sep 2025 Issue date: 4 May 2021 | 6 Nov 2018 | 4 May 2021 |
| Utility: System and method for multiple device diagnostics and failure grouping Filling date: 19 Sep 2025 Issue date: 4 May 2021 | 11 Sep 2018 | 4 May 2021 |
| Utility: Complexity optimization of trainable networks Filling date: 19 Sep 2025 Issue date: 4 May 2021 | 13 Apr 2017 | 4 May 2021 |
| Utility: Encoding and striping technique for DC balancing in single-ended signaling Filling date: 19 Sep 2025 Issue date: 27 Apr 2021 | 27 Jul 2020 | 27 Apr 2021 |
| Utility: Shared timing graph propagation for multi-mode multi-corner static timing analysis Filling date: 19 Sep 2025 Issue date: 27 Apr 2021 | 10 Mar 2020 | 27 Apr 2021 |
| Utility: Functional built-in self-test architecture in an emulation system Filling date: 19 Sep 2025 Issue date: 27 Apr 2021 | 19 Dec 2019 | 27 Apr 2021 |
| Utility: Delay dependence in physically aware cell cloning Filling date: 19 Sep 2025 Issue date: 27 Apr 2021 | 17 Dec 2019 | 27 Apr 2021 |
| Utility: Partition-based circuit analysis and verification Filling date: 19 Sep 2025 Issue date: 27 Apr 2021 | 16 Dec 2019 | 27 Apr 2021 |
| Utility: System, method, and computer program product for sequential equivalence checking in formal verification Filling date: 19 Sep 2025 Issue date: 20 Apr 2021 | 20 Nov 2019 | 20 Apr 2021 |
| Utility: Method, system, and product for generating and maintaining a physical design for an electronic circuit having sync group constraints for design rule checking Filling date: 19 Sep 2025 Issue date: 20 Apr 2021 | 23 Oct 2019 | 20 Apr 2021 |
| Utility: System, method, and computer program product for automatically inferring case-split hints in equivalence checking of an electronic design Filling date: 19 Sep 2025 Issue date: 20 Apr 2021 | 13 Aug 2019 | 20 Apr 2021 |
| Utility: Systems and methods of concurrent placement of input-output pins and internal components in an integrated circuit design Filling date: 19 Sep 2025 Issue date: 13 Apr 2021 | 13 Jan 2020 | 13 Apr 2021 |
| Utility: Mid-plane board for coupling multiple circuit frames in a circuit emulator engine Filling date: 19 Sep 2025 Issue date: 13 Apr 2021 | 12 Dec 2018 | 13 Apr 2021 |
| Utility: System and method for debugging in concurrent fault simulation Filling date: 19 Sep 2025 Issue date: 6 Apr 2021 | 13 Aug 2019 | 6 Apr 2021 |
| Utility: Analyzing clock jitter using delay calculation engine Filling date: 19 Sep 2025 Issue date: 30 Mar 2021 | 22 May 2020 | 30 Mar 2021 |
| Utility: Buffer insertion technique to consider edge spacing and stack via design rules Filling date: 19 Sep 2025 Issue date: 30 Mar 2021 | 6 Jan 2020 | 30 Mar 2021 |
| Utility: Multi-dimension clock gate design in clock tree synthesis Filling date: 19 Sep 2025 Issue date: 30 Mar 2021 | 6 Jan 2020 | 30 Mar 2021 |
| Utility: Modifying route topology to fix clock tree violations Filling date: 19 Sep 2025 Issue date: 30 Mar 2021 | 6 Jan 2020 | 30 Mar 2021 |
| Utility: Systems and methods of aligning sets of wires with minimum spacing rules Filling date: 19 Sep 2025 Issue date: 30 Mar 2021 | 30 Dec 2019 | 30 Mar 2021 |
| Utility: Time-based decision feedback equalizer Filling date: 19 Sep 2025 Issue date: 23 Mar 2021 | 2 Mar 2020 | 23 Mar 2021 |
| Utility: System, method, and computer program product for determining suitability for formal verification Filling date: 19 Sep 2025 Issue date: 23 Mar 2021 | 10 Jul 2019 | 23 Mar 2021 |
| Utility: Method to improve testability using 2-dimensional exclusive or (XOR) grids Filling date: 19 Sep 2025 Issue date: 23 Mar 2021 | 13 Dec 2018 | 23 Mar 2021 |
| Utility: Variable channel multi-controller memory system Filling date: 19 Sep 2025 Issue date: 23 Mar 2021 | 3 Feb 2017 | 23 Mar 2021 |
| Utility: System, method, and computer program product for simultaneous routing and placement in an electronic circuit design Filling date: 19 Sep 2025 Issue date: 16 Mar 2021 | 14 Jan 2020 | 16 Mar 2021 |
| Utility: Compact four-terminal TCOIL Filling date: 19 Sep 2025 Issue date: 9 Mar 2021 | 31 Jan 2020 | 9 Mar 2021 |
| Utility: Analyzing waveform data generated for simulated circuit design Filling date: 19 Sep 2025 Issue date: 2 Mar 2021 | 30 Mar 2020 | 2 Mar 2021 |
| Utility: Unified improvement scoring calculation for rebuffering an integrated circuit design Filling date: 19 Sep 2025 Issue date: 2 Mar 2021 | 30 Jan 2020 | 2 Mar 2021 |
| Utility: Runtime efficient circuit placement search location selection Filling date: 19 Sep 2025 Issue date: 2 Mar 2021 | 6 Jan 2020 | 2 Mar 2021 |
| Utility: Generating routing structure for clock network based on edge intersection detection Filling date: 19 Sep 2025 Issue date: 23 Feb 2021 | 19 Mar 2020 | 23 Feb 2021 |
| Utility: Methods and systems of enabling concurrent editing of hierarchical electronic circuit layouts Filling date: 19 Sep 2025 Issue date: 16 Feb 2021 | 30 Jun 2020 | 16 Feb 2021 |
| Utility: Circuit modification for efficient electro-static discharge analysis of integrated circuits Filling date: 19 Sep 2025 Issue date: 16 Feb 2021 | 30 Apr 2020 | 16 Feb 2021 |
| Utility: Circuit stage credit based approaches to static timing analysis of integrated circuits Filling date: 19 Sep 2025 Issue date: 9 Feb 2021 | 17 Dec 2018 | 9 Feb 2021 |
| Utility: Sampling selection for enhanced high yield estimation in circuit designs Filling date: 19 Sep 2025 Issue date: 2 Feb 2021 | 17 Oct 2019 | 2 Feb 2021 |
| Utility: Method, system, and computer program product for characterizing electronic designs with electronic design simplification techniques Filling date: 19 Sep 2025 Issue date: 2 Feb 2021 | 12 Sep 2019 | 2 Feb 2021 |
| Utility: Hardware assisted weighted toggle count Filling date: 19 Sep 2025 Issue date: 2 Feb 2021 | 21 Nov 2018 | 2 Feb 2021 |
| Utility: Method and apparatus for determining waiver applicability conditions and applying the conditions to multiple errors or warnings in physical verification tools Filling date: 19 Sep 2025 Issue date: 2 Feb 2021 | 29 Jun 2017 | 2 Feb 2021 |
