×

计算机系统组件的自动化设计和模拟。 (英语。俄文原件) Zbl 0917.68216号

赛博。系统。分析。 33,第6期,828-839(1997); 翻译自Kibern。修女。分析。1998年,第6期,94-108(1997)。
摘要:本文描述了计算机组件自动化设计和仿真的范例。这种范式与智能程序工具开发中的创新联系在一起。

MSC公司:

68单位07 计算机辅助设计的计算机科学方面
68岁20岁 模拟(MSC2010)
68个月1日 计算机系统的一般理论

关键词:

自动化设计
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 于。V.Kapitonova,“智能软件工具的创新”,摘自:Proc。《Knowiedge-Dialogue-Solution第四届国际学术会议》(KDS’97)[俄语],雅尔塔(1997),第611-621页。
[2] V.V.Litvinov和T.P.Mar'yanovich,《模拟系统构建方法(俄语)》,Naukova Dumka,基辅(1991)。
[3] 弗莱(Ch.Fry),“在已经满脑子的情况下编程”,美国计算机学会(Comm.ACM),第40期,第4期,第55–64页(1997年)·Zbl 01936023号 ·doi:10.1145/248448.248459
[4] V.M.Glushkov,Yu。V.Kapitonova和A.A.Letichevskii,计算机辅助计算机设计[俄语],基辅Naukova Dumka(1975)。
[5] V.M.Glushkov,Yu。V.Kapitonova和A.T.Mishchenko,《离散硬件的逻辑设计(俄语)》,Naukova Dumka,基辅(1987)。
[6] J.Karat,“发展以用户为中心的设计范围”,《美国计算机学会通讯》,第40卷第7期,第33–37页(1997年)。 ·doi:10.1145/256175.256181
[7] T.Friedman和S.Yang,“自动逻辑设计生成器(ALERT)中使用的方法,IEEE Trans。计算。,18,第7期,593–614(1969年)·Zbl 0179.22907号 ·doi:10.1109/T-C.1969.222727
[8] I.N.Norenkova(编辑),《无线电电子学中的计算机辅助设计系统:手册(俄语)》,斯维亚兹电台,莫斯科(1986年)。
[9] 于。Kh.Vermishev,《复杂技术系统设计中的自动求解方法》(俄语),斯维亚兹电台,莫斯科(1982年)·Zbl 0547.93026号
[10] M.Barbacci,注册转移系统设计空间的自动探索,博士论文,计算机系。科学。,卡内基梅隆大学,马萨诸塞州剑桥(1973)。
[11] G.Zimmermann,“Eine Methode zum Entwurf von Digitalrechnern mit der Programmiersprache MIMOLA”,《信息》-Fachberichte,第5卷,柏林(1976年)·Zbl 0362.68015号
[12] R.Camposano和W.Rosenstiel,Algorithmische Synthese deterministischer(Petri-)Netze aus Ablabufbescriebungen digitaler Systeme,卡尔斯鲁厄大学(1980)。
[13] C.Tseng和D.Siewiorek,“数字系统中数据路径的自动合成”,IEEE Trans。CAD,5,第3期,379–395(1986年)。
[14] D.Thomas等人,“系统架构师的工作台”,Proc。设计自动化会议,(1988年),第337-343页。
[15] D.Knapp和A.Parker,“设计信息的统一表示”,Proc。交响乐团。《计算机硬件描述语言及其应用》(1985),第337-353页。
[16] A.Parker、J.Pizarro和M.Mlinar,“MAHA:数据路径合成程序”,Proc。设计自动化会议(1988年),第461-466页。
[17] B.Pangrle和D.Gajski,“智能硅编译的设计工具”,IEEE Trans。CAD,6,第6期,1098–1112(1987)。
[18] R.Camposano和W.Rosenstiel,“从行为描述合成电路”,IEEE Trans。CAD,8,第2期,171-180(1989)。
[19] D.Ku和G.de Micheli,“Hercules和Hebe的高级综合和优化策略”,Proc。Conf.Logic and Architecture Synthesis(1990),第9-14页。
[20] M.McFarland,“在从抽象行为描述合成数字硬件时使用自下而上的设计技术”,Proc。《设计自动化会议》(1986),第474-480页。
[21] R.Camposano,“约克敦硅编译器中的结构合成”,载于:C.Sequin(编辑),VLSI‘87:数字系统的VLSI设计,温哥华,1988年,阿姆斯特丹北霍兰德(1988),第61-72页。
[22] 于。V.Kapitonova和A.A.Letichevskii,《计算机设计的数学理论(俄语)》,瑙卡,莫斯科(1988年)。
[23] R.Camposano和R.Tabet,“行为VHDL模型合成的设计表示”,Proc。交响乐团。计算机硬件描述语言及其应用(1989)。
[24] H.Trickey,“Flamel:高级硬件编译器”,IEEE Trans。CAD,6,第2期,259–269(1987)。
[25] S.Davidson等人,“卧式机器本地微码编译的一些实验”,IEEE Trans。计算。,30,第7期,460–477(1981)。 ·doi:10.1109/TC.1981.1675826
[26] P.Paulin和J.Knight,“自动数据路径合成中的强制定向调度”。《设计自动化会议》(1987),第195-202页。
[27] V.Bertsis,“V编译器:自动硬件设计”,IEEE计算机设计与测试,第6期,第4期,第8-17页(1989年)。
[28] R.Camposano,“高级合成的行为保护转换”,Proc。硬件规范、验证和合成研讨会:数学方面,施普林格-弗拉格出版社,柏林(1989年)。
[29] L.Hafer和A.Parker,“寄存器传输级设计自动化:分配过程”,Proc。《设计自动化会议》(1978),第213-219页。
[30] T.Kowalski,《超大规模集成电路设计的人工智能方法》,Kluwer,Boston(1985)。
[31] R.Camposano,“行为合成”,第33届设计自动化会议(1996年)。
[32] G.de Micheli等人,《奥林巴斯综合系统》,IEEE计算机设计与测试,第7期,第5期,第37–53页(1990年)·Zbl 05094098号 ·doi:10.1109/54.60605
[33] L.Malinak,“ESDA提高了高水平设计的生产力”,《电子设计》,第5期,第125-128页(1993年)。
[34] R.Camposano,“从行为到结构;高级综合(D&T教程),《IEEE计算机设计与测试》,第7期,第6期,第8-19页(1990年)。
[35] Y.Chu等人,“三十年的HDL,第1部分:通过TI-HDL的CDL”,IEEE计算机设计和测试,9,第3期,68–81(1992)。
[36] D.Borrione等人,“HDL的三十年,第2部分:通过Verilog的Conlan”,IEEE计算机设计与测试,第9期,第4期,54–64页(1992年)·Zbl 05093583号 ·doi:10.1109/54.156158
[37] IEEE标准VHDL语言参考手册,IEEE标准1076–1987,IEEE计算机学会出版社,洛斯阿拉米托斯(1987)。
[38] D.E.Thomas和P.R.Moorby,Verilog硬件描述语言,Kluwer,波士顿(1991)·Zbl 1157.68342号
[39] D.J.Smith,“VHDL和Verilog的比较和对比,以及用VHDL、Verillog和C编写的建模示例”,第33届设计自动化大会(1996年)。
[40] R.A.Walker等人,“调度问题简介”,IEEE计算机设计与测试,第12期,第2期,60–69页(1995年)。
[41] A.Prihozhy,“高级综合中的网络调度”,IEEE计算机设计与测试,第13期,第1期,26-35页(1996年)。
[42] C.Tseng等人,“数字系统中数据路径的自动合成”,IEEE Trans。CAD,5,第3期,379–395(1986年)。
[43] L.Hafer等人,“寄存器传输级设计自动化:分配过程”,Proc。《设计自动化会议》(1978),第213-219页。
[44] M.C.McFarland等人,“数字系统的高级综合”,Proc。IEEE,78,第2期,301-318(1990)。 ·doi:10.1109/5.52214
[45] R.Rudell,“教程:逻辑综合系统的设计”,第33届设计自动化会议(1996年),第130-135页。
[46] M.Schulz等人,“苏格拉底:高效自动测试模式生成系统”,IEEE Trans。CAD,7,第10期,126-137(1988年)。
[47] D.Gregory等人,“苏格拉底:自动合成和优化组合逻辑的系统”,Proc。第23届设计自动化会议(1986年),第79-85页。
[48] M.Brayer(编辑),《计算机系统设计自动化的理论和方法》[俄文翻译],Mir,莫斯科(1977年)。
[49] M.Watanabe等人,《超大规模集成电路设计》[俄文翻译],Mir,莫斯科(1988年)。
[50] L.Trelillyan,“逻辑综合系统概述”,第24届ACM/IEEE设计自动化会议(1987),第166-172页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。