白皮书

-或-
重置

后果

名称 产品 类型 行动
加快新一代FPGA的SoC仿真时间
HDL模拟器提供的全面验证是好的,但并不理想。需要的是一个更快、更安全、更彻底的验证环境,它将HDL模拟器的健壮性与FPGA原型板的速度结合起来。目标是将这两种验证方法的威力整合到一个平台中。
HES-DVM 白皮书
实现RTL到网表的等价性
模拟合成不匹配问题可能导致物理设备故障。即使对于功能完美的RTL仿真,其物理实现也可能包含关键的设计缺陷。RTL Linting是定位和修复合成不匹配问题的模拟的唯一方法。下面的文章介绍了合成不匹配问题的典型模拟,并通过简单的示例加以说明。对于所述的每一个问题,都会识别和解释皮棉检查。
有源HDL、Riviera PRO、ALINT-PRO 白皮书
Aldec DO-254解决方案蓝图
联邦航空管理局(FAA)认可FPGA设计和验证常用工具的使用,如RTL模拟器、合成、位置和路线以及静态时序分析。对于DAL A和B FPGA,FAA还认可了其他可改进设计、验证、可追溯性和项目管理的工具,包括需求管理、可追溯性、测试管理、设计规则检查、时钟域交叉(CDC)分析、代码覆盖率和FPGA物理测试系统。
有源HDL,ALINT-PRO,规格跟踪器,DO-254/CTS 白皮书
ASIC原型设计-与Xilinx合著
本文重点介绍了使用基于FPGA的原型进行ASIC验证的可能性,考虑到最新的Virtex-7设备和Aldec HES-7双Virtex-7 2000T ASIC原型板。此外,还描述了最常见的分区问题和解决方案。
HES-DVM,HES™ 董事会 白皮书
使用Aldec服务器场管理器进行自动ASIC回归
摘要:Aldec的服务器场管理器(SFM)解决了ASIC回归测试问题,以实现快速、经济高效和高质量的ASIC设计验证。
有源HDL 白皮书
高容量FPGA器件的最佳设计实践
随着最新FPGA技术的进步和大规模FPGA器件的发布,设计团队在生产高质量HDL代码方面面临着前所未有的挑战。为了节省功能验证和实施阶段的时间,从设计过程的早期阶段开始确保设计质量变得越来越重要。在ASIC设计流程中,Lint工具(有时称为设计规则检查器)确保早期设计质量,并在整个项目生命周期中保持该质量。
里维埃拉专业版,ALINT-PRO 白皮书
澄清语言方法论的困惑
摘要:从事现代大型FPGA设计的工程师面临着多重挑战:不断变化的语言、方法和实现它们的工具。现在许多设计同时包含硬件和软件这一事实只会增加混乱。本文件试图澄清这种情况。
有源HDL 白皮书
FPGA世界中的时钟域交叉
时钟域交叉(CDC)问题导致ASIC和FPGA设备出现大量故障。随着FPGA复杂性和性能的增长,CDC问题对设计功能的影响也越来越大。本文概述了FPGA设计中的CDC问题及其解决方案。本文介绍了Xilinx和Intel FPGA设备的各种设计技术以及实际示例。更重要的是,本文总结了CDC关于高可靠性FPGA设计的最重要指南。
ALINT-PRO 白皮书
集成设计环境中的并行FPGA-PCB设计
随着大规模、高引脚数和高速FPGA器件的不断采用,正确的首次印刷电路板(PCB)设计实践对于确保正确的系统操作比以往任何时候都更为重要。通常,PCB设计与FPGA的设计和编程同时进行。信号和引脚分配最初由FPGA设计人员进行,而电路板设计人员必须将这些分配正确地转换为系统电路示意图和电路板布局中使用的符号。随着电路板设计的进展,可能需要重新分配引脚以优化PCB布局。这些重新分配必须依次转发回FPGA设计人员,以便通过更新FPGA设计的布局和路由来处理新的分配。为了克服这些挑战,Zuken和Aldec提供了一个集成的设计环境来支持这些设计流程。
有源HDL 白皮书
FPGA设计流程的企业标准化
不断增长的客户需求和技术能力增加了硬件和软件的设计复杂性。上市时间正在缩短,新设计的寿命也在缩短。为了满足所有这些要求,需要一种新的设计过程方法。
有源HDL 白皮书
在Riviera PRO中调试SCE-MI联合仿真
摘要:在高可视性的仿真过程中调试设计可能是一项挑战。本文介绍了Aldec对这一问题的解决方案;用于SCE-MI联合仿真的调试环境,提供在基于FPGA的仿真器中运行的设计的100%信号可见性。从emulator智能捕获的调试探测保留原始信号名称和层次结构路径,以提供仿真中设计的真实RTL视图。
里维埃拉专业版,HES-DVM 白皮书
片上网络设计仿真的UVM测试台设计
通用验证方法(UVM)是使用事务测试台环境的最流行的方法之一。SoC设计的发展迫使设计和验证团队使用仿真来加速验证过程。标准协同仿真建模接口(SCE-MI)提供了将仿真设计与事务测试台连接起来的方法。本文描述了如何使用SCE-MI创建UVM测试环境,该环境可用于模拟和仿真。
HES-DVM 白皮书
DO-254:通过测试增加验证覆盖率
测试验证覆盖率对于满足DO-254的目标至关重要。然而,在最终的电路板测试期间,通过测试验证需求是具有挑战性和耗时的。本白皮书解释了这些挑战背后的原因,并提供了如何克服这些挑战的建议。这些建议以Aldec独特的设备测试方法为中心,该方法可以通过测试显著增加验证覆盖率。
DO-254/CTS 白皮书
DO-254需求可追溯性
DO-254对商用机载电子硬件的开发实施严格的要求驱动流程。对于DO-254,需求必须驱动设计和验证活动,需求可追溯性有助于确保这一点。本文解释了需求可追溯性背后的基本原理,包括它的目的和正确执行时产生的好处。
规格跟踪器 白皮书
DO-254现行HDL代码覆盖范围的工具鉴定过程指南
本文件的目的是指导主动HDL代码覆盖工具的鉴定过程。
DO-254/CTS 白皮书
嵌入式系统验证
摘要:随着移动和个人应用程序数量的增长,使用嵌入式处理器成为一种必要。具有所谓软或硬处理器核心的新FPGA设备能够快速从FPGA迁移到SoC应用程序和项目。这不仅影响硬件本身,还影响支持SoC设计者的最新FPGA设备的工具。此类工具将在本文档中讨论。
有源HDL 白皮书
用嵌入式PSL增强Verilog设计
摘要:PSL(属性规范语言)是向熟悉Verilog HDL的任何人介绍设计属性、断言和覆盖点的最简单的方法之一。数字电路的设计者对电路的操作有最好的理解,这使她或他成为定义属性的最佳人选,这些属性将在模拟过程中出现错误的设计行为时触发断言消息,或者通过显示验证过程中涵盖了所有期望的行为,向测试台创建者提供有价值的反馈。因此,使用嵌入式PSL属性和断言对工程师非常有益,并使他们的设计更好。
有源HDL 白皮书
用SVA增强Verilog设计
摘要:SVA(SystemVerilog断言)语言是向熟悉Verilog HDL的任何人介绍设计属性、断言和覆盖点的最简单的语言之一。数字电路的设计者对电路的操作有最好的理解,这使她或他成为定义属性的最佳人选,这些属性将在模拟过程中出现错误的设计行为时触发断言消息,或者通过显示验证过程中涵盖了所有期望的行为,向测试台创建者提供有价值的反馈。因此,在设计代码中直接使用SVA属性和断言对工程师非常有益,并使他们的设计更好。
有源HDL 白皮书
用嵌入式PSL增强VHDL设计
摘要:对于熟悉VHDL(VHSIC硬件描述语言)的任何人来说,PSL(属性规范语言)是对设计属性、断言和覆盖点的最简单介绍。数字电路的设计者对电路的操作有最好的理解,这使她或他成为定义属性的最佳人选,这些属性将在模拟过程中出现错误的设计行为时触发断言消息,或者通过显示验证过程中涵盖了所有期望的行为,向测试台创建者提供有价值的反馈。因此,使用嵌入式PSL属性和断言对工程师非常有益,并使他们的设计更好。
有源HDL 白皮书
在发现您之前发现CDC问题:针对DO-254合规性的高级CDC验证
FPGA中的时钟域交叉(CDC)代表了发生故障的概率机会。功能模拟和静态时序分析工具不足。发现和解决CDC周围的亚稳态和数据不一致性需要对FPGA设计进行静态和动态分析。Aldec ALINT-PRO-CDC增强了对CDC的定位和完全缓解的信心。
ALINT-PRO 白皮书
49结果(第1/3页)
问我们一个问题
十、
问我们一个问题
十、
验证码图像 重新加载验证码
输入的数据不正确。
非常感谢。您的问题已提交。请留出1-3个工作日,以便有人回答您的问题。
发生内部错误。你的问题没有提交。请联系我们使用反馈表.
我们使用cookies来确保为您提供最佳的用户体验,并为您提供我们认为与您相关的内容。如果您继续使用我们的网站,您同意我们使用cookie。有关Cookie和其他网站信息使用的详细概述,请参阅隐私政策.
Baidu