保存此搜索
研究论文 2012年7月 消息传递多核应用程序的验证和覆盖 我们描述了使用消息传递库进行通信的多核软件的验证和覆盖方法。 具体来说,我们通过Multicore…提供了使用新的行业标准MCAPI提高软件可靠性的技术。。。 研究论文 2011年10月 面向并发的系统级设计验证和覆盖 正确的并行系统芯片(SoC)很难设计和推理。 在这项工作中,我们为系统级设计开发了一个自动化框架,其中包含面向并发的验证和覆盖技术。 我们的技术是。。。 研究论文 2010年6月 使用模型检查的systemc竞争分析 SystemC是一种系统级建模语言,它提供了广泛的功能来描述不同抽象级别的并发系统。 SystemC标准允许模拟器实现确定性调度策略,该策略通常隐藏。。。 文章 1996年4月 从VHDL到高效的首次使用权设计 :正式方法 在本文中,我们提供了一种实用的转换方法,以从高级规范合成正确的同步数字硬件设计。 我们这样做的同时考虑了从早期开始设计的完整生命周期。。。