首页 > 最新文献

Proceedings EURO-DAC '92: European Design Automation Conference最新文献

英文 中文
JESSI common framework design management-the means to configuration and execution of the design process JESSI通用框架设计管理——配置和执行设计过程的方法
Pub Date : 1992-11-01 DOI: 10.1109/EURDAC.1992.246320
Daniel C. Liebisch, Adidev Jain
The authors outline the basic concepts used in the design management system of the JESSI common framework (JCF). The framework has been developed to aid designers in coping with complex designs existing in the world of CAD. Within the JCF, user, data, and tools that combine to form a design process are configured and executed in a single coherent fashion. Use of this methodology guarantees consistency of the design data. A versioning concept provides the freedom to try out various designs, prior to the selection of the best. The concepts of JCF can be used to save development time.<>
作者概述了JESSI公共框架(JCF)设计管理系统中使用的基本概念。开发该框架是为了帮助设计人员处理CAD世界中存在的复杂设计。在JCF中,组合形成设计过程的用户、数据和工具以一种一致的方式进行配置和执行。这种方法的使用保证了设计数据的一致性。版本控制概念提供了在选择最佳设计之前尝试各种设计的自由。JCF的概念可以用来节省开发时间
{"title":"JESSI common framework design management-the means to configuration and execution of the design process","authors":"Daniel C. Liebisch, Adidev Jain","doi":"10.1109/EURDAC.1992.246320","DOIUrl":"https://doi.org/10.1109/EURDAC.1992.246320","url":null,"abstract":"The authors outline the basic concepts used in the design management system of the JESSI common framework (JCF). The framework has been developed to aid designers in coping with complex designs existing in the world of CAD. Within the JCF, user, data, and tools that combine to form a design process are configured and executed in a single coherent fashion. Use of this methodology guarantees consistency of the design data. A versioning concept provides the freedom to try out various designs, prior to the selection of the best. The concepts of JCF can be used to save development time.<<ETX>>","PeriodicalId":218056,"journal":{"name":"Proceedings EURO-DAC '92: European Design Automation Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121444463","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 28
Challenges for CAD in computer development in the 1990s 20世纪90年代计算机发展中CAD面临的挑战
Pub Date : 1992-11-01 DOI: 10.1109/EURDAC.1992.246329
G. Dedie
Summary form only given. CAD tools play a key role in determining the productivity and the time-to-market of computer development. To predict future trends in CAD, the future trends of technology and computer architecture have to be considered because of its strong interaction with tools and design methodology. The current computer development methodology is summarized. The CAD tools supporting this methodology are highly integrated with respect to all design steps and all design objects, rule driven and very fast to allow for short turnaround times, especially in the verification phase. The methodology and the tools allow the detection of all logic and timing errors before prototyping and provide for manufacturing and testability of the system. Challenges to the evolution of CAD tools and computer development methodologies are summarized.<>
只提供摘要形式。CAD工具在决定计算机开发的生产率和上市时间方面起着关键作用。为了预测CAD的未来趋势,必须考虑到技术和计算机体系结构的未来趋势,因为它与工具和设计方法有很强的相互作用。总结了当前的计算机开发方法。支持这种方法的CAD工具与所有设计步骤和所有设计对象高度集成,规则驱动,并且非常快,可以缩短周转时间,特别是在验证阶段。该方法和工具允许在原型制作之前检测所有逻辑和时间错误,并提供系统的制造和可测试性。总结了CAD工具和计算机开发方法发展所面临的挑战。
{"title":"Challenges for CAD in computer development in the 1990s","authors":"G. Dedie","doi":"10.1109/EURDAC.1992.246329","DOIUrl":"https://doi.org/10.1109/EURDAC.1992.246329","url":null,"abstract":"Summary form only given. CAD tools play a key role in determining the productivity and the time-to-market of computer development. To predict future trends in CAD, the future trends of technology and computer architecture have to be considered because of its strong interaction with tools and design methodology. The current computer development methodology is summarized. The CAD tools supporting this methodology are highly integrated with respect to all design steps and all design objects, rule driven and very fast to allow for short turnaround times, especially in the verification phase. The methodology and the tools allow the detection of all logic and timing errors before prototyping and provide for manufacturing and testability of the system. Challenges to the evolution of CAD tools and computer development methodologies are summarized.<<ETX>>","PeriodicalId":218056,"journal":{"name":"Proceedings EURO-DAC '92: European Design Automation Conference","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114349508","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Synthesis of VHDL arrays on RAM cells RAM细胞上VHDL阵列的合成
Pub Date : 1992-11-01 DOI: 10.1109/EURDAC.1992.246183
C. Berthet, J. Rampon, L. Sponga
The problem of array objects in VHSIC hardware description language (VHDL) specifications for synthesis is considered. Experience shows that circuits obtained by synthesis tools are not as efficient as RAM macrocells. A new synthesis method is proposed that consists in mapping a VHDL array to a RAM primitive, together with a modification of the specification. The primitive is then mapped to a RAM generator of the THOMSON-TMS CSAM Library.<>
考虑了VHSIC硬件描述语言(VHDL)综合规范中阵列对象的问题。经验表明,通过合成工具获得的电路不如RAM巨细胞高效。提出了一种新的综合方法,将VHDL阵列映射到RAM原语,并对规范进行了修改。然后将原语映射到THOMSON-TMS CSAM库的RAM生成器。
{"title":"Synthesis of VHDL arrays on RAM cells","authors":"C. Berthet, J. Rampon, L. Sponga","doi":"10.1109/EURDAC.1992.246183","DOIUrl":"https://doi.org/10.1109/EURDAC.1992.246183","url":null,"abstract":"The problem of array objects in VHSIC hardware description language (VHDL) specifications for synthesis is considered. Experience shows that circuits obtained by synthesis tools are not as efficient as RAM macrocells. A new synthesis method is proposed that consists in mapping a VHDL array to a RAM primitive, together with a modification of the specification. The primitive is then mapped to a RAM generator of the THOMSON-TMS CSAM Library.<<ETX>>","PeriodicalId":218056,"journal":{"name":"Proceedings EURO-DAC '92: European Design Automation Conference","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114780876","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
High-level synthesis in a rapid-prototype environment for mechatronic systems 机电一体化系统快速原型环境下的高级综合
Pub Date : 1992-11-01 DOI: 10.1109/EURDAC.1992.246244
N. Wehn, H. Herpel, T. Hollstein, P. Poechmueller, M. Glesner
The application of high-level synthesis techniques onto a rapid-prototyping board is presented. The board is part of a design methodology that supports the development of embedded information processing units in mechatronic systems during early design phases. The spectrum of realizations ranges from single task software implementations on a single board computer to an ASIC emulation in a heterogeneous multiprocessor environment. Emphasis is on the automatic synthesis of hardware modules to be realized as ASICs. A synthesis environment is presented which automatically maps modules to be implemented as ASICs onto a rapid-prototyping board.<>
介绍了高级综合技术在快速成型板上的应用。该电路板是一种设计方法的一部分,该方法支持在机电一体化系统的早期设计阶段开发嵌入式信息处理单元。实现范围从单板计算机上的单任务软件实现到异构多处理器环境中的ASIC仿真。重点是将硬件模块自动合成为asic。提出了一种合成环境,可自动将待实现的asic模块映射到快速成型板上
{"title":"High-level synthesis in a rapid-prototype environment for mechatronic systems","authors":"N. Wehn, H. Herpel, T. Hollstein, P. Poechmueller, M. Glesner","doi":"10.1109/EURDAC.1992.246244","DOIUrl":"https://doi.org/10.1109/EURDAC.1992.246244","url":null,"abstract":"The application of high-level synthesis techniques onto a rapid-prototyping board is presented. The board is part of a design methodology that supports the development of embedded information processing units in mechatronic systems during early design phases. The spectrum of realizations ranges from single task software implementations on a single board computer to an ASIC emulation in a heterogeneous multiprocessor environment. Emphasis is on the automatic synthesis of hardware modules to be realized as ASICs. A synthesis environment is presented which automatically maps modules to be implemented as ASICs onto a rapid-prototyping board.<<ETX>>","PeriodicalId":218056,"journal":{"name":"Proceedings EURO-DAC '92: European Design Automation Conference","volume":"128 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123911517","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Design of a tool interface for integrated CAD-environments 集成cad环境的工具接口设计
Pub Date : 1992-11-01 DOI: 10.1109/EURDAC.1992.246321
U. Hunzelmann, W. Wilkes, G. Schlageter
The tool interface which provides mechanisms for tools to implement their data handling facilities on the basis of a common data schema is a key element of a CAD framework. A tool interface which has been developed and implemented in the DASSY project is described. It decouples the CAD tools from the underlying database, and the chosen architecture with an integrated main memory database allows the adaptation of the tool interface to different databases.<>
工具接口是CAD框架的一个关键元素,它为工具提供机制,使工具在通用数据模式的基础上实现其数据处理功能。描述了在DASSY项目中开发和实现的一个工具接口。它将CAD工具与底层数据库解耦,并且所选择的带有集成主存数据库的体系结构允许工具接口适应不同的数据库。
{"title":"Design of a tool interface for integrated CAD-environments","authors":"U. Hunzelmann, W. Wilkes, G. Schlageter","doi":"10.1109/EURDAC.1992.246321","DOIUrl":"https://doi.org/10.1109/EURDAC.1992.246321","url":null,"abstract":"The tool interface which provides mechanisms for tools to implement their data handling facilities on the basis of a common data schema is a key element of a CAD framework. A tool interface which has been developed and implemented in the DASSY project is described. It decouples the CAD tools from the underlying database, and the chosen architecture with an integrated main memory database allows the adaptation of the tool interface to different databases.<<ETX>>","PeriodicalId":218056,"journal":{"name":"Proceedings EURO-DAC '92: European Design Automation Conference","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122879772","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Selected aspects of component modeling 组件建模的选定方面
Pub Date : 1992-11-01 DOI: 10.1109/EURDAC.1992.246192
A. Pawlack
Summary form only given. VHSIC hardware description language (VHDL) models should be defined along precise guidelines in order to guarantee their compatibility and efficiency. The author reports on the generation of component models and the quantitative analysis of models.<>
只提供摘要形式。为了保证VHSIC硬件描述语言(VHDL)模型的兼容性和效率,必须按照精确的准则定义VHSIC硬件描述语言模型。作者报告了构件模型的生成和模型的定量分析。
{"title":"Selected aspects of component modeling","authors":"A. Pawlack","doi":"10.1109/EURDAC.1992.246192","DOIUrl":"https://doi.org/10.1109/EURDAC.1992.246192","url":null,"abstract":"Summary form only given. VHSIC hardware description language (VHDL) models should be defined along precise guidelines in order to guarantee their compatibility and efficiency. The author reports on the generation of component models and the quantitative analysis of models.<<ETX>>","PeriodicalId":218056,"journal":{"name":"Proceedings EURO-DAC '92: European Design Automation Conference","volume":"132 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124551304","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A performance driven generator for efficient testable conditional-sum-adders 高效可测试条件加法器的性能驱动生成器
Pub Date : 1992-11-01 DOI: 10.1109/EURDAC.1992.246217
B. Becker, P. Molitor
The authors present a performance driven generator for integer adders which is parameterized in n, the operands' bit length, t/sub n/, the delay of the addition, and FM, the (cell based static) fault model. FM may in particular be chosen as the classical stuck-at fault model or the cellular fault model. The output of the generator is an area-minimal n-bit adder of the conditional-sum type with delay >
本文提出了一种性能驱动的整数加法器生成器,参数化为n、操作数位长、t/sub n/、加法延迟和FM(基于单元的静态)故障模型。特别是调频,可以选择经典的卡滞故障模型或元胞故障模型。生成器的输出是延时>的条件和类型的最小面积n位加法器。
{"title":"A performance driven generator for efficient testable conditional-sum-adders","authors":"B. Becker, P. Molitor","doi":"10.1109/EURDAC.1992.246217","DOIUrl":"https://doi.org/10.1109/EURDAC.1992.246217","url":null,"abstract":"The authors present a performance driven generator for integer adders which is parameterized in n, the operands' bit length, t/sub n/, the delay of the addition, and FM, the (cell based static) fault model. FM may in particular be chosen as the classical stuck-at fault model or the cellular fault model. The output of the generator is an area-minimal n-bit adder of the conditional-sum type with delay <or=t/sub n/ (if such a circuit exists at all). The number of test vectors constructed is bounded by O(n/sup 2/). The running time of the generator itself is about c*n/sup 2/*t/sub n/ where c is a small constant.<<ETX>>","PeriodicalId":218056,"journal":{"name":"Proceedings EURO-DAC '92: European Design Automation Conference","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124594986","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
On the intrinsic Rent parameter and spectra-based partitioning methodologies 内禀租金参数和基于频谱的划分方法
Pub Date : 1992-11-01 DOI: 10.1109/EURDAC.1992.246242
L. Hagen, A. Kahng, F. Kurdahi, C. Ramachandran
The complexity of circuit designs requires a top-down approach to layout synthesis. A good partitioning hierarchy, as measured by the associated Rent parameter, will correspond to an area-efficient layout. The intrinsic Rent parameter of a netlist is defined as the minimum possible Rent parameter of any partitioning hierarchy for the netlist. Experimental results show that spectra-based ratio cut partitioning methods yield partitioning hierarchies with the lowest observed Rent parameter over all benchmarks and over all algorithms tested. For examples where the intrinsic Rent parameter is known, spectral ratio cut partitioning yields a Rent parameter essentially identical to this theoretical optimum. Additional theoretical results are provided to support the close relationship between spectral partitioning and the intrinsic Rent parameter.<>
电路设计的复杂性需要自上而下的布局综合方法。一个好的分区层次结构(由相关的Rent参数衡量)将对应于一个面积有效的布局。网络列表的固有Rent参数被定义为该网络列表的任何分区层次结构的最小可能Rent参数。实验结果表明,在所有基准测试和测试的所有算法中,基于光谱的比率分割方法产生的分割层次具有最低的观察到的Rent参数。例如,固有的租金参数是已知的,谱比切割分割产生的租金参数本质上与这个理论最优。提供了额外的理论结果来支持谱分划与本征租金参数之间的密切关系。
{"title":"On the intrinsic Rent parameter and spectra-based partitioning methodologies","authors":"L. Hagen, A. Kahng, F. Kurdahi, C. Ramachandran","doi":"10.1109/EURDAC.1992.246242","DOIUrl":"https://doi.org/10.1109/EURDAC.1992.246242","url":null,"abstract":"The complexity of circuit designs requires a top-down approach to layout synthesis. A good partitioning hierarchy, as measured by the associated Rent parameter, will correspond to an area-efficient layout. The intrinsic Rent parameter of a netlist is defined as the minimum possible Rent parameter of any partitioning hierarchy for the netlist. Experimental results show that spectra-based ratio cut partitioning methods yield partitioning hierarchies with the lowest observed Rent parameter over all benchmarks and over all algorithms tested. For examples where the intrinsic Rent parameter is known, spectral ratio cut partitioning yields a Rent parameter essentially identical to this theoretical optimum. Additional theoretical results are provided to support the close relationship between spectral partitioning and the intrinsic Rent parameter.<<ETX>>","PeriodicalId":218056,"journal":{"name":"Proceedings EURO-DAC '92: European Design Automation Conference","volume":"131 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121255283","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 79
An approach to multi-paradigm controller synthesis from timing diagram specifications 基于时序图规范的多范式控制器综合方法
Pub Date : 1992-11-01 DOI: 10.1109/EURDAC.1992.246314
Wolf-Dieter Tiedemann
The author reports on two high-level synthesis methods to derive controller implementations following different design paradigms from a common natural specification by timing diagrams. The first method automatically generates a Mealy automaton to be an input for a variety of excellent finite state machine (FSM) design algorithms. The second method supports an interactive bottom-up synthesis of asynchronous designs. Both methods are founded on the same mathematical basis, notably a process calculus. Due to their formal manifestation, every transformation (synthesis step) is verifiable. This leads to guaranteed correct implementations.<>
作者报告了两种高级综合方法,通过时序图从共同的自然规范中派生出遵循不同设计范式的控制器实现。第一种方法自动生成一个Mealy自动机作为各种优秀的有限状态机(FSM)设计算法的输入。第二种方法支持异步设计的交互式自底向上综合。这两种方法都建立在相同的数学基础上,特别是过程演算。由于它们的形式化表现,每个转换(合成步骤)都是可验证的。这保证了正确的实现。
{"title":"An approach to multi-paradigm controller synthesis from timing diagram specifications","authors":"Wolf-Dieter Tiedemann","doi":"10.1109/EURDAC.1992.246314","DOIUrl":"https://doi.org/10.1109/EURDAC.1992.246314","url":null,"abstract":"The author reports on two high-level synthesis methods to derive controller implementations following different design paradigms from a common natural specification by timing diagrams. The first method automatically generates a Mealy automaton to be an input for a variety of excellent finite state machine (FSM) design algorithms. The second method supports an interactive bottom-up synthesis of asynchronous designs. Both methods are founded on the same mathematical basis, notably a process calculus. Due to their formal manifestation, every transformation (synthesis step) is verifiable. This leads to guaranteed correct implementations.<<ETX>>","PeriodicalId":218056,"journal":{"name":"Proceedings EURO-DAC '92: European Design Automation Conference","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121260064","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Wolverines: standard cell placement on a network of workstations 金刚狼:工作站网络上的标准单元布局
Pub Date : 1992-11-01 DOI: 10.1109/EURDAC.1992.246266
S. Mohan, P. Mazumder
The typical computer-aided design environment today consists of a number of workstations connected by a high-speed local area network. The authors present a placement program that makes use of this distributed computing environment to achieve linear speedup without sacrificing the quality of the results obtained by the serial version of this program. The placement program is based on the genetic algorithm which is a heuristic search method inspired by biological evolution models. The authors describe the implementation of the placement program and detailed experimental studies of the behavior of the algorithm.<>
今天,典型的计算机辅助设计环境由许多通过高速局域网连接的工作站组成。作者提出了一种利用这种分布式计算环境的放置程序,在不牺牲串行版本程序所获得的结果质量的情况下实现线性加速。遗传算法是一种受生物进化模型启发的启发式搜索方法。作者描述了安置程序的实现和算法行为的详细实验研究。
{"title":"Wolverines: standard cell placement on a network of workstations","authors":"S. Mohan, P. Mazumder","doi":"10.1109/EURDAC.1992.246266","DOIUrl":"https://doi.org/10.1109/EURDAC.1992.246266","url":null,"abstract":"The typical computer-aided design environment today consists of a number of workstations connected by a high-speed local area network. The authors present a placement program that makes use of this distributed computing environment to achieve linear speedup without sacrificing the quality of the results obtained by the serial version of this program. The placement program is based on the genetic algorithm which is a heuristic search method inspired by biological evolution models. The authors describe the implementation of the placement program and detailed experimental studies of the behavior of the algorithm.<<ETX>>","PeriodicalId":218056,"journal":{"name":"Proceedings EURO-DAC '92: European Design Automation Conference","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122754290","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
期刊
Proceedings EURO-DAC '92: European Design Automation Conference
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1