×
Kapoor，Hemangee K。;马克·B·约瑟夫。

使用CCS和并发工作台对延迟敏感电路进行建模和验证。 （英语） Zbl 1183.68387号

信息处理。莱特。 89，第6期，293-296（2004）.
小结：讨论了过程演算CCS中延迟敏感异步电路的建模。发现MUST测试（而非互模拟）支持通过逐步细化验证延迟敏感性和设计的特性。使用著名的工具爱丁堡并发工作台可以进行自动验证。

引用于1文件

MSC公司：

68问题65 抽象数据类型；代数规范

关键词：

形式化方法;规范语言;形式验证;异步逻辑

软件：

并发工作台
PDF格式BibTeX公司 XML格式引用
\textit{H.K.Kapoor}和\textit{M.B.Josephs}，Inf.Process。莱特。89，第6号，293--296（2004；Zbl 1183.68387）
全文： 内政部

参考文献：

[1] Berkel，K.Van，《握手电路——VLSI编程的异步架构》（1993），剑桥大学出版社：剑桥大学出版社·Zbl 0875.68551号
[2] 克里维兰，R。；帕罗，J。；Steffen，B.，《并发工作台：有限状态系统的基于语义的验证工具》，（有限状态系统自动验证方法研讨会论文集，法国格勒诺布尔。有限状态系统自动化验证方法研讨会文献集，法国格勒诺布尔，《计算科学讲义》，第407卷（1989），施普林格：施普林格柏林），24-37
[3] Dill，D.L.，《速度无关电路自动分层验证的跟踪理论》（1989），ACM杰出论文，麻省理工学院出版社：ACM杰出学位论文，麻萨诸塞州坎布里奇
[4] 他，J。；约瑟夫，M.B。；Hoare，C.A.R.，《同步和异步理论》（Broy，M.；Jones，C.B.，《编程概念和方法》（1990），北荷兰人：北荷兰阿姆斯特丹），459-478
[5] Hennessy，M.，《过程代数理论》（1988），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 0744.68047号
[6] Hoare，C.A.R.，《通信顺序过程》，Prentice-Hall计算机科学国际系列（1985），Prentice Hall:新泽西州Prentice Holl Englewood Cliffs·Zbl 0637.68007号
[7] Josephs，M.B.，接受过程理论，信息学报。，29, 1, 17-31 (1992) ·Zbl 0724.68037号
[8] Josephs，医学学士。；Udding，J.T.，D-I代数概述，（系统科学，1993，IEEE第26届夏威夷国际会议论文集，第1卷（1993年1月）），329-338
[9] 刘勇，CCS中AMULET1规范与验证，卡尔加里大学计算机科学系博士论文，1995年9月；Y.Liu，CCS中的AMULET1规范和验证，卡尔加里大学计算机科学系博士论文，1995年9月
[10] P.G.Lucassen，延迟敏感规范演算的指称模型和合成定理，荷兰格罗宁根大学C.S.系博士论文，1994年5月；P.G.Lucassen，延迟敏感规范演算的指称模型和合成定理，荷兰格罗宁根大学C.S.系博士论文，1994年5月
[11] W.C.Mallon，《延迟敏感通信过程设计的理论和工具》，荷兰格罗宁根大学C.S.系博士论文，2000年1月；W.C.Mallon，《延迟敏感通信过程设计的理论和工具》，荷兰格罗宁根大学C.S.系博士论文，2000年1月·Zbl 0940.68174号
[12] Milner，R.，《通信与并发》，普伦蒂斯·霍尔计算机科学国际系列（1989），普伦提斯·霍尔：普伦蒂斯霍尔恩格尔伍德克利夫斯，新泽西州·Zbl 0683.68008号
[13] 莫勒，F。；Stevens，P.，《爱丁堡并发工作台用户手册》（7.1版），网址：
[14] 莫尔纳，C.E。；Fang，T.P。；Rosenberger，F.U.，《延迟敏感模块的合成》，（Fuchs，H.，Chapel Hill超大规模集成会议（1985），计算机科学出版社），67-86
[15] K.S.Stevens，《低延迟异步系统的实践验证与综合》，卡尔加里大学计算机科学系博士论文，1994年9月；K.S.Stevens，低延迟异步系统的实际验证和合成，卡尔加里大学计算机科学系博士论文，1994年9月
[16] 泰勒，G.S。；Blair，G.M.，降低复杂性二相微管道锁存器控制器，IEEE J.固态电路，33，10，1590-1593（1998）
[17] Udding，J.T.，《定义和分类延迟敏感电路的形式模型》，分布式计算。，1, 4, 197-204 (1986)
[18] 斯内普肖特，J.L.A.van de，迹理论与超大规模集成电路设计，计算机课堂讲稿。科学。，第200卷（1985），《施普林格：柏林施普林格》·Zbl 0616.68001号
[19] T.Verhoeff，延迟敏感系统理论，数学系博士论文。和C.S.，埃因霍温理工大学，1994年5月；T.Verhoeff，延迟敏感系统理论，数学系博士论文。和C.S.，埃因霍温理工大学，1994年5月·Zbl 0900.68067号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。