Feb. 10, 2025, 2:11 p.m.
96 阅读
A key highlight of this integration is the intelligent AI server, @NanDigits, which is also seamlessly woven into the VS Code experience. @NanDigits acts as an AI-powered assistant, simplifying the often tedious process of ECO script development.
Jan. 15, 2025, 10:29 a.m.
193 阅读
The fast-paced nature of IC design often leads to ECO specifications being delivered as images accompanied by brief textual descriptions. This presents a challenge for implementation teams, who must manually interpret these visuals and translate them into scripts for ECO tools. This manual process is inefficient and susceptible to human error. Our innovative solution leverages AI to automate this process. By directly processing image-based ECO specifications, we eliminate the need for manual interpretation.
Jan. 15, 2025, 10:21 a.m.
122 阅读
GOF ECO provides a streamlined solution for designers to implement functional changes in digital designs without compromising Design for Testability (DFT) functionality. This article highlights the key features of DFT-friendly ECO and the integrated DFT Design Rule Checking (DRC) capabilities within GOF ECO.
Jan. 15, 2025, 10:15 a.m.
105 阅读
Complex IC designs often require multiple steps to debug and verify equivalence between the RTL and gate-level netlists. In these cases, a multi-step LEC approach is essential to ensure accurate results and identify discrepancies effectively. By breaking down the debugging process into distinct stages, each comparison can deal with smaller structural changes. This is especially true when dealing with netlist ECOs involving multibit design.
Dec. 5, 2024, 6:24 p.m.
157 阅读
SVF (Automated setup file) files play a critical role in Logic Equivalence Checking (LEC), particularly in designs involving multibit flops. These files contain essential information about state elements, such as multibit flip-flops mapping, which influence how tools like Synopsys Formality interpret the netlist. When both the Reference and Implementation Netlists contain multibit flops, it's crucial to apply SVF files to each netlist individually to avoid issues.
Oct. 12, 2024, 4:03 p.m.
194 阅读
The mixed functional ECO flow combines both automatic and manual modes seamlessly to improve the efficiency and quality of functional ECO operations. GOF ECO integrates these two modes, allowing users to perform all ECO-related tasks in one environment without switching between different scripts or netlist files for preprocessing and post-processing. This unification saves time and reduces errors while enabling more control over the changes made to the design.
Sept. 30, 2024, 11:24 p.m.
212 阅读
These stages, such as key point mapping and port inversion checking, are computationally intensive and not easily parallelized, leading to significant processing times. This is where AI comes into play, offering a solution by extracting meaningful patterns from historical ECO data. By learning from past decisions, AI can provide informed guidance during the decision-making process, greatly enhancing efficiency.
Sept. 23, 2024, 4:32 p.m.
278 阅读
Mapping random ECO logic to MUX-only logic can be a challenge for the synthesis engine. Thankfully, GOF offers a solution to this issue.
Sept. 14, 2024, 5:08 p.m.
233 阅读
GOF ECO provides a streamlined solution for designers to implement functional changes in digital designs without compromising DFT functionality. This article highlights key features of DFT-friendly ECO and the DFT Design Rule Checking (DRC) capabilities integrated into GOF ECO.
Aug. 19, 2024, 1:11 p.m.
276 阅读
NanDigits, a leading provider of Verilog Netlist ECO and debug tools, is committed to leveraging artificial intelligence (AI) to enhance its technical support, improve the ECO engine, and elevate the user experience. Here's an overview of NanDigits' AI strategy, focusing on its current use, future plans, and measurement of success.
Aug. 11, 2024, 8:58 a.m.
527 阅读
When both the Reference and Implementation Netlists contain multibit flops, it's crucial to apply SVF files to each netlist individually to avoid issues.
July 12, 2024, 11:28 p.m.
231 阅读
In the realm of Logic Equivalence Checking or Functional Netlist ECO, the primary purpose of utilizing the SVF file generated by Synopsys Design Compiler is to facilitate accurate mapping of key points. This is particularly crucial when dealing with designs that involve the utilization of multibit flops. The SVF file is instrumental in conveying how individual flops are combined into multibit flops, as well as elucidating any modifications in instance names.
July 1, 2024, 11:23 p.m.
252 阅读
Netlist functional ECO to fix DFT (Design for Test) logic is a common practice during the chip tape-out stage. Issues that require ECO might include "DFT DRC (Design Rule Check)" , “Missing TDR (Test Data Register)”. Typically, these ECOs are done manually by designers editing large netlists, which is inefficient.
March 31, 2024, 4:32 p.m.
362 阅读
there exists a crucial distinction between the Implementation Netlist and the Reference Netlist.
March 4, 2024, 10:19 a.m.
315 阅读
The paramount aspect of Metal-only ECO lies in achieving the final timing. Without achieving timing closure, an ECO cannot be deemed successful.
March 1, 2024, 11:46 a.m.
434 阅读
This LEC assessment can seamlessly integrate into GOF ECO for rapid functional ECO iteration. Non-equivalent outcomes may arise from tools such as Synopsys Formality.
Feb. 15, 2024, 10:52 a.m.
286 阅读
In a functional netlist ECO, detecting the boundary phase relationship between the Reference Netlist and the Implementation Netlist is crucial when ports undergo changes.
Feb. 6, 2024, 11:35 p.m.
669 阅读
When a functional ECO is required, and it pertains to a specific sub-module, the design team aims to restrict the ECO to that particular sub-module rather than initiating synthesis for the entire design.
Jan. 28, 2024, 10:05 p.m.
301 阅读
Performing a complete top-level netlist synthesis can be time-consuming. GOF provides APIs enabling the integration of newly synthesized sub-modules into the original pre-layout netlist, along with updates to the top-level SVF file.
Jan. 28, 2024, 9:45 p.m.
354 阅读
Abort points are frequently encountered in Logic Equivalence Checking. LEC tools, which may run for extended periods, might eventually cease operation, leading to an unsuccessful result.
Jan. 5, 2024, 3:48 p.m.
365 阅读
The difficulty in large netlist ECO arises in successfully navigating logic equivalence checking, especially when undergoing RTL-to-ECO netlist equivalence checking with Formality, and without the aid of an updated SVF file
Jan. 1, 2024, 10:58 p.m.
337 阅读
In some cases, there are designs where only INV, MUX, and Flop types are available as spare gates. However, mapping random ECO logic to MUX-only logic can be a challenge for the synthesis engine. Thankfully, GOF offers a solution to this issue.
