Evgeny Pavlenko；马库斯·韦德勒；多米尼克·斯托菲尔；沃尔夫冈·昆兹；奥利弗·维南德；埃夫根尼·卡里巴耶夫 为ABL规范化定制设计的算术组件建模。 （英语） Zbl 1160.68666号 Scholl，Christopf（编辑）等人，Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen。Ausgewählte Beiträge投票11。GI/ITG/GMM-研讨会，布雷斯高弗莱堡，3-5。2008年梅兹。亚琛：Shaker Verlag（ISBN 978-3-8322-6962-3/pbk）。Berichte aus der Informatik，51-60（2008）。 摘要：算术比特级（ABL）规范化已被证明是数据路径设计的形式化属性检查的一种可行方法。它适用于可以在设计和属性的寄存器传输级别上识别算术组件和子组件的情况。本文将ABL规范化的适用性扩展到某些算术组件是定制设计的实体的情况，例如，指定布尔方程或门。我们使用中间表示作为Reed-Muller表达式将这些实体转换为ABL构建块。我们展示了如何将以Reed-Muller形式表示的布尔逻辑自动转换为ABL组件，以便在后续的规范化运行中可以将这些逻辑块与剩余的ABL组件一起处理。该方法通过商业算术模块生成器生成的大量工业设计进行评估。有关整个系列，请参见[Zbl 1134.68010号]. 引用于2文件 MSC公司： 68单位07 计算机辅助设计的计算机科学方面 关键词：算术位级归一化 PDF格式BibTeX公司 XML格式引用 \textit{E.Pavlenko}等人，in：Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen。Ausgewählte Beiträge vom 11号。GI/ITG/GMM-研讨会，布雷斯高弗莱堡，3.--5。2008年梅兹。亚琛：Shaker Verlag。51-60（2008年；Zbl 1160.68666）