用于C/SystemC的可移植的激励模型
随着混合语言仿真验证的能力不断增强，跨语言、跨方法的库的可用性越来越高，一般情况下，激励已经能够满足我们的要求…
Read more
随着混合语言仿真验证的能力不断增强，跨语言、跨方法的库的可用性越来越高，一般情况下，激励已经能够满足我们的要求…
Read more
抖动是指信号相对于其时间理想位置发生的短暂变化，可能会造成数据接收模块接收到错误的数据。在验证串行或并行接口数…
Read more
前面上篇中我们简要地介绍了形式验证应用、sign-off概念、以及形式验证基本模型和形式验证checker。在…
Read more
形式验证是一种强大的验证方法，可用于发现conner bug，提高验证效率，缩短验证周期。然而，形式验证的完整…
Read more
在汽车工业中排名首位的毫无疑问是安全性，是从根源上加强安全性能。伴随着现代汽车电子器件在汽车部件比重的逐步增加…
Read more
路科的后台经常会收到一些疑问，譬如关于验证顾问的职业前景。下面是来自于XtreamEDA半导体服务公司的验证工…
Read more
4月19日，这一天上海的早晨阳光空气都很好。一早我们顺着沙丁鱼二号罐头被运往了集中站——张江高科。走了五分钟的…
Read more
路桑的2016年最后的几个小时是看着罗胖度过的，作为一个被罗胖强暴定义为创业者的路桑，最能感同身受的是他在4个…
Read more
我认识一位姑娘小Q，她是位90后，活泼躁动追求独立，最近这几年跟一只猫一样在不同的城市逗留，没有干过超过半年的…
Read more
还在我们年少无知 没人指导填报专业的时候 我们一开始是懵逼的 做惯了数理化的大脑 只对数字感兴趣 所以 微电子…
Read more