GEZEL公司 swMATH ID: 4151 软件作者： 迈克尔·汉森（Michael R.Hansen）。；Madsen，Jan；布雷克林（Aske Wiid Brekling） 描述： 硬件架构建模语言的语义和验证在本文中，我们考虑了一种高级硬件描述语言Gezel，从该语言可以通过转换为VHDL来合成硬件。该语言配备了模拟器，并支持探索硬件设计。这种语言没有语义，很难深入理解许多结构。因此，我们给出了Gezel的语义域。为了实现自动验证，我们将该领域与时间自动机模型联系起来，并使用Uppaal系统对Gezel的特定性进行了验证。特别是，我们已经证明了简化DES算法的硬件规范的正确性。我们还使用Uppaal进行了验证资源使用情况的小型实验。 主页： http://rijndael.ece.vt.edu/gezel2/ 关键词： 硬件描述；语义学；验证；模型检查 相关软件： Uppaal公司；克洛诺斯；UPPAAL TIGA公司；上CORA；Verics公司；兔子；TAPAAL公司；罗密欧；APMC公司；卡萨尔；棱镜 引用于： 6文件 更多出版物： http://rijndael.ece.vt.edu/gezel2/publications.html 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 安全处理器设计中应用的特定于域的工具和方法。 Zbl 1035.68669号Patrick Schaumont先生；英格丽德·韦伯韦德 2002 全部的 前5名16位作者引用 三 乌里·法伦贝格 三 金·古德斯特兰·拉森 2 英格丽德·M·R·韦博威德。 1 莱杰拉·巴蒂纳 1 帕特里夏·鲍耶 1 布雷克林（Aske Wiid Brekling） 1 迈克尔·赖赫哈特·汉森 1 Legay、Axel 1 简·马德森 1 尼古拉斯·马基 1 乔尔·欧·瓦克宁。 1 巴特·普雷内尔 1 坂山，卡佐 1 Patrick R.Schaumont。 1 克劳斯·苏兰（Claus R.Thrane）。 1 詹姆斯·沃雷尔。 连载1篇 1 计算机与电气工程 在3个字段中引用 6 计算机科学（68至XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文