[Let's study] AMD puts Synopsys AI verification tools to the test

movit

https://semiwiki.com/artificial-intelligence/333623-amd-puts-synopsys-ai-verification-tools-to-the-test/原文

The various algorithms that comprise artificial intelligence (AI) are finding their way into the chip design flow. What is driving a lot of this work is the complexity explosion of new chip designs required to accelerate advanced AI algorithms. It turns out AI is both the problem and the solution in this case. AI can be used to cut the AI chip design problem down to size. Synopsys has been developing AI-assisted design capabilities for quite a while, beginning with the release of a design space optimization capability (DSO.ai) in 2020. Since then, several new capabilities have been announced, significantly expanding its AI-assisted footprint. You can get a good overview of what Synopsys is working on here. One of the capabilities in the Synopsys portfolio focuses on verification space optimization (VSO.ai). The real test of any new capability is its use by a real customer on a real design, and that is the topic of this post. Read on to see how AMD puts Synopsys AI verification tools to the test.

翻译结果：

人工智能(AI)组成的各种算法正在进入芯片设计流程。推动这项工作的原因是新芯片设计的复杂性爆炸，这些设计需要加快先进的AI算法。事实证明，在这种情况下，AI既是问题也是解决方案。AI可以用于将AI芯片设计问题缩小到合理的范围。Synopsys在很长时间内一直在开发AI辅助设计能力，从2020年发布设计空间优化能力(DSO.ai)开始。自那以后，它宣布了几个新的能力，显著扩大了其支持AI的范围。您可以在这里获得对Synopsys正在开展的工作的很好概述。Synopsys的某些能力集中在验证空间优化(VSO.ai)上。任何新功能的真正测试都是由真实客户在真实设计中使用，这就是本文的主题。继续阅读，了解AMD如何对Synopsys的AI验证工具进行测试。

简化版英文：

The complexity of new chip designs needed for advanced AI algorithms is driving the integration of various AI algorithms into the chip design flow. AI is both the problem and the solution in this case. Synopsys has been developing AI-assisted design capabilities for a long time, starting with the release of DSO.ai in 2020. Since then, they have announced several new capabilities, expanding their AI-assisted footprint. One of the focuses of the Synopsys portfolio is VSO.ai for verification space optimization. This post discusses how AMD tests Synopsys AI verification tools in real designs.

固定搭配解释：

• find one's way into: 进入，融入
  
  
  • Example: Technology has found its way into every aspect of our lives.
    
    
• drive: 推动，驱动
  
  
  • Example: The desire for success drives him to work hard.
    
    
• cut down to size: 缩小到合理的范围
  
  
  • Example: The company had to cut down the project to size to meet the budget.
    
    
• focus on: 专注于
  
  
  • Example: The company's new strategy focuses on improving customer satisfaction.
    
    
• put something to the test: 对某事进行测试
  
  
  • Example: The new product is being put to the test by a group of beta testers.
    
    
  
  

单词提取：

• comprise: 包括
  
  
  • Example: The team comprises experts from various fields.
    
    
• chip: 芯片
  
  
  • Example: The new smartphone has a powerful chip for faster processing.
    
    
• complexity: 复杂性
  
  
  • Example: The complexity of the problem requires a careful analysis.
    
    
• accelerate: 加快
  
  
  • Example: The new technology can accelerate the production process.
    
    
• optimization: 优化
  
  
  • Example: The software can help optimize the performance of the system.
    
    
  
  

原文

VSO.ai – What it Does

Test coverage of a design is the core issue in semiconductor verification. The battle cry is, “if you haven’t exercised it, you haven’t verified it.” Stimulus vectors are generated using a variety of techniques, with constrained random being a popular approach. Those vectors are then used in simulation runs on the design, looking for test results that don’t match expected results.

翻译结果

VSO.ai - 它是做什么的？

半导体验证中，设计的测试覆盖率是核心问题。人们高呼：“如果你没有对其进行测试，那你就没有验证它。” 通过使用各种技术生成刺激向量，其中受限随机是一种流行的方法。然后，这些向量被用于设计的模拟运行中，寻找与预期结果不匹配的测试结果。

简化版英文

The test coverage of a design is the main issue in verifying semiconductor devices. The mantra is, "if you haven't tested it, you haven't verified it." Stimulus vectors are created using different methods, with constrained randomization being a popular approach. These vectors are then used in simulations, checking for test results that deviate from the expected outcomes.

固定搭配解释

• test coverage: 测试覆盖率
  
  
  • Example: Increasing the test coverage is essential to ensure the quality of the product.
    
    
• semiconductor verification: 半导体验证
  
  
  • Example: The process of semiconductor verification involves testing and verifying the functionality of semiconductor devices.
    
    
• constrained random: 受限随机
  
  
  • Example: Constrained randomization is a technique used in generating stimulus vectors for testing semiconductor designs.
    
    
• stimulus vectors: 刺激向量
  
  
  • Example: The stimulus vectors are used to stimulate the design and observe its behavior in simulations.
    
    
• simulation runs: 模拟运行
  
  
  • Example: Multiple simulation runs are performed to analyze the performance of the design.
    
    
• expected results: 预期结果
  
  
  • Example: The simulation results should match the expected results for a verified design.
    
    
  
  

单词提取

• test coverage: 测试覆盖率
  
  
  • Example: Increasing the test coverage is essential to ensure the quality of the product.
    
    
• design: 设计
  
  
  • Example: The engineer presented the new design to the team for review.
    
    
• semiconductor: 半导体
  
  
  • Example: The company specializes in manufacturing semiconductors for electronic devices.
    
    
• verification: 验证
  
  
  • Example: The verification process ensures that the product meets the specified requirements.
    
    
• stimulus: 刺激
  
  
  • Example: The stimulus was designed to provoke a reaction in the experimental subjects.
    
    
• vector: 向量
  
  
  • Example: The vector represents the magnitude and direction of a physical quantity.
    
    
• constrained: 受限的
  
  
  • Example: The project had limited resources, so we had to work within constrained conditions.
    
    
• random: 随机的
  
  
  • Example: The selection process was random, and anyone had an equal chance of winning.
    
    
  
  

原文

By exercising more of the circuit, the chance of finding functional design flaws is increased.

翻译结果：

通过更多地运行电路，增加了发现功能设计缺陷的机会。

简化版英文：

Running the circuit more increases the chance of finding design flaws.

固定搭配解释：

暂无固定搭配。

单词提取：

• exercise: 运行，执行
  
  
  • Example: It is important to exercise caution when handling sensitive information.
    
    
• circuit: 电路
  
  
  • Example: The technician carefully examined the circuit for any faults.
    
    
• chance: 机会
  
  
  • Example: There is a slim chance of success with this plan.
    
    
  
  

原文

Verification teams choose structural code coverage metrics (line, expression, block, etc.) of interest and automatically add them to simulation runs. As each test iteration generates constrained-random stimulus conforming to the rules, the simulator collects metrics for all the forms of coverage included. The results are monitored, with the goal of tweaking the constraints to try to improve the coverage. At some point, the team decides that they have done the best that they can within the schedule and resource constraints of the project, and they tape out.

翻译结果：

验证团队选择感兴趣的结构代码覆盖度量（行、表达式、块等），并自动将它们添加到仿真运行中。每个测试迭代按照规则生成受限随机刺激，仿真器收集所有包含的覆盖度量。结果被监测，目标是调整约束条件，试图提高覆盖率。在某个阶段，团队决定在项目的时间表和资源限制内已经尽力而为，然后停止开发。

简化版英文：

The verification team selects structural code coverage metrics of interest and adds them to simulation runs. Each test iteration generates constrained-random stimulus that follows certain rules, and the simulator collects metrics for all forms of coverage. The results are monitored, and the team tries to improve the coverage by adjusting the constraints. Eventually, the team decides to stop development when they have done their best within the project's schedule and resource constraints.

固定搭配解释：

• add to: 将...添加到
  
  
  • Example: She added sugar to her tea.
    
    
• simulation run: 仿真运行
  
  
  • Example: The engineers conducted multiple simulation runs to test the design.
    
    
• constrained-random stimulus: 受限随机刺激
  
  
  • Example: The test generates constrained-random stimulus to cover different scenarios.
    
    
• collect metrics: 收集度量
  
  
  • Example: The software collects metrics to measure the performance of the system.
    
    
• monitor the results: 监测结果
  
  
  • Example: The team monitored the results to track the progress of the project.
    
    
• adjust the constraints: 调整约束条件
  
  
  • Example: They adjusted the constraints to improve the efficiency of the algorithm.
    
    
• stop development: 停止开发
  
  
  • Example: They decided to stop development and release the current version of the software.
    
    
• schedule and resource constraints: 时间表和资源限制
  
  
  • Example: The project was completed within the schedule and resource constraints.
    
    
  
  

单词提取：

• verification: 验证
  
  
  • Example: The verification process ensures that the system meets the requirements.
    
    
• structural: 结构的
  
  
  • Example: The engineer analyzed the structural integrity of the building.
    
    
• code coverage: 代码覆盖度
  
  
  • Example: The code coverage report showed that 90% of the code was tested.
    
    
• metric: 度量
  
  
  • Example: The performance metric indicated an improvement in response time.
    
    
• iteration: 迭代
  
  
  • Example: The team went through several iterations to refine the design.
    
    
• conform to: 符合
  
  
  • Example: The product must conform to industry standards.
    
    
• simulator: 仿真器
  
  
  • Example: The simulator accurately recreates real-world scenarios.
    
    
• tweak: 调整
  
  
  • Example: The engineer tweaked the settings to achieve better performance.
    
    
• constraint: 约束条件
  
  
  • Example: The project was completed within the budget constraint.
    
    
• tape out: 停止开发
  
  
  • Example: The team decided to tape out and focus on other projects.
    
    
  
  

原文

Code coverage does not reflect the intended functionality of the design, so user-defined coverage is important. This is typically a manual effort, spanning only a limited percentage of the design’s behavior. Closing coverage and achieving verification goals is quite difficult.

翻译结果：

代码覆盖率不能反映设计的预期功能，因此用户定义的覆盖率非常重要。这通常是一项手动工作，只涵盖设计行为的有限百分比。完成覆盖率和实现验证目标是相当困难的。

简化版英文：

User-defined code coverage is important because it reflects the intended functionality of the design. However, it is a manual effort and only covers a limited percentage of the design's behavior. Closing coverage and achieving verification goals can be challenging.

固定搭配解释：

• code coverage: 代码覆盖率
  
  
  • Example: The team needs to improve code coverage to ensure all parts of the program are tested.
    
    
• user-defined: 用户定义的
  
  
  • Example: The software allows for user-defined settings to customize the user experience.
    
    
• verification goals: 验证目标
  
  
  • Example: The company has set specific verification goals to ensure the quality of the product.
    
    
  
  

单词提取：

• coverage: 覆盖率
  
  
  • Example: The insurance policy provides coverage for medical expenses.
    
    
• functionality: 功能性
  
  
  • Example: The new software update includes improved functionality and added features.
    
    
• design: 设计
  
  
  • Example: The architect presented the building design to the clients.
    
    
• manual: 手动的
  
  
  • Example: The instructions for assembling the furniture were written in the manual.
    
    
• behavior: 行为
  
  
  • Example: The dog's aggressive behavior made the owner concerned.
    
    
• closing: 完成
  
  
  • Example: The project manager is working towards closing the deal with the client.
    
    
• verification: 验证
  
  
  • Example: The document requires verification of identity before it can be processed.
    
    
  
  

原文

A typical chip project runs many thousands of constrained-random simulation tests with a great deal of repetitive activity in the design. So, the rate of new coverage slows, and the benefit of each new test reduces over time.

翻译结果：

一个典型的芯片项目运行着成千上万次约束随机模拟测试，在设计过程中有很多重复的活动。因此，新覆盖率的速度变慢，每个新测试所带来的益处随着时间的推移会减少。

简化版英文：

A typical chip project runs thousands of constrained-random simulation tests with repetitive design activity. As a result, the rate of new coverage slows down and the benefit of each new test decreases over time.

固定搭配解释：

• run tests: 进行测试
  
  
  • Example: The team needs to run tests to ensure the software is functioning correctly.
    
    
• repetitive activity: 重复的活动
  
  
  • Example: The assembly line workers perform repetitive activity to complete the production process.
    
    
• slow down: 减速，减慢
  
  
  • Example: The car started to slow down as it approached the red light.
    
    
• decrease over time: 随着时间的推移减少
  
  
  • Example: The population of the species has been decreasing over time due to habitat loss.
    
    
  
  

单词提取：

• constrained-random: 约束随机的
  
  
  • Example: The algorithm uses constrained-random sampling to generate test cases.
    
    
• simulation: 模拟
  
  
  • Example: The engineers used simulation software to test the performance of the new design.
    
    
• repetitive: 重复的
  
  
  • Example: The assembly line workers perform repetitive tasks throughout the day.
    
    
• coverage: 覆盖率
  
  
  • Example: The test suite achieved a high coverage of the system's functionality.
    
    
  
  

原文

At some point, the curve flattens out, often before goals are met. The team must try to figure out what is going on and improve coverage as much as possible within time and resource constraints. This “last mile” of the process is quite challenging. The amount of data collected is overwhelming and trying to analyze it and determine the root cause of a coverage hole is difficult and labor-intensive. Is it an illegal bin for this configuration or a true coverage hole?

The design of complex chips contains many problems that look like this – the requirement to analyze vast amounts of data and identify the best path forward. The good news is that AI techniques can be applied to this class of problems quite successfully.

翻译结果：

在某个阶段，曲线趋平，通常是在目标实现之前。团队必须努力弄清楚发生了什么，并在时间和资源限制内尽可能改善覆盖范围。这个过程的“最后一英里”非常具有挑战性。收集到的数据量令人难以应对，试图分析数据并确定覆盖漏洞的根本原因是困难且充满工作量。这是合法配置不当还是真正的覆盖漏洞？

复杂芯片的设计存在许多类似的问题-分析大量数据并确定最佳前进路径的要求。好消息是，AI技术可以成功地应用于这类问题。

简化版英文：

At some point, the team needs to figure out what is happening and improve coverage as much as possible within time and resource limitations. This is a challenging task because the amount of data collected is overwhelming and analyzing it to determine the root cause of a coverage hole is difficult and labor-intensive. It is important to distinguish whether it is an incorrect configuration or an actual coverage hole. Complex chip designs often require analyzing vast amounts of data to find the best solution, but AI techniques can be utilized successfully in solving these types of problems.

固定搭配解释：

• figure out: 弄清楚，找出
  
  
  • Example: I need to figure out how to solve this problem.
    
    
• improve coverage: 改善覆盖范围
  
  
  • Example: The company needs to improve coverage in rural areas to reach more customers.
    
    
• within time and resource constraints: 在时间和资源限制内
  
  
  • Example: We need to complete this project within time and resource constraints.
    
    
• last mile: 最后一英里
  
  
  • Example: The last mile of the marathon was the most challenging part.
    
    
• overwhelming: 令人难以应对的
  
  
  • Example: The amount of work I have to do is overwhelming.
    
    
• analyze data: 分析数据
  
  
  • Example: The team spent hours analyzing the data to find trends.
    
    
• determine the root cause: 确定根本原因
  
  
  • Example: The investigation aims to determine the root cause of the accident.
    
    
• coverage hole: 覆盖漏洞
  
  
  • Example: The network has a coverage hole in this area, resulting in poor signal strength.
    
    
• incorrect configuration: 不正确的配置
  
  
  • Example: The computer is not working properly due to an incorrect configuration.
    
    
• actual: 真正的，实际的
  
  
  • Example: The actual cost of the project turned out to be higher than expected.
    
    
• chip design: 芯片设计
  
  
  • Example: The engineer is responsible for the chip design.
    
    
• best solution: 最佳解决方案
  
  
  • Example: After extensive research, they found the best solution to the problem.
    
    
• utilize: 利用
  
  
  • Example: The company plans to utilize AI technology to improve efficiency.
    
    
  
  

单词提取：

• curve: 曲线
  
  
  • Example: The graph shows the curve of the stock market.
    
    
• flatten out: 趋平，变平缓
  
  
  • Example: The road used to be bumpy, but they flattened it out.
    
    
• team: 团队
  
  
  • Example: The basketball team won the championship.
    
    
• figure out: 弄清楚，找出
  
  
  • Example: I need to figure out how to solve this problem.
    
    
• improve: 改善
  
  
  • Example: The company wants to improve customer satisfaction.
    
    
• coverage: 覆盖范围
  
  
  • Example: The wifi coverage in this area is weak.
    
    
• possible: 可能的
  
  
  • Example: It is possible that it will rain tomorrow.
    
    
• time: 时间
  
  
  • Example: I don't have much time to finish this task.
    
    
• resource: 资源
  
  
  • Example: We need more resources to complete the project.
    
    
• constraint: 限制
  
  
  • Example: The project has budget constraints.
    
    
• last mile: 最后一英里
  
  
  • Example: The last mile of the marathon was the most challenging part.
    
    
• process: 过程
  
  
  • Example: It is important to follow the correct process when making a cake.
    
    
• challenging: 具有挑战性的
  
  
  • Example: The puzzle game is challenging but fun.
    
    
• amount: 数量
  
  
  • Example: She received a large amount of money as a bonus.
    
    
• data: 数据
  
  
  • Example: The scientist analyzed the data to find patterns.
    
    
• overwhelming: 令人难以应对的
  
  
  • Example: The amount of work I have to do is overwhelming.
    
    
• analyze: 分析
  
  
  • Example: The team spent hours analyzing the data to find trends.
    
    
• determine: 确定
  
  
  • Example: It is difficult to determine the cause of the problem.
    
    
• root cause: 根本原因
  
  
  • Example: The investigation aims to determine the root cause of the accident.
    
    
• hole: 漏洞
  
  
  • Example: There is a hole in my pants.
    
    
• illegal: 不合法的
  
  
  • Example: Parking in a no-parking zone is illegal.
    
    
• bin: 容器
  
  
  • Example: Please throw the garbage in the bin.
    
    
• configuration: 配置
  
  
  • Example: The computer has a default configuration.
    
    
• true: 真正的，真实的
  
  
  • Example: The true story behind the incident is yet to be known.
    
    
• design: 设计
  
  
  • Example: The architect created a beautiful design for the building.
    
    
• complex: 复杂的
  
  
  • Example: The math problem was too complex for me to solve.
    
    
• chip: 芯片
  
  
  • Example: The computer has a malfunctioning chip.
    
    
• contain: 包含
  
  
  • Example: The box contains various items.
    
    
• problem: 问题
  
  
  • Example: The team needs to find a solution to the problem.
    
    
• vast: 巨大的
  
  
  • Example: The desert extends into vast, empty plains.
    
    
• best: 最佳的
  
  
  • Example: She gave her best performance at the concert.
    
    
• path: 路径
  
  
  • Example: The hikers followed a winding path through the forest.
    
    
• forward: 前进
  
  
  • Example: We need to move forward and find a solution.
    
    
• good: 好的
  
  
  • Example: That was a good movie.
    
    
• news: 新闻
  
  
  • Example: Have you heard the news about the new restaurant?
    
    
• techniques: 技术
  
  
  • Example: He has mastered various cooking techniques.
    
    
• apply: 应用
  
  
  • Example: I will apply for the job tomorrow.
    
    
• class: 类别
  
  
  • Example: This book falls into the mystery class.
    
    
• successful: 成功的
  
  
  • Example: The business venture turned out to be successful.
    
    
  
  

原文

For coverage definition, Synopsys VSO.ai infers some types of coverage beyond traditional code coverage to complement user-specified coverage. Machine learning (ML) can learn from experience and intelligently reuse coverage when appropriate. Even during a single project, learnings from earlier coverage results can help to improve coverage models.VSO.ai works at the coarse-grained test level and provides automated, adaptive test optimization that learns as the results change. Running the tests with highest ROI first while eliminating redundant tests accelerates coverage closure and saves compute resources.

翻译结果：

对于覆盖率的定义，Synopsys VSO.ai通过推断除了传统的代码覆盖率之外的一些覆盖类型，来补充用户指定的覆盖范围。机器学习（ML）可以从经验中学习，并在适当时智能地重用覆盖范围。即使在一个项目中，来自之前覆盖结果的经验也可以帮助提高覆盖模型，VSO.ai在粗粒度测试级别上工作，并提供自动化、自适应的测试优化，随着结果的变化而学习。先运行具有最高投资回报率的测试，同时消除冗余测试，加快覆盖范围的完成并节省计算资源。

简化版英文：

Synopsys VSO.ai uses machine learning to optimize test coverage by inferring different types of coverage beyond traditional code coverage. By learning from experience, VSO.ai can intelligently reuse coverage to complement user-specified coverage. VSO.ai works at the test level and provides automated test optimization that adapts as results change. Running the most impactful tests first while eliminating redundant tests helps to speed up coverage closure and save resources.

固定搭配解释：

• infers some types of coverage: 推断一些覆盖的类型
  
  
  • Example: The AI system infers different types of coverage based on the input data.
    
    
• complement user-specified coverage: 补充用户指定的覆盖范围
  
  
  • Example: The additional coverage complements the user-specified coverage to provide a more comprehensive result.
    
    
• learn from experience: 从经验中学习
  
  
  • Example: The machine learning algorithm learns from past experiences to improve its performance.
    
    
• reuse coverage: 重用覆盖范围
  
  
  • Example: The system intelligently reuses coverage from previous tests to save time and resources.
    
    
• test optimization: 测试优化
  
  
  • Example: The automated test optimization algorithm adjusts the test plan based on the changing results.
    
    
• coverage closure: 覆盖范围的完成
  
  
  • Example: The team worked hard to achieve coverage closure before the deadline.
    
    
• save compute resources: 节省计算资源
  
  
  • Example: The efficient algorithm helps to save compute resources and improve system performance.
    
    
  
  

单词提取：

• coverage: 覆盖范围
  
  
  • Example: The test results showed good coverage of the software functionalities.
    
    
• infers: 推断
  
  
  • Example: The AI system infers patterns from the input data.
    
    
• complement: 补充
  
  
  • Example: The additional information complements the existing data.
    
    
• traditional: 传统的
  
  
  • Example: The company has a long tradition of innovation.
    
    
• code: 代码
  
  
  • Example: The programmer wrote the code for the new feature.
    
    
• machine learning (ML): 机器学习
  
  
  • Example: ML algorithms can analyze large amounts of data and make predictions.
    
    
• experience: 经验
  
  
  • Example: The employee has years of experience in the industry.
    
    
• intelligently: 智能地
  
  
  • Example: The system can intelligently adapt to different user preferences.
    
    
• reuse: 重用
  
  
  • Example: The company aims to reduce waste and promote the reuse of materials.
    
    
• coarse-grained: 粗粒度的
  
  
  • Example: The coarse-grained analysis provided a general overview of the data.
    
    
• test: 测试
  
  
  • Example: The quality assurance team conducted extensive tests to ensure the product's reliability.
    
    
• adaptive: 自适应的
  
  
  • Example: The adaptive system adjusts its behavior based on user feedback.
    
    
• optimization: 优化
  
  
  • Example: The team worked on the optimization of the algorithm to improve its efficiency.
    
    
• running: 运行
  
  
  • Example: The program is currently running in the background.
    
    
• ROI: 投资回报率 (Return on Investment)
  
  
  • Example: The company calculated the ROI for the new marketing campaign.
    
    
• eliminating: 消除
  
  
  • Example: The team decided to eliminate unnecessary steps from the process to improve efficiency.
    
    
• closure: 完成
  
  
  • Example: The closure of the project marked the successful completion of the task.
    
    
• save: 节省
  
  
  • Example: The new energy-saving features help to save electricity.
    
    
  
  

原文

The tool also works at the fine-grained level within the simulator to improve the test quality of results (QoR) by adapting the constrained-random stimulus to better target unexercised coverage points. This not only accelerates coverage closure, but also drives convergence to a higher percentage value.

翻译结果：

该工具还在模拟器的细粒度层面上工作，通过调整约束随机刺激以更好地定位未使用的覆盖点来提高测试结果（QoR）的质量。这不仅加速了覆盖点的覆盖，还推动了收敛到更高百分比的数值。

简化版英文：

The tool improves the quality of test results by adapting the stimulus to target unexercised coverage points, accelerating coverage closure and convergence to a higher percentage value.

固定搭配解释：

• fine-grained level: 细粒度层面
  
  
  • Example: The research aims to analyze the problem at a fine-grained level to gain better insights.
    
    
• improve the quality of: 提高...的质量
  
  
  • Example: The new software update is expected to improve the quality of the user experience.
    
    
• target coverage points: 定位覆盖点
  
  
  • Example: The advertising campaign was designed to target specific coverage points to reach the intended audience.
    
    
• accelerate coverage closure: 加速覆盖点覆盖
  
  
  • Example: The team implemented new strategies to accelerate coverage closure and meet the project deadline.
    
    
• drive convergence: 推动收敛
  
  
  • Example: The company implemented new policies to drive convergence between different departments and improve coordination.
    
    
• higher percentage value: 更高百分比的数值
  
  
  • Example: The campaign aims to increase the adoption rate to a higher percentage value.
    
    
  
  

单词提取：

• simulator: 模拟器
  
  
  • Example: The engineer used a simulator to test different scenarios before implementing the system.
    
    
• improve: 提高，改善
  
  
  • Example: The company implemented new strategies to improve the efficiency of the production process.
    
    
• test quality: 测试质量
  
  
  • Example: The team focused on improving the test quality to ensure accurate results.
    
    
• results: 结果
  
  
  • Example: The experiment yielded unexpected results.
    
    
• QoR (Quality of Results): 结果质量
  
  
  • Example: The team is working on enhancing the QoR of the project.
    
    
• adapting: 调整，适应
  
  
  • Example: The software is capable of adapting to different operating systems.
    
    
• constrained-random: 约束随机
  
  
  • Example: The algorithm generates constrained-random sequences for testing.
    
    
• stimulus: 刺激
  
  
  • Example: The study investigates the effects of various stimuli on human behavior.
    
    
• target: 定位，目标
  
  
  • Example: The marketing campaign targets young professionals.
    
    
• unexercised: 未使用的
  
  
  • Example: The system has several unexercised features that need to be explored.
    
    
• coverage points: 覆盖点
  
  
  • Example: The testing process aims to cover all critical coverage points.
    
    
• accelerate: 加速
  
  
  • Example: The company implemented new strategies to accelerate the product development process.
    
    
• closure: 闭合，结束
  
  
  • Example: The agreement reached closure after several rounds of negotiation.
    
    
• drive: 推动，引导
  
  
  • Example: The manager is constantly driving innovation and improvement in the company.
    
    
• convergence: 收敛
  
  
  • Example: The discussion led to a convergence of opinions among the team members.
    
    
• higher: 更高的
  
  
  • Example: The company aims to achieve higher sales figures this quarter.
    
    
  
  

原文

The last mile closure challenge is addressed by automated, AI-driven analysis of coverage results. VSO.ai performs root cause analysis (RCA) to determine why specific coverage points are not being reached. If the tool can resolve the situation itself, it will. Otherwise, it presents the team with actionable results, such as identifying conflicting constraints.

翻译结果：

通过自动化和人工智能驱动的覆盖分析来解决最后一英里的闭环难题。VSO.ai进行根本原因分析来确定为什么没有达到特定的覆盖点。如果工具可以自行解决问题，它会这样做。否则，它会向团队展示可操作的结果，如识别冲突约束条件。

简化版英文：

Automated analysis of coverage results is used to address the challenge of the last mile closure. VSO.ai performs root cause analysis (RCA) to determine why specific coverage points are not reached. It provides actionable results to the team, such as identifying conflicting constraints, if it cannot resolve the situation itself.

固定搭配解释：

• address the challenge: 解决挑战
  
  
  • Example: The company implemented new strategies to address the challenge of declining sales.
    
    
• root cause analysis: 根本原因分析
  
  
  • Example: The team conducted a root cause analysis to determine why the system malfunctioned.
    
    
• reach coverage points: 达到覆盖点
  
  
  • Example: The network needs to be expanded to reach coverage points in rural areas.
    
    
• resolve the situation: 解决情况
  
  
  • Example: The mediator helped resolve the situation between the two parties.
    
    
• provide actionable results: 提供可操作的结果
  
  
  • Example: The report provided actionable results that the team could use to improve efficiency.
    
    
• identify conflicting constraints: 识别冲突约束条件
  
  
  • Example: The project manager identified conflicting constraints that were hindering progress.
    
    
  
  

原文

The figure below summarizes the benefits VSO.ai can deliver. A top-level benefit of these approaches is the achievement of superior results in less time with less designer effort. We will re-visit this statement in a moment.

翻译结果

下图总结了VSO.ai可以提供的好处。这些方法的顶层好处是在更少的时间和更少的设计师努力下实现更好的结果。我们将在一会儿重新审视这个表述。

简化版英文

The figure below shows the benefits of using VSO.ai. One major benefit is achieving better results in less time with less effort from designers. We will discuss this further later.

固定搭配解释

• achieve superior results: 实现更好的结果
  
  
  • Example: By implementing these strategies, we can achieve superior results in customer satisfaction.
    
    
• in less time: 在更短的时间内
  
  
  • Example: The new software allows users to complete tasks in less time than before.
    
    
• with less effort: 以更少的努力
  
  
  • Example: The new machine reduces production time with less effort from the workers.
    
    
  
  

单词提取

• benefit: 好处
  
  
  • Example: Regular exercise has many benefits such as improved health and increased energy.
    
    
• approach: 方法
  
  
  • Example: The company is taking a different approach to marketing this new product.
    
    
• achievement: 实现
  
  
  • Example: Winning the championship was the greatest achievement of his career.
    
    
• superior: 更好的
  
  
  • Example: The restaurant is known for its superior service and high-quality food.
    
    
• effort: 努力
  
  
  • Example: With enough effort and determination, you can achieve your goals.
    
    
  
  

原文

What AMD Found  At the recent Synopsys Users Group (SNUG) held in Silicon Valley, AMD presented a paper entitled,  “Drop the Blindfold: Coverage-Regression Optimization in Constrained-Random Simulations using  VSO.ai (Verification Space Optimization) .”  The paper detailed AMD’s experiences using VSO.ai on  several designs. AMD had substantial goals and expectations for this work:Reach 100% coverage consistently with small RTL changes and design variants, but in an  optimized, automated way.

翻译结果

AMD发现了什么  在最近在硅谷举办的Synopsys User Group（SNUG）上，AMD提出了一份题为“脱下眼罩：使用VSO.ai（验证空间优化）在有约束随机模拟中进行覆盖回归优化”的论文。该论文详细介绍了AMD在几个设计中使用VSO.ai的经验。AMD对这项工作有着重要的目标和期望：通过小型RTL更改和设计变体以优化自动化方式，达到 100% 的覆盖率。

简化版英文

AMD found that using VSO.ai in constrained-random simulations can optimize and automate the process of reaching consistent 100% coverage with small RTL changes and design variants.

固定搭配解释

• reach 100% coverage: 达到100%的覆盖率
  
  
  • Example: The team is working hard to reach 100% coverage of all test cases.
    
    
• consistently: 一贯地，始终如一地
  
  
  • Example: He consistently delivers high-quality work on time.
    
    
• in an optimized, automated way: 通过优化自动化的方式
  
  
  • Example: The company utilizes advanced technology to complete tasks in an optimized, automated way.
    
    
  
  

单词提取

• constrained: 有约束的
  
  
  • Example: The project has a constrained budget, so we need to be careful with our expenses.
    
    
• random: 随机的
  
  
  • Example: The lottery numbers are chosen at random.
    
    
• simulation: 模拟
  
  
  • Example: The engineers used a computer simulation to test the new design.
    
    
• optimize: 优化
  
  
  • Example: The company is working to optimize its manufacturing process.
    
    
• automated: 自动化的
  
  
  • Example: The factory uses automated machines to assemble the products.
    
    
  
  

原文

AMD applied a well-documented methodology using VSO.ai across regression samples for four different designs. The figure below summarizes these four experiments.

翻译结果

AMD采用了一个经过充分记录的方法，在四个不同设计的回归样本中使用了VSO.ai。下图总结了这四个实验。

简化版英文

AMD used a well-documented methodology with VSO.ai on regression samples for four designs. The figure below summarizes these four experiments.

固定搭配解释

• apply a methodology: 应用方法论
  
  
  • Example: The researchers applied a new methodology to study the behavior of birds.
    
    
• summarize an experiment: 总结一个实验
  
  
  • Example: The scientist summarized the experiment's findings in a report.
    
    
  
  

单词提取

• methodology: 方法论
  
  
  • Example: The company has developed a new methodology for data analysis.
    
    
• regression: 回归
  
  
  • Example: The researcher used regression analysis to examine the relationship between two variables.
    
    
• design: 设计
  
  
  • Example: The architect presented several design options for the new building.
    
    
  
  

原文

Regression Characteristics Across Four Designs

AMD then presented a detailed overview of these designs, their challenges and the results achieved by using VSO.ai, compared to the original effort without VSO.ai. Recall one of the hallmark benefits of applying AI to the design process: Achievement of superior results in less time with less designer effort. In its SNUG presentation, awarded one of the Top 10 Best Presentations at the event, AMD summarized the observed benefits as follows: 1.5 – 16X reduction in the number of tests being run across the four designs to achieve the same coverage. Quick, on-demand regression qualifier. Can be used to gauge how well the test distribution of a regression is if user is uncertain on iterations needed. Potentially target more bins under same budget. If default regression(s) do not achieve 100% coverage, VSO.ai can potentially exceed this (i.e., experiment #1). Testcase(s) removal in coverage regressions if not contributing. More reliable test grading for constrained random testsURG (Unified report generator): seed-based v/s VSO.ai: probability-based. Debug. Uncover coverage items that have a lower probability of being hit than expected. This presentation put VSO.ai to the test and the positive impact of the tool was documented.  As mentioned, this kind of user application to real designs is the real test of a new technology. And that’s how AMD puts Synopsys AI verification tools to the test..

翻译结果：

四种设计的回归特征

随后，AMD提供了对这些设计的详细概述，以及使用VSO.ai相比未使用VSO.ai的原始工作的挑战和实现的结果。回想一下，将人工智能应用于设计过程的标志性好处之一：在更少的时间和更少的设计师工作的情况下实现更优秀的结果。在其SNUG演示中，AMD总结了观察到的好处如下：在四种设计中运行的测试数量减少了1.5至16倍，以实现相同的覆盖范围。快速的按需回归验证。如果用户对所需迭代次数不确定，可以用来评估回归的测试分布情况。在同一预算下，可能针对更多的箱体。如果默认的回归测试未达到100%的覆盖率，VSO.ai有可能超越这一点（即实验#1）。覆盖回归中的测试用例如果没有作出贡献，则移除。对于约束随机测试，具有更可靠的测试评分。URG（统一报告生成器）：基于种子和VSO.ai：基于概率。调试。揭示比预期更低概率被触发的覆盖项。这次演示对VSO.ai进行了测试，并记录了该工具的积极影响。如前所述，这种用户将新技术应用于真实设计，这是对新技术的真实测试。这就是AMD如何对Synopsys人工智能验证工具进行测试。。

简化版英文：

AMD presented an overview of four designs, their challenges, and the results achieved by using VSO.ai compared to without it. The benefits of applying AI to the design process are superior results achieved in less time with less effort. AMD summarized the observed benefits as follows: reduction in the number of tests needed for the same coverage across the four designs, quick regression qualification, the ability to gauge the test distribution of a regression if unsure about the number of iterations needed, the potential to target more bins within the same budget, the possibility of achieving higher coverage than default regressions, the removal of test cases that do not contribute to coverage regressions, more reliable test grading for constrained random tests, and the use of probability-based VSO.ai instead of seed-based URG (Unified Report Generator) for debugging and identifying coverage items with lower than expected hit probability. The positive impact of VSO.ai was demonstrated through real design applications, which is the true test of a new technology for AMD.

固定搭配解释：

• apply AI to: 将人工智能应用于
  
  
  • Example: We decided to apply AI to our manufacturing process to increase efficiency.
    
    
• achieve superior results: 获得更优秀的结果
  
  
  • Example: Their team worked hard to achieve superior results in the competition.
    
    
• reduction in: 减少
  
  
  • Example: There was a reduction in the number of participants this year compared to last year.
    
    
• run tests: 运行测试
  
  
  • Example: Before launching the product, we need to run tests to ensure its quality and performance.
    
    
• achieve coverage: 实现覆盖率
  
  
  • Example: The marketing team needs to come up with strategies to achieve coverage in all target markets.
    
    
• gauge how well: 评估...好坏程度
  
  
  • Example: We need to gauge how well the new marketing campaign is performing.
    
    
• target bins: 针对箱体
  
  
  • Example: The company is targeting high-income consumers for its luxury products.
    
    
• exceed 100%: 超过100%
  
  
  • Example: The company's sales performance exceeded 100% of the target.
    
    
• remove test cases: 移除测试用例
  
  
  • Example: We decided to remove the outdated test cases from our test suite.
    
    
• reliable test grading: 可靠的测试评分
  
  
  • Example: The teacher used a reliable test grading method to ensure fair evaluation of student's performance.
    
    
• debug: 调试
  
  
  • Example: The programmer spent hours debugging the code to fix the errors.
    
    
• uncover coverage items: 发现覆盖项
  
  
  • Example: The analysis of the data helped us uncover coverage items that were missed before.
    
    
  
  

单词提取：

• overview: 概述
  
  
  • Example: The CEO gave an overview of the company's performance in the past year.
    
    
• achieve: 实现
  
  
  • Example: With hard work and determination, she was able to achieve her goals.
    
    
• coverage: 覆盖率
  
  
  • Example: The insurance policy provides coverage for damages caused by natural disasters.
    
    
• regression: 回归
  
  
  • Example: The scientist used regression analysis to study the relationship between temperature and ice melt.
    
    
• reduction: 减少
  
  
  • Example: The company implemented cost reduction measures to improve profitability.
    
    
• tests: 测试
  
  
  • Example: The new software went through several tests before it was released to the public.
    
    
• quick: 快速的
  
  
  • Example: We need a quick solution to solve this problem before it gets worse.
    
    
• on-demand: 随需应变的
  
  
  • Example: The new streaming service offers on-demand access to a wide range of movies and TV shows.
    
    
• qualifier: 限定符
  
  
  • Example: The word "some" in the sentence is used as a qualifier to indicate a certain amount or degree.
    
    
• gauge: 评估
  
  
  • Example: We need to gauge public opinion before making any decisions.
    
    
• distribute: 分布
  
  
  • Example: The company wants to distribute their products in new markets.
    
    
• uncertain: 不确定的
  
  
  • Example: I'm still uncertain about which college I want to attend.
    
    
• potentially: 可能地
  
  
  • Example: The new treatment could potentially cure the disease.
    
    
• target: 针对
  
  
  • Example: The company is targeting young professionals with their new advertising campaign.
    
    
• exceed: 超过
  
  
  • Example: The company's sales exceeded expectations for the quarter.
    
    
• contribute: 贡献
  
  
  • Example: Everyone needs to contribute to the success of the team.
    
    
• reliable: 可靠的
  
  
  • Example: The data from the study is not reliable enough to draw a conclusion.
    
    
• grade: 评分
  
  
  • Example: The teacher graded the students' papers and provided feedback.
    
    
• debug: 调试
  
  
  • Example: The programmer spent hours debugging the code to find and fix the errors.
    
    
• uncover: 发现
  
  
  • Example: The investigation uncovered new evidence that led to the arrest of the suspect.
    
    
  
  

movit

使用GPT模型翻译/提取单词/提取固定搭配，阅读加学习，一举两得 （：

dcircuit

1111111111111