首页 > 最新文献

ACM Sigmicro Newsletter最新文献

英文 中文
Micro-21 from the chair 椅子上的Micro-21
Pub Date : 1989-03-01 DOI: 10.1145/378818.378847
Y. Patt
To the members of SigMicro: I have been asked by the Newsletter Editor, Vicki Allan, if I wanted to comment on Micro 21. I guess I'd much rather hear what others have to say. On the other hand, I do want to report that it was a privilege to take my turn as your Workshop Chairman, and I wish Gerry and others success in the years ahead with Micro n, as we continue to increase n. As I did at the Workshop itself, I want to again express my thanks to Rich Belgard and Wen-mei Hwu for taking on such a large part of the job. In the case of Rich, it was yet another Micro n that he put his own personal good stamp on. In the case of Wen-mei, it was the kind of thorough first rate job that I have become used to seeing him do. I eagerly look forward to the Micro n Workshop that we convince him to lead as General Chairman. For those of you concerned about such things, we made a bunch of money, enough to subsidize mailing the Proceedings to the SigMI-CRO membership and still report a substantial profit to our co-sponsors, IEEE and ACM. Now, we look forward to Micro 22. Gerry Johnson has carved out an exciting first for us in organizing it in Dublin. The interest in Microprogramming and Microarchitecture in general and the quality of the technical interaction at the Workshop in particular continue to grow. In addition, the wonder of the country , from Galway to Donegal to the Antrim coast, is not to be missed. So, for both professional technical reasons and for personal enrichment reasons, I encourage you to plan on spending part of August in Dublin at Micro 22. Finally, I would urge the subsequent Workshop Chairmen to keep in mind the sentiment of the attendees at Micro 21, as expressed in our much-too-long meeting on Thursday night of the Workshop , that we wish to continue the co-sponsorship of the workshop by both professional societies (IEEE and ACM). As was pointed out so eloquently by me, each society contributes to our professional needs in different and complementary ways, and we are fortunate to be able to enjoy both and not have to choose between the two.
致SigMicro的成员:通讯编辑Vicki Allan问我是否想对Micro 21发表评论。我想我更想听听别人怎么说。另一方面,我想说的是,我很荣幸能担任你们的研讨会主席,我希望Gerry和其他人在未来的岁月里在Micro n取得成功,因为我们将继续增加n。正如我在研讨会本身所做的那样,我想再次感谢Rich Belgard和wenmei Hwu承担了这么大的一部分工作。在里奇的例子中,这是又一个他打上了自己个人良好印记的Micro n。至于文梅,这是我已经习惯看他做的那种彻底的第一流的工作。我热切地期待着我们说服他作为总主席领导的微型车间。对于那些关心这些事情的人,我们赚了一大笔钱,足以补贴将会议记录邮寄给SigMI-CRO会员,并且仍然向我们的共同赞助者IEEE和ACM报告可观的利润。现在,我们期待Micro 22。格里·约翰逊在都柏林为我们开创了激动人心的第一次。人们对微程序设计和微体系结构的兴趣,特别是对研讨会上的技术互动质量的兴趣继续增长。此外,从戈尔韦到多尼戈尔再到安特里姆海岸,这个国家的奇观不容错过。因此,无论是出于专业技术的原因还是出于个人充实的原因,我建议你计划在8月的一部分时间里在都柏林参加Micro 22。最后,我要敦促随后的讲习班主席牢记Micro 21与会者的情绪,正如我们在星期四晚上的研讨会上长时间会议上所表达的那样,我们希望继续由两个专业协会(IEEE和ACM)共同赞助讲习班。正如我雄辩地指出的那样,每个社会都以不同和互补的方式满足我们的专业需求,我们很幸运能够享受两者,而不必在两者之间做出选择。
{"title":"Micro-21 from the chair","authors":"Y. Patt","doi":"10.1145/378818.378847","DOIUrl":"https://doi.org/10.1145/378818.378847","url":null,"abstract":"To the members of SigMicro: I have been asked by the Newsletter Editor, Vicki Allan, if I wanted to comment on Micro 21. I guess I'd much rather hear what others have to say. On the other hand, I do want to report that it was a privilege to take my turn as your Workshop Chairman, and I wish Gerry and others success in the years ahead with Micro n, as we continue to increase n. As I did at the Workshop itself, I want to again express my thanks to Rich Belgard and Wen-mei Hwu for taking on such a large part of the job. In the case of Rich, it was yet another Micro n that he put his own personal good stamp on. In the case of Wen-mei, it was the kind of thorough first rate job that I have become used to seeing him do. I eagerly look forward to the Micro n Workshop that we convince him to lead as General Chairman. For those of you concerned about such things, we made a bunch of money, enough to subsidize mailing the Proceedings to the SigMI-CRO membership and still report a substantial profit to our co-sponsors, IEEE and ACM. Now, we look forward to Micro 22. Gerry Johnson has carved out an exciting first for us in organizing it in Dublin. The interest in Microprogramming and Microarchitecture in general and the quality of the technical interaction at the Workshop in particular continue to grow. In addition, the wonder of the country , from Galway to Donegal to the Antrim coast, is not to be missed. So, for both professional technical reasons and for personal enrichment reasons, I encourage you to plan on spending part of August in Dublin at Micro 22. Finally, I would urge the subsequent Workshop Chairmen to keep in mind the sentiment of the attendees at Micro 21, as expressed in our much-too-long meeting on Thursday night of the Workshop , that we wish to continue the co-sponsorship of the workshop by both professional societies (IEEE and ACM). As was pointed out so eloquently by me, each society contributes to our professional needs in different and complementary ways, and we are fortunate to be able to enjoy both and not have to choose between the two.","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"288 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132119659","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
Micro-21 from the program chair Micro-21节目主持人
Pub Date : 1989-03-01 DOI: 10.1145/378818.378848
Wen-mei W. Hwu
The instruction queue is a critical component of the proposed mlcroarchitecture where executable instructions are detected and delivered to the execution unit. This paper clarifies the issue of loading instructions into the instruction queue and evaluates the resulting performance due to different schemes. paths are identified in the complicated UNIX programs so that trace scheduling can be effectively applied. Experimental results are provided for ten UNIX system and CAD programs which all exhibit complicated control structure. This is the first paper to address the issue of applying trace scheduling to complicated programs. The work is critical to adapting trace scheduling to RISC's and other upcoming pipelined, parallel mlcroarchltectures. Research The CMOS 370 has some Control Store on chip and some off. A small on-chip Control Store holds the first two microwords of each microsequence (target of conditional branches). A close look reveals that the two-level Control Store structure can be viewed as a programmer managed target instruction buffer. This structure makes it possible to access one microinstruction from a (mostly off-chip) large Control store every cycle while achieving a short cycle time. Efficient trapping is proposed to support efficient instruction emulation in processors with hardwired control. This makes the issue of instruction set design relatively independent of the implementation (hardwired or microprogrammed). • "Multiple Instruction Issue and Single-Chip Processors," A. Pleszkun and G. Sohi, U. of Wisconsin-Madison. Sometimes issuing multiple instructions is not a win. It would be interesting to experiment on the effect of compilation support (trace scheduling, register allocation, etc.) on the instruction issue rate. Comparing the results presented in this paper and those presented by the VLIW team, compilation support seems to be critical for issuing multiple instructions per cycle. The paper discusses the dilemma due to the interdependence between data routing and code scheduling in ASIC code generation. This issue corresponds closely to the one regarding the code scheduling and register allocation for pipelined and/or wide instruction architectures. The trend is to consider both factors together during code generation. The dynamic reconfigurability is a very interesting feature of the proposed ASIC paradigm. However, the slow prototype makes one wonder if a simple microprocessor can be programmed to achieve the same performance for the target applications. • "Implementing a Prolog Machine with Multiple Functional Units," A. Singhal and Y. Patt, U. C. Berkeley. Parallel unification and execution result in factor of 4 speedup over the Berkeley PLM. …
指令队列是所建议的mlcroo体系结构的关键组件,在其中检测可执行指令并将其传递给执行单元。本文阐明了将指令加载到指令队列中的问题,并对不同方案所产生的性能进行了评估。在复杂的UNIX程序中识别路径,以便有效地应用跟踪调度。给出了10种控制结构复杂的UNIX系统和CAD程序的实验结果。这是第一篇讨论将跟踪调度应用于复杂程序的论文。这项工作对于使跟踪调度适应RISC和其他即将到来的流水线、并行多体系结构至关重要。CMOS 370芯片上有控制存储,也有控制存储。一个小的片上控制存储器保存每个微序列的前两个微字(条件分支的目标)。仔细观察可以发现,两层控制存储结构可以看作是程序员管理的目标指令缓冲区。这种结构使得每个周期从(大部分是片外)大型控制存储访问一个微指令成为可能,同时实现了较短的周期时间。为了在硬连线控制的处理器中支持有效的指令仿真,提出了有效的捕获方法。这使得指令集设计问题相对独立于实现(硬连接或微编程)。•“多指令问题和单芯片处理器”,A. Pleszkun和G. Sohi,威斯康星大学麦迪逊分校。有时发出多个指令并不是一件好事。测试编译支持(跟踪调度、寄存器分配等)对指令发放率的影响会很有趣。比较本文中给出的结果和VLIW团队给出的结果,编译支持似乎对每个周期发出多个指令至关重要。本文讨论了在ASIC代码生成中由于数据路由和代码调度相互依赖而产生的困境。这个问题与流水线和/或宽指令体系结构的代码调度和寄存器分配密切相关。趋势是在代码生成过程中同时考虑这两个因素。动态可重构性是所提出的ASIC范式的一个非常有趣的特征。然而,缓慢的原型使人怀疑是否可以对一个简单的微处理器进行编程以实现目标应用程序的相同性能。•“实现具有多个功能单元的Prolog机器”,a . Singhal和Y. Patt, uc Berkeley。并行统一和执行导致比伯克利PLM的4倍的加速。...
{"title":"Micro-21 from the program chair","authors":"Wen-mei W. Hwu","doi":"10.1145/378818.378848","DOIUrl":"https://doi.org/10.1145/378818.378848","url":null,"abstract":"The instruction queue is a critical component of the proposed mlcroarchitecture where executable instructions are detected and delivered to the execution unit. This paper clarifies the issue of loading instructions into the instruction queue and evaluates the resulting performance due to different schemes. paths are identified in the complicated UNIX programs so that trace scheduling can be effectively applied. Experimental results are provided for ten UNIX system and CAD programs which all exhibit complicated control structure. This is the first paper to address the issue of applying trace scheduling to complicated programs. The work is critical to adapting trace scheduling to RISC's and other upcoming pipelined, parallel mlcroarchltectures. Research The CMOS 370 has some Control Store on chip and some off. A small on-chip Control Store holds the first two microwords of each microsequence (target of conditional branches). A close look reveals that the two-level Control Store structure can be viewed as a programmer managed target instruction buffer. This structure makes it possible to access one microinstruction from a (mostly off-chip) large Control store every cycle while achieving a short cycle time. Efficient trapping is proposed to support efficient instruction emulation in processors with hardwired control. This makes the issue of instruction set design relatively independent of the implementation (hardwired or microprogrammed). • \"Multiple Instruction Issue and Single-Chip Processors,\" A. Pleszkun and G. Sohi, U. of Wisconsin-Madison. Sometimes issuing multiple instructions is not a win. It would be interesting to experiment on the effect of compilation support (trace scheduling, register allocation, etc.) on the instruction issue rate. Comparing the results presented in this paper and those presented by the VLIW team, compilation support seems to be critical for issuing multiple instructions per cycle. The paper discusses the dilemma due to the interdependence between data routing and code scheduling in ASIC code generation. This issue corresponds closely to the one regarding the code scheduling and register allocation for pipelined and/or wide instruction architectures. The trend is to consider both factors together during code generation. The dynamic reconfigurability is a very interesting feature of the proposed ASIC paradigm. However, the slow prototype makes one wonder if a simple microprocessor can be programmed to achieve the same performance for the target applications. • \"Implementing a Prolog Machine with Multiple Functional Units,\" A. Singhal and Y. Patt, U. C. Berkeley. Parallel unification and execution result in factor of 4 speedup over the Berkeley PLM. …","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121297006","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
Hardware differences in the 9373 and 9375 processors 9373和9375处理器的硬件差异
Pub Date : 1988-09-01 DOI: 10.1145/62185.62188
L. Curley, J. Kuruts, J. Myers
In order to have a broad range of performance in processors, more than one model must exist. A family of processors infers systems with enough commonality that a smaller model can be upgraded to a larger one with minimum effort by retaining as much of the existing hardware as possible. This paper describes the differences between the Models 20 and 40, which have basically the same internal engine, and the Model 60, which has additional hardware to give it improved performance. The paper begins with a description of what cache and TLBs (translation look-aside buffers) are, and explains how they affect the performance of a processor.
为了在处理器中具有广泛的性能范围,必须存在多个模型。处理器家族推断系统具有足够的通用性,可以通过保留尽可能多的现有硬件,以最小的努力将较小的模型升级到较大的模型。本文描述了20型和40型之间的区别,它们具有基本相同的内部发动机,而60型具有额外的硬件以提高其性能。本文首先描述了什么是缓存和tlb(翻译暂置缓冲区),并解释了它们如何影响处理器的性能。
{"title":"Hardware differences in the 9373 and 9375 processors","authors":"L. Curley, J. Kuruts, J. Myers","doi":"10.1145/62185.62188","DOIUrl":"https://doi.org/10.1145/62185.62188","url":null,"abstract":"In order to have a broad range of performance in processors, more than one model must exist. A family of processors infers systems with enough commonality that a smaller model can be upgraded to a larger one with minimum effort by retaining as much of the existing hardware as possible. This paper describes the differences between the Models 20 and 40, which have basically the same internal engine, and the Model 60, which has additional hardware to give it improved performance. The paper begins with a description of what cache and TLBs (translation look-aside buffers) are, and explains how they affect the performance of a processor.","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128653529","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
I370 - a new dimension of microprogramming I370 -微程序设计的一个新维度
Pub Date : 1988-09-01 DOI: 10.1145/62185.62189
J. Maergner, Hartmut R. Schwermer
The internal 370 mode (I370) is a high level microprogramming interface. It significantly improves microcode development productivity and portability.I370 is a subset of the S/370 architecture and has special functions for access to non-S/370 system resources. It facilitates the utilization of existing high-level languages for microprogramming.In general, I370 can be supported by any S/370 CPU, independent of its internal design and implementation. It is used in the IBM 9377 Model 90 system to implement major parts of S/370 microcode.
内部370模式(I370)是一个高级微编程接口。它显著提高了微码开发的生产力和可移植性。I370是S/370架构的一个子集,具有访问非S/370系统资源的特殊功能。它有利于利用现有的高级语言进行微程序设计。总的来说,I370可以被任何S/370 CPU支持,而不受其内部设计和实现的影响。它在IBM 9377 Model 90系统中用于实现S/370微码的主要部分。
{"title":"I370 - a new dimension of microprogramming","authors":"J. Maergner, Hartmut R. Schwermer","doi":"10.1145/62185.62189","DOIUrl":"https://doi.org/10.1145/62185.62189","url":null,"abstract":"The internal 370 mode (I370) is a high level microprogramming interface. It significantly improves microcode development productivity and portability.I370 is a subset of the S/370 architecture and has special functions for access to non-S/370 system resources. It facilitates the utilization of existing high-level languages for microprogramming.In general, I370 can be supported by any S/370 CPU, independent of its internal design and implementation. It is used in the IBM 9377 Model 90 system to implement major parts of S/370 microcode.","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130095509","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
The 9373 and 9375 pipelined processing unit 9373和9375流水线处理单元
Pub Date : 1988-09-01 DOI: 10.1145/62185.62187
R. Kalla
The IBM 9370 processor family uses System/370 (S/370) architecture, which consists of three parts: the central processing unit (CPU), memory, and I/O control. This paper explains how the 9373 and 9375 CPU instruction processing cards fetch and execute S/370 instructions.To obtain the maximum performance, the CPU is designed as a pipelined processor. Pipelining is a method used in processor design to optimize performance of a sequential stream of instructions. In a sequential stream of instructions, the processor knows what the next instruction is before the current one is completed; consequently, it can begin execution of it. In some cases, the processor can start some phase of the execution of several instructions before executing the current one, thus giving depth to the pipe. The 9373 and 9375 CPU cards take full advantage of pipelining to deliver optimum performance.
IBM 9370处理器系列采用System/370 (S/370)架构,由三部分组成:中央处理器(CPU)、内存和I/O控制。本文阐述了9373和9375 CPU指令处理卡如何获取和执行S/370指令。为了获得最大的性能,CPU被设计成流水线处理器。流水线是处理器设计中用于优化顺序指令流性能的一种方法。在顺序指令流中,处理器在当前指令完成之前知道下一条指令是什么;因此,它可以开始执行它。在某些情况下,处理器可以在执行当前指令之前开始执行几个指令的某个阶段,从而赋予管道深度。9373和9375 CPU卡充分利用流水线来提供最佳性能。
{"title":"The 9373 and 9375 pipelined processing unit","authors":"R. Kalla","doi":"10.1145/62185.62187","DOIUrl":"https://doi.org/10.1145/62185.62187","url":null,"abstract":"The IBM 9370 processor family uses System/370 (S/370) architecture, which consists of three parts: the central processing unit (CPU), memory, and I/O control. This paper explains how the 9373 and 9375 CPU instruction processing cards fetch and execute S/370 instructions.To obtain the maximum performance, the CPU is designed as a pipelined processor. Pipelining is a method used in processor design to optimize performance of a sequential stream of instructions. In a sequential stream of instructions, the processor knows what the next instruction is before the current one is completed; consequently, it can begin execution of it. In some cases, the processor can start some phase of the execution of several instructions before executing the current one, thus giving depth to the pipe. The 9373 and 9375 CPU cards take full advantage of pipelining to deliver optimum performance.","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134177394","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
Implementing a mainframe architecture in a 9370 processor 在9370处理器中实现大型机体系结构
Pub Date : 1988-09-01 DOI: 10.1145/62185.62186
James Mitchell
This paper develops a high level view of the central electronics complex in the 9373 and 9375 systems, showing how the hardware and microcode elements combine to create a central processor as defined by the System/370 architecture. Within the context of this discussion, the logical subsystems described here will be defined as the working base architecture. The hardware implementation of the central processor will be examined in detail, both in terms of hardware subsystems, and as resources to be used by the various microprograms to provide the correct System/370 interface and function.
本文开发了9373和9375系统中中央电子复合体的高级视图,展示了硬件和微码元素如何结合起来创建由System/370体系结构定义的中央处理器。在本讨论的上下文中,这里描述的逻辑子系统将被定义为工作基础体系结构。中央处理器的硬件实现将从硬件子系统和各种微程序为提供正确的System/370接口和功能而使用的资源两方面进行详细研究。
{"title":"Implementing a mainframe architecture in a 9370 processor","authors":"James Mitchell","doi":"10.1145/62185.62186","DOIUrl":"https://doi.org/10.1145/62185.62186","url":null,"abstract":"This paper develops a high level view of the central electronics complex in the 9373 and 9375 systems, showing how the hardware and microcode elements combine to create a central processor as defined by the System/370 architecture. Within the context of this discussion, the logical subsystems described here will be defined as the working base architecture. The hardware implementation of the central processor will be examined in detail, both in terms of hardware subsystems, and as resources to be used by the various microprograms to provide the correct System/370 interface and function.","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"2020 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133147622","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
Using mathematical logic and formal methods to write correct microcode 使用数学逻辑和形式化方法编写正确的微代码
Pub Date : 1988-06-01 DOI: 10.1145/62197.62211
D. Shepherd
This paper describes how "correct" microcode can be produced through the use of mathematical logic and formal design methods. The use of these techniques to derive correct microcode for the IMS T800 floating point transputer from a mathematical specification is discussed. This experience on the IMS T800 has shown that this approach provides the opportunity to produce designs with a higher certainty of correctness in significantly less time as compared with "traditional" design techniques. These techniques are currently being applied to the construction of correct specifications at the hardware description language level. This work is attempting to incorporate mathematical logic and formal design methods into the INMOS CAD system so that their use becomes the standard way of producing correct VLSI devices.
本文描述了如何通过使用数学逻辑和形式化设计方法来产生“正确”的微码。讨论了使用这些技术从数学规范中推导出IMS T800浮点转译机的正确微码。IMS T800上的经验表明,与“传统”设计技术相比,这种方法提供了在更短的时间内产生具有更高准确性的设计的机会。这些技术目前正被应用于在硬件描述语言级别构建正确的规范。这项工作正试图将数学逻辑和正式设计方法纳入INMOS CAD系统,以便它们的使用成为生产正确的超大规模集成电路器件的标准方法。
{"title":"Using mathematical logic and formal methods to write correct microcode","authors":"D. Shepherd","doi":"10.1145/62197.62211","DOIUrl":"https://doi.org/10.1145/62197.62211","url":null,"abstract":"This paper describes how \"correct\" microcode can be produced through the use of mathematical logic and formal design methods. The use of these techniques to derive correct microcode for the IMS T800 floating point transputer from a mathematical specification is discussed. This experience on the IMS T800 has shown that this approach provides the opportunity to produce designs with a higher certainty of correctness in significantly less time as compared with \"traditional\" design techniques. These techniques are currently being applied to the construction of correct specifications at the hardware description language level. This work is attempting to incorporate mathematical logic and formal design methods into the INMOS CAD system so that their use becomes the standard way of producing correct VLSI devices.","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132696164","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
A Note on Division of Positive Integers 关于正整数除法的一个注记
Pub Date : 1988-06-01 DOI: 10.1145/62197.1096672
F. Wilson
At the risk of flaunting a marginal grasp of the obvious I would like to make a few observations on the division of fixed point numbers.
冒着炫耀自己对显而易见的东西把握不够的风险,我想对定点数的除法做一些观察。
{"title":"A Note on Division of Positive Integers","authors":"F. Wilson","doi":"10.1145/62197.1096672","DOIUrl":"https://doi.org/10.1145/62197.1096672","url":null,"abstract":"At the risk of flaunting a marginal grasp of the obvious I would like to make a few observations on the division of fixed point numbers.","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114563748","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
HILEVEL microcode development system hillevel微码开发系统
Pub Date : 1987-12-01 DOI: 10.1145/16360.1096735
K. Edwards
HILEVEL's DS3700 Series Emulyzers provides full microcode development support. The DS3700 combined with HALE (an advanced retargetable Macro-Meta Assembler), with software for firmware integration and debug, and with a host computer provides a complete microcode development system.
hillevel的DS3700系列乳化剂提供完整的微码开发支持。DS3700与HALE(一种先进的可重定向宏元汇编器)、固件集成和调试软件以及主机相结合,提供了一个完整的微码开发系统。
{"title":"HILEVEL microcode development system","authors":"K. Edwards","doi":"10.1145/16360.1096735","DOIUrl":"https://doi.org/10.1145/16360.1096735","url":null,"abstract":"HILEVEL's DS3700 Series Emulyzers provides full microcode development support. The DS3700 combined with HALE (an advanced retargetable Macro-Meta Assembler), with software for firmware integration and debug, and with a host computer provides a complete microcode development system.","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125282402","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
A suite of microarchitectures for evaluating microcode compilers for other than for ISA interpretation 一套微体系结构,用于评估除ISA解释之外的微代码编译器
Pub Date : 1987-12-01 DOI: 10.1145/16360.1096743
J. Linn
This note describes a suite of microarchitectures that has been developed for evaluating microcode compilers. These architectures are not especially appropriate for the interpretation of "normal" instruction set architectures owing primarily to the lack of efficient facilities for buffering and decoding ISA level instructions. Also, a single-level, nonpartitioned control store organization is used that may not be the optimal choice for the architectures in this family.
本文描述了一套用于评估微码编译器的微体系结构。这些体系结构并不特别适合解释“普通”指令集体系结构,主要是因为缺乏有效的缓冲和解码ISA级指令的设施。此外,使用的单级、非分区控制存储组织可能不是本系列体系结构的最佳选择。
{"title":"A suite of microarchitectures for evaluating microcode compilers for other than for ISA interpretation","authors":"J. Linn","doi":"10.1145/16360.1096743","DOIUrl":"https://doi.org/10.1145/16360.1096743","url":null,"abstract":"This note describes a suite of microarchitectures that has been developed for evaluating microcode compilers. These architectures are not especially appropriate for the interpretation of \"normal\" instruction set architectures owing primarily to the lack of efficient facilities for buffering and decoding ISA level instructions. Also, a single-level, nonpartitioned control store organization is used that may not be the optimal choice for the architectures in this family.","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129127949","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
期刊
ACM Sigmicro Newsletter
全部 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