自动驾驶如何真正解决安全问题？
要实现“自动驾驶”这个大目标，功能安全和信息安全问题一定是汽车开发者要着重考量的。如果能在设计的早期阶段就逐步解决这两个问题，将功能和信息双安全问题融入汽车的全生命周期管理中，我们距离真正的“完全自动化”就不再遥远。
注入AI的芯片验证有多高效？翻开这份白皮书获取答案【附下载】
新思科技发布芯片验证白皮书《借助AI实现更快、更好、更高效的验证》，详细的阐述了种种验证挑战，以及AI技术带来的改变，以及新思科技EDA解决方案中一些具体功能。
静态代码验证：从源头解决数十亿门级ASIC设计挑战
代码校验，即对源代码进行自动检查以排查错误，是硬件开发生命周期中非常重要的一环。如果能在RTL开发的早期阶段就开始代码校验工作，评估代码质量以及一旦代码错误会对设计流程的后续环节造成哪些影响，这对开发者来说将会大大提升开发效率，并最终实现开发周期的左移。新思科技的VC SpyGlass Lint等工具可以完美解决这一问题，它利用形式引擎实现功能分析，可有效帮助开发者们尽早判断他们的RTL代码质量是否满足设计需求，最终加速签核。
发布于 芯片验证
