EDA软件商OneSpin Solutions GmbH公司引进序列等价验证方案,该方案致力于FPGA综合验证。
OneSpin Solutions公司声称其360 EC-FPGA等价校验器使设计者可以结合高级综合优化进行功能验证,高级综合优化在功能、性能和成本目标方面不可或缺。此等价校验器还称能在寄存器转移水平代码和后综合FPGA网表之间验证功能等效性,也可以在后综合表单和后布局布线FPGA网表之间验证功能等效性。
OneSpin公司补充说其方案旨在利用全部实施阶段,检测错误,失配上引进复杂的FPGA综合优化来维护设计功能。该方案同时支持原型和产品部件验证。该公司指出。
“复杂,高度优化的FPGA设计要使用等价验证,设计者需要特殊的FPGA解决方案而非折衷的优化方式。”OneSpin的CEO Peter Feis指出。“我们制造独立的360 EC-FPGA ,特制方案用来满足这种需要。我们的客户告诉我们,该等价校验器可以很容易地和他们已建立的FPGA流匹配,并且保证了他们的设计质量。其技术的优越性和富有吸引力的价格将帮助OneSpin在这类新兴市场中取得领先地位。”
这个设在Munich的公司指出其360 EC-FPGA方案适合Linux 32/64位和Solaris 32/64系统平台,标价40,800美元。
关键字:校验 寄存 代码 验证
引用地址:
OneSpin揭最新FPGA校验方案神秘面纱
推荐阅读最新更新时间:2024-05-02 20:39
第49章 在SRAM中调试代码—零死角玩转STM32-F429系列
本章参考资料:《STM32F4xx 中文参考手册》、《STM32F4xx规格书》、《Cortex-M3权威指南》、《Cortex-M4 Technical Reference Manual》(跟M3大部分是相同的,读英文不习惯可先参考《Cortex-M3权威指南》)。 学习本章时,配合《STM32F4xx 中文参考手册》 存储器和总线结构 及 嵌入式FLASH接口 章节一起阅读,效果会更佳,特别是涉及到寄存器说明的部分。 49.1 在RAM中调试代码 一般情况下,我们在MDK中编写工程应用后,调试时都是把程序下载到芯片的内部FLASH运行测试的,代码的CODE及RW-data的内容被写入到内部FLASH中存储。但在某些应用
[单片机]
STM32寄存器操作方式学习-时钟配置
一、当STM32刚上电启动时,它是从频率为8 MHz 的内部振荡器运行的,假如程序设置外部高速时钟(HSE)为系统时钟源时,在外部高速时钟准备好之前对HSI相关寄存器的操作是无效的,相关位的值将保持在默认值。因此,要想关闭HSI以节能,必须在外部高速时钟准备好之后对HSI相关寄存器操作。 二、当STM32启动时,它是从频率为8 MHz 的内部振荡器运行的,因此内部FLASH 的访问时间不是一个问题。然而,一旦PLL启用并作为时钟源,对于运行在最高性能的Cortex CPU来说,FLASH的速度跟不上CPU。为了允许Cortex CPU 运行在72 MHz具有零等待状态,FLASH 存储器具有由两个64 位缓存器组成的预取缓冲器。这
[单片机]
s3c6410 s3c2440串口发送接收数据的实现(轮询)及相关寄存器
1 6410与串口相关寄存器 一 需要设置的寄存器(其实进入uboot后,串口已经设置好了,直接发送数据就行了,) 1)模式 UCON (轮询,中断,DMA等) 2)相关参数 ULCON0 定义了串口数据的帧格式,数据位长度,奇偶校验位,停止位(8-N-1) BRDIV 定义了波特率的计算公式所得结果的整数部分 UDIVSLOT0 定义了波特率的计算公式所得结果的小数部分 3)高级选项(串口的发送接收缓冲的大小(fifo)默认是1B,可改成64B 二 发送接收数据 相关的寄存器 UTXH0 UART channel 0 transmit buffer register URXH0 UART chan
[单片机]
51单片机程序深入编写裸机代码有助于了解硬件的特性
单片机是没有上操作系统的东西,在keil中编写的代码都是裸机代码,深入编写裸机代码有助于了解硬件的特性。 若不是硬件特性已定的情况之下的其它流程都是代码作祟。忽然想到来探探51单片机的执行流程。这个念头起源于最初见到每个51程序里面的主函数里面最终都挂一个while(1);语句。为何要加一句while死循环让程序停留在main函数中呢。将while(1);语句去掉有什么影响么? 写一个很简单的程序试一下。 执行以上程序,由P1端口控制的流水灯闪了一下。程序最终进入while(1);里纠缠去了,这个到好解释。 现将while(1);语句屏蔽掉。我还以为程序不能被正确执行了呢,因为退出了main主函数,就像Rende
[单片机]
C51串口的SCON寄存器及工作方式
一,串行口控制寄存器SCON 它用于定义串行口的工作方式及实施接收和发送控制。字节地址为98H,其各位定义如下表: D7 D6 D5 D4 D3 D2 D1 D0 SM0 SM1 SM2 REN TB8 RB8 TI RI SM0、SM1:串行口工作方式选择位,其定义如下: SM0、SM1 工作方式 功能描述 波特率 0 0
[单片机]
ARM寄存器的操作方法
#define GPIOCOUT *((volatile unsigned int *)0xc001c000) #define GPIOCOUTENB *((volatile unsigned int *)0xc001c004) #define GPIOCALTFN0 *((volatile unsigned int *)0xc001c020) void delay(unsigned int); void led_test(void) { /*配置选择GPIOC12管脚的功能1*/ GPIOCALTFN0 &= ~(3 24);//清0 bit24 25 GPIOCALTFN0 |= (1 24);//置1
[单片机]
Veloce硬件加速仿真平台软件加入 ISO 26262 验证程序
Mentor, a Siemens business 宣布独立合规公司 SGS-TÜV Saar 已对 Mentor 新版 Veloce® Strato™ 硬件加速仿真平台关键软件元素的工具验证报告进行了 ISO 26262 合规性认证。认证巩固了 Mentor 在确保功能安全和硬件加速仿真技术领域的领导地位,能够帮助芯片设计人员达到并超越全球汽车行业日益严格的安全和质量要求。 这是 Mentor 第 22 次通过 ISO 26262 产品认证。从这些 Mentor Safe 程序的新增功能可以看出,公司致力于使其业界领先的电子硬件和软件设计解决方案产品组合的所有标志产品通过关键文档的功能安全验证。 “人们对自动驾驶和成熟 AD
[汽车电子]
利用频域时钟抖动分析加快设计验证过程
简介 随着数据速率的提高,时钟抖动分析的需求也在与日俱增。在高速串行数据链路中,时钟抖动会影响发射机、传输线和接收机的数据抖动。保证时钟质量的测量也在不断发展。目前的重点是针对比特误码率,在时钟性能和系统性能之间建立直接联系。我们将探讨参考时钟的作用和时钟抖动对数据抖动的影响,并讨论在E5052B信号源分析仪(SSA)上运行的Agilent E5001A精确时钟抖动分析应用软件所配备的全新测量技术。该应用软件提供了前所未有的强大能力,可以对随机抖动(RJ)和周期抖动(PJ)分量超低RJ测量和实时抖动频谱分析,使您能够提高设计质量。我们还将对新解决方案的实时测量功能进行讨论,这一功能能够加快设计验证过程。 参考时钟
[测试测量]