×
M.基希内夫斯基。;Kondratyev，A。;A.陶宾。;瓦沙夫斯基，V。

事件模型上与速度无关的电路的分析和识别。 （英语） Zbl 0786.94023号

形式方法系统。设计。 4，第1期，33-75（1994）.
摘要：本文的目标是分析异步电路的速度无关性或延迟不敏感性。电路被指定为描述组件的逻辑函数网络列表。该分析基于信号图形式的电路行为事件规范的推导。信号图可以看作是时序图的形式化，也可以看作是标记图的信号解释版本（Petri网的一个子类）。这种方法的主要优点是避免了状态爆炸。恢复电路的事件规范也有助于解决行为识别问题，即将获得的规范与期望的规范进行比较。我们通过一些例子来说明该方法。

引用于2文件

MSC公司：

94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010）

关键词：

验证;异步电路;速度独立性;延迟不敏感;事件规范;信号流图;规范
PDF格式BibTeX公司 XML格式引用
\textit{M.Kishinevsky}等人，《形式方法系统》。设计。4，编号1，33--75（1994；Zbl 0786.94023）
全文： 内政部

参考文献：

[1] C.L.塞茨。系统定时。《超大规模集成电路系统简介》，C.Mead和L.Conway（编辑），Addison-Wesley，Reading，MA，1980，ch.7。
[2] V.I.Varshavsky、M.A.Krishnevsky、V.B.Marakhovsky和V.A.Peschansky、L.Ya。Rosenblum、A.R.Taubin和B.S.Tzirlin。并发进程的自时间控制。Kluwer学术出版社，波士顿，1990年。
[3] A.J.马丁。超大规模集成电路编程：从通信过程到延迟敏感电路。InUT并发编程研究所年，C.A.R.Hoare（编辑），Addison-Wesley，Reading，MA，1989年。
[4] J.Staunstrup和M.R.Greenstreet。同步转换。《超大规模集成电路设计的形式方法》，J.Staunstrup（编辑），Elsevier，阿姆斯特丹，1990年，第71-128页。
[5] C.H.（Kees）van Berkel、C.Niessen、M.Rem和S.Saeijs。超大规模集成电路编程和硅编译。《国际计算机设计会议论文集》（ICCD’88），IEEE计算机社会出版社，纽约州Rye Brook，1988年，第150-166页。
[6] M.A.Kishinevsky，A.Yu。Kondratyev和A.R.Taubin。自计时设计的形式化方法。《欧洲设计自动化会议论文集》（EDAC’91），IEEE计算机社会出版社，阿姆斯特丹，1991年，第197-201页。
[7] Ch.E.Molnar、T.P.Fang和F.U.Rosenberg。延迟敏感模块的合成。《1985年教堂山超大规模集成会议论文集》，计算机科学出版社，马里兰州罗克维尔，1985年，第67-86页。
[8] S.M.伯恩斯。《异步电路的性能分析与优化》，加州理工学院计算机科学系博士论文，加利福尼亚州帕萨迪纳，1991年。
[9] M.A.Kishinevsky，A.Yu。Kondratyev、A.R.Taubin和V.I.Varshavsky。自计时电路的分析和识别。《IFIP第二届设计正确电路研讨会论文集》，Elsevier，Lyngby，Denmark，1992年，第275-287页。
[10] D.E.Muller和W.S.Bartky。异步电路理论。《转换理论国际研讨会论文集》。哈佛大学出版社，马萨诸塞州剑桥，1959年，第204-243页·Zbl 0171.37902号
[11] Jo C.Ebergen和S.Gingras。用于基于命令的规范的网络分解的验证器。《第26届夏威夷国际系统科学会议论文集》，IEEE计算机社会出版社，夏威夷威利亚，第1卷，第310-318页。
[12] M.A.Kishinevsky，《自时电路的实现与分析》，博士论文，列宁格勒电气工程学院计算机科学系，1982年。
[13] W.D.Frazer和D.E.Muller。异步电路因子分解和动作的一种方法。《第一届AIEE开关电路理论与逻辑设计年度研讨会论文集》，纽约，1961年，第246-249页。
[14] P.A.Beerel和T.H.-Y.Meng。速度相关电路的半模性和可测试性，集成，13（3）：301-3221992·Zbl 0758.94016号
[15] V.I.Varshavsky等人，《自定时设计的理论、方法和软件支持》，研究报告PIN-2，研发合作？特拉萨。？信息学问题研究所，列宁格勒，莫斯科，1990年。
[16] I.E.萨瑟兰。微管道，ACM通信，32（6）：720-7381989·数字对象标识代码：10.1145/63526.3532
[17] G.Birkhoff。晶格理论。美国数学学会，普罗维登斯，RI，1967年·Zbl 0153.02501号
[18] T.A.Chu，从图论规范综合自定时超大规模集成电路。麻省理工学院博士论文，马萨诸塞州剑桥，1987年。
[19] V.I.Varshavsky，M.A.Kishinevsky和A.Yu。L.Ya Kondratyev。Rosenblum和A.R.Taubin。异步电路过程的规范和分析模型。苏联计算机与系统科学杂志，26（2）：61-761989。
[20] M.A.Kishinevsky，A.Yu。Kondratyev和A.R.Taubin。自定时电路的规范和分析，超大规模集成电路信号处理杂志，异步设计特刊，6:31-3491993。
[21] A.Yakovlev、L.Lavagno和A.Sangiovanni-Vincentelli。异步控制电路综合的统一信号转换图模型。技术报告UCB/ERL M92/78，加州大学伯克利分校，1992年7月。
[22] A.Yu。孔德拉提耶夫。根据变化图设计自定时电路。1987年，列宁格勒电气工程学院计算机科学系博士论文。
[23] J.Sparsö、C.D.Nielsen、L.S.Nielsen和J.Staunstrup。自定时乘法器的设计：比较。异步设计方法工作会议论文集，爱思唯尔，曼彻斯特，1993年3月。
[24] D.迪尔。速度无关电路自动分层验证的轨迹理论。麻省理工学院出版社，马萨诸塞州剑桥，1989年。
[25] 亚利桑那州。罗森布拉姆。用于交换协议和非周期电路建模的信号图语言。诉讼中？数字控制和计算机系统的模拟。？Sverdlovsk，IMM，1981年（俄语）。
[26] F.Commoner、A.W.Holt、S.Even和A.Pnueli。标记的有向图。《计算机与系统科学杂志》，5:511-5231971年·Zbl 0238.05109号 ·doi:10.1016/S0022-0000（71）80013-2
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。