中文 英语

基于索引的多核BDD包,具有动态内存管理和减少碎片


不来梅大学的研究人员发表了一篇题为“EDDY:具有动态内存管理和减少碎片的多核BDD包”的技术论文。摘要:近年来,硬件系统的复杂性显著增长。由于复杂性的不断增加,需要不断提高硬件设计过程的质量。这导致设计师……»阅读更多

使用Jasper应用程序验证SoC设计的安全方面


本文介绍了Jasper技术和方法来验证安全数据访问的鲁棒性,以及没有触及设计安全区域的功能路径。最近,我们看到在工业硬件设计中验证安全信息的需求越来越大。复杂的芯片上系统,例如手机、游戏机和服务器上的系统包含安全信息。我…»阅读更多

Baidu