{"title":"An Interactive Drafting System based on two Dimensional Primitives","authors":"G. Cosmai, U. Cugini, P. Mussio, A. Napolitano","doi":"10.1145/800263.809254","DOIUrl":"https://doi.org/10.1145/800263.809254","url":null,"abstract":"This paper describes an interactive drafting system based on two dimensional primitives and logic operators. A special attention is given to the ways of interaction derived from the analysis of the usual drafting procedures.","PeriodicalId":290739,"journal":{"name":"19th Design Automation Conference","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127430845","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}
{"title":"Optimal Single Row Router","authors":"Raghunath Raghavan, S. Sahni","doi":"10.1145/800263.809183","DOIUrl":"https://doi.org/10.1145/800263.809183","url":null,"abstract":"The single row approach represents a systematic suboptimal approach to the general multilayer rectilinear wire routing problem. With this approach, the single row wiring problem (i.e., one where all the points are collinear) forms the backbone of the general multilayer wiring problem. We consider the problem of generating minimum width layouts for single row wiring problems. Our algorithm, which is not grid-based, is enumerative and uses a strong bounding criterion.","PeriodicalId":290739,"journal":{"name":"19th Design Automation Conference","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114781780","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}
{"title":"ROBOTICS: The New Automation Tool","authors":"H. Marcotte","doi":"10.1145/800263.809177","DOIUrl":"https://doi.org/10.1145/800263.809177","url":null,"abstract":"Industrial robots have seen limited use by industries for over a decade but until the auto industry introduced robotics for spot welding applications in the late 60s the robot was not considered seriously. Now they are readily accepted throughout industry. The reasons for their current popularity are the rapidly increasing costs of labor and the seemingly declining productivity of todays workers. In addition, robots today are credited for additional product and quality improvements not seriously considered in the past. Benefits similar to those that have long been attributes associated with hard automation. This paper looks at robotics from a users viewpoint and addresses some of the benefits and concerns attributable to their use. To this end, this paper will describe several applications that are currently used in production with results relative to production gains, side benefits and operator acceptance.","PeriodicalId":290739,"journal":{"name":"19th Design Automation Conference","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130454433","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}
{"title":"An Interactive Logic Synthesis System Based upon AI Techniques","authors":"N. Kawato, T. Uehara, Sadaki Hirose, Takao Saito","doi":"10.1145/800263.809300","DOIUrl":"https://doi.org/10.1145/800263.809300","url":null,"abstract":"This paper proposes an interactive logic synthesis system which supports translation from behavioral to gate level. A design's specification described in the register transfer language DDL is translated into abstract objects. They are converted to macros representing logical structure and serving as technology independent goals which guide designers in synthesis phases. The system has knowledge about the technology adopted and can accommodate various know-how and design constraints to support the designer's tasks of PCB partition and logic synthesis. As a result, it greatly relieves designers from tedious tasks and makes it possible to explore alternative designs.","PeriodicalId":290739,"journal":{"name":"19th Design Automation Conference","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131641849","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}
{"title":"Parametric Pattern Router","authors":"T. Asano","doi":"10.1145/800263.809238","DOIUrl":"https://doi.org/10.1145/800263.809238","url":null,"abstract":"This paper presents a new pattern router based on an enumeration scheme which sequentially produces alternative paths for a pin pair. First, we represent a pattern or shape of a route by a sequence of symbols representing directions of constituent line segments. Then, we investigate a condition that a sequence of symbols represents a valid pattern. We also count all valid patterns. Given two points, we can specify any route between them by a pattern of the route and lengths of segments. If we vary their lengths as parameters, then we can generate various routes. Therefore, the parametric pattern router with all possible patterns can always find a path between two points if one exists. The user of the router may define a set of admissible routing patterns according to circumstances.","PeriodicalId":290739,"journal":{"name":"19th Design Automation Conference","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123830466","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}
{"title":"Formal Semantics for the Automated Derivation of Micro-Code","authors":"R. A. Mueller, Joseph Varghese","doi":"10.1145/800263.809295","DOIUrl":"https://doi.org/10.1145/800263.809295","url":null,"abstract":"A semantics based scheme for use in machine-independent microprogram synthesis is described. The input to the synthesis system consists of a micro-instruction set processor model and requirement specifications. Validity and transformation rules which are an integral part of the system are used in an attempt to prove the existence of a microprogram satisfying the requirements and if feasible such a microprogram can be extracted directly from the proof. The primary goal of this paper is to describe a system of validity and transformation rules for use in such a synthesis system.","PeriodicalId":290739,"journal":{"name":"19th Design Automation Conference","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124837860","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}
{"title":"Hardware Support for Automatic Routing","authors":"E. Damm, H. Gethöffer, K. Kaiser","doi":"10.1145/800263.809210","DOIUrl":"https://doi.org/10.1145/800263.809210","url":null,"abstract":"A system for automatic routing based on an iterative application of Lee's algorithm is presented. An extended cell admissibility is defined for continuous design rules in coarse rectangular grids. Combined hardware and software design strategies are applied towards the definition of data structures and their kernel primitives for automatic routing. The hardware architecture and the implementation of specific structures are discussed. The resulting extended routing unit is used in a CAD system. Thus the throughput of the iterative router is improved by a factor of 5 compared to the equivalent software process. Finally the architecture of a high speed stand-alone routing processor is presented.","PeriodicalId":290739,"journal":{"name":"19th Design Automation Conference","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115252851","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}
{"title":"Object Data Structures Towards Distributed Graphics Processing","authors":"D. Grabel","doi":"10.1145/800263.809230","DOIUrl":"https://doi.org/10.1145/800263.809230","url":null,"abstract":"A new approach to interactive graphics processing is described. A system for supporting interactive graphics in a distributed computing environment and its primary data structure are explained. It is compared with traditional display list processing. Its use in an important design automation problem, filling concave polygons, is also explained.","PeriodicalId":290739,"journal":{"name":"19th Design Automation Conference","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115544683","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}
{"title":"A Logic Simulation Machine","authors":"M. Abramovici, Y. Levendel, P. R. Menon","doi":"10.1145/800263.809188","DOIUrl":"https://doi.org/10.1145/800263.809188","url":null,"abstract":"Special-purpose CAD hardware is increasingly being considered as a means to meet the challenge posed to conventional (software-based) CAD tools by the growing complexity of VLSI circuits. In this paper we describe the architecture of a logic simulation machine employing distributed and parallel processing. Our architecture can accommodate different levels of modeling ranging from simple gates to complex functions, and support timing analysis. We estimate that simulation implemented by the proposed special-purpose hardware will be between 10 and 60 times faster than currently used software algorithms running on general-purpose computers. With the available technology, a throughput of 1,000,000 gate evaluations/second can be achieved.","PeriodicalId":290739,"journal":{"name":"19th Design Automation Conference","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114616581","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}
{"title":"Toward CAM-Oriented CAD","authors":"F. Arbab, L. Lichten, M. Melkanoff","doi":"10.1145/800263.809213","DOIUrl":"https://doi.org/10.1145/800263.809213","url":null,"abstract":"A new solid modeling scheme is proposed and developed as the core of an integrated approach to the computer aided design and manufacture of mechanical parts. The benefits of this methodology, which considers the manufacturing process during the design phase, are discussed in the context of an integrated CAD/CAM system.","PeriodicalId":290739,"journal":{"name":"19th Design Automation Conference","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129524215","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}