格泽尔

一种硬件体系结构建模语言的语义与验证在本文中,我们考虑了一种高级硬件描述语言Gezel,从中可以通过VHDL语言来合成硬件。该语言配备了一个模拟器,并支持硬件设计的探索。语言没有语义,很难对许多结构有深入的理解。因此,我们给出了一个Gezel的语义域。针对自动验证,我们将该领域与时间自动机模型联系起来,并使用Uppaal系统对Gezel规范进行了验证。在硬件上证明了DES算法的正确性。我们还使用了Uppaal来验证资源使用情况。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换