使用正式的验证优化HLS-Produced电路(苏黎世联邦理工学院)


新技术论文题为“消除过度活力数据流电路使用模型检查”是瑞士苏黎世联邦理工学院的研究人员发表的。抽象的“最近HLS努力探索动态调度的一代,从高层代码数据流电路;在运行时他们的适应能力安排特定数据和控制结果承诺性能优越standar……»阅读更多

基于索引多核BDD包与动态内存管理和减少碎片


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

验证与碧玉SoC设计应用的安全方面


介绍碧玉技术和方法的鲁棒性验证安全的数据访问和没有触摸功能路径设计的安全地区。最近,我们看到了一个需求增加工业硬件设计验证安全信息。复杂的芯片系统,比如手机、游戏机、和服务器包含安全信息。而且我…»阅读更多

Baidu