InnoLogic的新嵌入式符号处理器工具介绍
innologic的新嵌入式符号处理器（esp）工具使用符号模拟技术来减少检查设计所需的功能仿真向量的数量（图）。基于verilog的esp使用变量或符号，以及传统eda模拟器用于检查设计的0,1，x和z状态。当符号模拟器找到符号输入时，它会传播布尔表达式而不是数字值。例如，使用esp，您可以在一个周期内验证具有16个输入的alu;传统的模拟器需要64,000个输入来验证所有输入组合。
您可以使用事件驱动的esp-xv模拟器在行为级，rtl和门级进行verilog设计的功能验证。随着仿真时间的缩短，基于esp的仿真的测试平台生成比传统仿真简单得多，因为您不必担心大量的输入组合。第二个工具esp-cv是基于符号模拟技术的等价检查器。该工具将spice网表与verilog模型进行了比较。 esp-cv通过将spice描述转换为交换机级描述并使用用户输入符号将功能与verilog模型的功能进行匹配来执行此任务。该工具对嵌入式存储器非常有用，因为它允许您在一个周期内“绘制”内存并在一个额外周期内检查结果。目前的esp工具可以处理多达100万门的设计。符号容量取决于设计;最坏情况电路，如乘法器，可以有大约50个符号，最佳情况电路，如存储器，可以有几千个符号。
使用符号工具而不是传统工具进行功能验证涉及限制。由于innologic工具的运行速度比传统模拟器快10倍，因此如果在模拟过程中使用四个或更多符号，则可获得运行时优势。您也不能使用任意数量的符号。当您添加符号时，模拟器所承载的布尔表达式变得复杂并开始消耗比计算平台更多的内存。如果发生这种情况，esp会将一些符号转换为二进制值;你失去了覆盖面，但模拟结束了。在verilog仿真中不能使用带有c参考模型的符号，因为c模型不能接受符号。最后，当前版本的esp工具无法处理某些可编程逻辑接口，尽管innologic计划在其未来版本的工具中添加此功能。 esp-xv和esp-cv都在unix下运行。这些工具的起始价格为100,000美元。
倾角传感器在山体滑坡中的应用方案
国内唯一，华为再次入选2022 Gartner SIEM魔力象限
5G＋新基建浪潮的到来,硅光模块技术将会得到进一步发展
TI传感器在工业方面有哪些应用？（1）
iOS10.2终于推送，果粉升级后泪奔
InnoLogic的新嵌入式符号处理器工具介绍
空气能热水器的优缺点
加速高性能封装技术转型 长电科技蓄力未来发展
多家中资银行与特斯拉达成90亿元贷款协议，专用于中国业务
RY2206单芯锂离子及锂聚电池保护IC概述
基于IP的TD-SCDMA无线接入网络
人工智能和物联网有哪些精彩大事件不容错过？
航空高光谱遥感区域成矿背景研究—以甘肃柳园-方山口地区为例2.0
wifi智能插座开发烧录程序视频教学
【世说设计】烧脑长文！近乎完美的DDS正弦波信号音生成器！
断路器工作原理
图解中南地区各省市新材料产业发展重点及目标
单片机输出PWM的常见方法
冒烟损坏的电脑硬盘维修
宽带电压控制放大器VCA610
您可以使用事件驱动的esp-xv模拟器在行为级，rtl和门级进行verilog设计的功能验证。随着仿真时间的缩短，基于esp的仿真的测试平台生成比传统仿真简单得多，因为您不必担心大量的输入组合。第二个工具esp-cv是基于符号模拟技术的等价检查器。该工具将spice网表与verilog模型进行了比较。 esp-cv通过将spice描述转换为交换机级描述并使用用户输入符号将功能与verilog模型的功能进行匹配来执行此任务。该工具对嵌入式存储器非常有用，因为它允许您在一个周期内“绘制”内存并在一个额外周期内检查结果。目前的esp工具可以处理多达100万门的设计。符号容量取决于设计;最坏情况电路，如乘法器，可以有大约50个符号，最佳情况电路，如存储器，可以有几千个符号。
使用符号工具而不是传统工具进行功能验证涉及限制。由于innologic工具的运行速度比传统模拟器快10倍，因此如果在模拟过程中使用四个或更多符号，则可获得运行时优势。您也不能使用任意数量的符号。当您添加符号时，模拟器所承载的布尔表达式变得复杂并开始消耗比计算平台更多的内存。如果发生这种情况，esp会将一些符号转换为二进制值;你失去了覆盖面，但模拟结束了。在verilog仿真中不能使用带有c参考模型的符号，因为c模型不能接受符号。最后，当前版本的esp工具无法处理某些可编程逻辑接口，尽管innologic计划在其未来版本的工具中添加此功能。 esp-xv和esp-cv都在unix下运行。这些工具的起始价格为100,000美元。
倾角传感器在山体滑坡中的应用方案
国内唯一，华为再次入选2022 Gartner SIEM魔力象限
5G＋新基建浪潮的到来,硅光模块技术将会得到进一步发展
TI传感器在工业方面有哪些应用？（1）
iOS10.2终于推送，果粉升级后泪奔
InnoLogic的新嵌入式符号处理器工具介绍
空气能热水器的优缺点
加速高性能封装技术转型 长电科技蓄力未来发展
多家中资银行与特斯拉达成90亿元贷款协议，专用于中国业务
RY2206单芯锂离子及锂聚电池保护IC概述
基于IP的TD-SCDMA无线接入网络
人工智能和物联网有哪些精彩大事件不容错过？
航空高光谱遥感区域成矿背景研究—以甘肃柳园-方山口地区为例2.0
wifi智能插座开发烧录程序视频教学
【世说设计】烧脑长文！近乎完美的DDS正弦波信号音生成器！
断路器工作原理
图解中南地区各省市新材料产业发展重点及目标
单片机输出PWM的常见方法
冒烟损坏的电脑硬盘维修
宽带电压控制放大器VCA610