简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:随着安全算法的发展,其复杂性和算法操作数据位数也随之迅速增加。安全算法的硬件实现和加速器化已成为必然趋势。本文针对北京华虹集成电路设计有限公司的安全算法加速器IP核的验证项目,介绍了Synopsys公司VMM验证平台和AMBAVIP在其中的应用。主要阐述了选择VMM验证平台与AMBAVIP的依据;VMM环境中定向测试发生器(Generator)模块的编写、测试案例编写、安全算法的设计、仿真信息筛选方面的应用技巧。通过本验证平台,查出了加速器很多处设计错误。仿真平台验证结束后,在FPGA上对本加速器进行了大量椭圆曲线的测试。所有测试全部通过,证明了本验证平台的有效性。
简介:采用EDA仿真软件Multisim对预放大与判断电路进行仿真测试,利用此软件的仿真分析功能测试电路的电压传输特性曲线。同时,借助华大电子九天EDA工具(Zeni),设计预放大与判断电路的芯片版图,进而对版图仿真。
简介:灵羊辞旧,金猴迎春11月31日,景旺电子2015年总结表彰大会、2016年“新思路新发展”新春团拜会在深圳隆重举行。SPCA杨兴全副秘书长、GPCA何坚明常务副秘书长一行应邀出席,与景旺人一同回首作别2015、迎接拥抱2016。景旺的2015年,卓越非凡——ERP如期上线,首届供应商大会顺利召开,公司两地三厂超额完成产值日标,全年产能达360万m^2、27个亿,始终保持着20%以上的销售增长率,向“成为全球最可信赖的电子电路制造商”的景旺梦又迈进了一步!董事长、总裁刘绍柏先生在致辞中提出,2016年景旺要始终坚持品质优先战略——以市场为导向,技术引领,品质优先,人才驱动,着力提升生产自动化、市场国际化、管理流程化程度,确保企业可持续发展!