乔治·米尔恩。 朝向可验证的正确VLSI设计。 （英语） Zbl 0626.68042号 超大规模集成电路设计的形式方面。研讨会，爱丁堡/苏格兰。1985, 1-22 (1986). [关于整个系列，请参见Zbl 0607.00018号.]本文提出了一种验证VLSI数字系统设计的方法。层次模型以点演算为基础[参见G.J.米尔恩，ACM变速器。程序。语言系统。7, 270-298 (1985;Zbl 0562.68017号)]. 点演算是一种术语重新编写系统。验证技术包括证明来自高级描述的术语与从低级描述中对术语进行某些抽象后获得的术语等效。通过两个例子来说明验证技术——两条8位总线的导线模型和比较器电路。审核人：A.米查尔斯基 MSC公司： 99年第68季度 计算理论 68N25号 操作系统理论 94C99号 电路、网络 关键词：VLSI分层验证；正确性证明；行为描述；结构描述；同步性；异步；超大规模集成电路数字系统设计；点微积分；术语重新编写系统；电线；比较器电路 引文：Zbl 0607.00018号；Zbl 0562.68017号 PDF格式BibTeX公司 XML格式