Pub Date : 1988-04-11DOI: 10.1109/CMPEUR.1988.4931
R. Hartenstein, A. Hirschbiel, M. Weber
The authors describe a parallel hardware implementation of Petri nets using the Kolte array scheme. The main feature of the work is a way of solving accessing conflicts which can arise from parallelism within such arrays. A description is also given of an NMOS circuit technique, a Patil array generator, and a flexible field-reprogrammable Patil array circuit technique.<>
{"title":"Patil array-a Petri net hardware implementation","authors":"R. Hartenstein, A. Hirschbiel, M. Weber","doi":"10.1109/CMPEUR.1988.4931","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4931","url":null,"abstract":"The authors describe a parallel hardware implementation of Petri nets using the Kolte array scheme. The main feature of the work is a way of solving accessing conflicts which can arise from parallelism within such arrays. A description is also given of an NMOS circuit technique, a Patil array generator, and a flexible field-reprogrammable Patil array circuit technique.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116232138","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}
Pub Date : 1988-04-11DOI: 10.1109/CMPEUR.1988.4941
Z. Brezočnik, B. Horvat, M. Gerkeš
An approach is presented for automatic formal verification of digital hardware designs using Prolog. Validation of design correctness is made by formal proof as an alternative to the traditional approach which utilizes simulation. A hardware design methodology based on this framework entails: writing a specification of required design, designing a circuit intended to implement it, and proving mathematically that the design meets its specification. Prolog is used both as a representational language for describing the design specification and implementation and also as an inference mechanism for proving its functional correctness. A developed verification system has enough domain specific and general mathematical knowledge to perform the proofs largely automatically. Designs can be handled from the transistor level up to the architectural levels. Some large designs, including a simple computer, have already been verified.<>
{"title":"Tool for system design verification","authors":"Z. Brezočnik, B. Horvat, M. Gerkeš","doi":"10.1109/CMPEUR.1988.4941","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4941","url":null,"abstract":"An approach is presented for automatic formal verification of digital hardware designs using Prolog. Validation of design correctness is made by formal proof as an alternative to the traditional approach which utilizes simulation. A hardware design methodology based on this framework entails: writing a specification of required design, designing a circuit intended to implement it, and proving mathematically that the design meets its specification. Prolog is used both as a representational language for describing the design specification and implementation and also as an inference mechanism for proving its functional correctness. A developed verification system has enough domain specific and general mathematical knowledge to perform the proofs largely automatically. Designs can be handled from the transistor level up to the architectural levels. Some large designs, including a simple computer, have already been verified.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"92 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128022006","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}
Pub Date : 1988-04-11DOI: 10.1109/CMPEUR.1988.4943
I. Exman, E. Perkalski
A novel interactive approach to pipeline design is proposed. To convey to the user prompt understanding of both the algorithm and processor functions, it uses a multilayered representation for pipeline entities. The entity repertoire in each layer is small. Guidelines are given to abstract actual processors into these entities. The ground layer of the representation is a resources board. One builds up the pipeline the way one solves jigsaw puzzles: moving around 'boxes' on the board. The computer system controls the design process. Toccata & Fuga, a rule-based system, was implemented along the above lines, in a Lisp machine. To be a practical tool it has the additional feature of automatic board translation to microcode.<>
{"title":"Toccata & Fuga: a rule-based system for interactive pipeline design","authors":"I. Exman, E. Perkalski","doi":"10.1109/CMPEUR.1988.4943","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4943","url":null,"abstract":"A novel interactive approach to pipeline design is proposed. To convey to the user prompt understanding of both the algorithm and processor functions, it uses a multilayered representation for pipeline entities. The entity repertoire in each layer is small. Guidelines are given to abstract actual processors into these entities. The ground layer of the representation is a resources board. One builds up the pipeline the way one solves jigsaw puzzles: moving around 'boxes' on the board. The computer system controls the design process. Toccata & Fuga, a rule-based system, was implemented along the above lines, in a Lisp machine. To be a practical tool it has the additional feature of automatic board translation to microcode.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124107644","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}
Pub Date : 1988-04-11DOI: 10.1109/CMPEUR.1988.4930
P. Pulli, J. Dahler, H. Gisiger, A. Kundig
The SPECS tool is a window-oriented, menu-driven net editor and an integrated simulator with animation support for high-level Petri nets, embedded in an object-oriented programming environment and extended with a hierarchical structuring facility. However, the use of the tool is not limited to Petri-net based specifications. It is possible to describe the basic modeling elements of other specification methods with Petri nets. The initial results of emulating the real-time structured analysis and structured design method on the SPECS environment are presented. The basic elements of the method are modeled as high-level Petri nets to meet the execution rules, known as the Ward transformation schema. The SPECS simulator is adapted to support the scheduling principle of those execution rules. The well-known cruise control system specification is presented in a form which allows its execution on the SPECS tool.<>
{"title":"Execution of Ward's transformation schema on the graphic specification and prototyping tool specs","authors":"P. Pulli, J. Dahler, H. Gisiger, A. Kundig","doi":"10.1109/CMPEUR.1988.4930","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4930","url":null,"abstract":"The SPECS tool is a window-oriented, menu-driven net editor and an integrated simulator with animation support for high-level Petri nets, embedded in an object-oriented programming environment and extended with a hierarchical structuring facility. However, the use of the tool is not limited to Petri-net based specifications. It is possible to describe the basic modeling elements of other specification methods with Petri nets. The initial results of emulating the real-time structured analysis and structured design method on the SPECS environment are presented. The basic elements of the method are modeled as high-level Petri nets to meet the execution rules, known as the Ward transformation schema. The SPECS simulator is adapted to support the scheduling principle of those execution rules. The well-known cruise control system specification is presented in a form which allows its execution on the SPECS tool.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132438809","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}
Pub Date : 1988-04-11DOI: 10.1109/CMPEUR.1988.4961
C. Senft
The author presents a distributed project support environment for the design of fault-tolerant distributed realtime systems. The innovative aspects of this environment relate to the handling of realtime from the requirements phase to the detailed implementation stage and to the integration of the design tools with the evaluation of the design tools with the evaluation tools. Data refinement, function refinement, evaluation, and project management are supported by an open, but coherent tool set, shared by different computers. A uniform man-machine interface is one of the integrating factors of the whole environment. The design environment is implemented under the Unix operating system. The X-window system supports the creation of the window and icon-driven user interface of the design tools. The entire information gained and used during the design process is stored in an entity-relationship model implemented by a hybrid data-management approach that is based on a relational database system and the Unix file system.<>
{"title":"A computer-aided design environment for distributed realtime systems","authors":"C. Senft","doi":"10.1109/CMPEUR.1988.4961","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4961","url":null,"abstract":"The author presents a distributed project support environment for the design of fault-tolerant distributed realtime systems. The innovative aspects of this environment relate to the handling of realtime from the requirements phase to the detailed implementation stage and to the integration of the design tools with the evaluation of the design tools with the evaluation tools. Data refinement, function refinement, evaluation, and project management are supported by an open, but coherent tool set, shared by different computers. A uniform man-machine interface is one of the integrating factors of the whole environment. The design environment is implemented under the Unix operating system. The X-window system supports the creation of the window and icon-driven user interface of the design tools. The entire information gained and used during the design process is stored in an entity-relationship model implemented by a hybrid data-management approach that is based on a relational database system and the Unix file system.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134483026","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}
Pub Date : 1988-04-11DOI: 10.1109/CMPEUR.1988.4949
J. Durieux
The author identifies a unifying concept, called charm, for the substitution and binding mechanisms of logics, lambda-calculi, and programming languages. A survey of the algebraic properties of compositions of usual binding mechanisms shows that there is a common algebraic structure, from simple binding mechanisms like memories and environments to more complex ones like recursive systems or algebraic specifications. This common algebraic structure provides an outline for an unifying theory of charms of programming.<>
{"title":"Charms of programming (requirements for a theory of . . .)","authors":"J. Durieux","doi":"10.1109/CMPEUR.1988.4949","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4949","url":null,"abstract":"The author identifies a unifying concept, called charm, for the substitution and binding mechanisms of logics, lambda-calculi, and programming languages. A survey of the algebraic properties of compositions of usual binding mechanisms shows that there is a common algebraic structure, from simple binding mechanisms like memories and environments to more complex ones like recursive systems or algebraic specifications. This common algebraic structure provides an outline for an unifying theory of charms of programming.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116496066","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}
Pub Date : 1988-04-11DOI: 10.1109/CMPEUR.1988.4959
S. Gatti, L. Zoccolante
The authors describe the main characteristics of multi micro environment (MME), an integrated programming support environment for the developing of concurrent applications for an embedded distributed environment. General tools and specific ones for the intended multimicroprocessor applications are described. The authors present a short description of the concurrent, modular language provided by MME.<>
{"title":"MME: a new integrated programming support environment for distributed embedded systems","authors":"S. Gatti, L. Zoccolante","doi":"10.1109/CMPEUR.1988.4959","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4959","url":null,"abstract":"The authors describe the main characteristics of multi micro environment (MME), an integrated programming support environment for the developing of concurrent applications for an embedded distributed environment. General tools and specific ones for the intended multimicroprocessor applications are described. The authors present a short description of the concurrent, modular language provided by MME.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"23 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131207636","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}
Pub Date : 1988-04-11DOI: 10.1109/CMPEUR.1988.4946
T. Claasen
An overview is given of presently common design methods for VLSI. A comparison is made between VLSI and software design methods and the conclusion is drawn that VLSI design is still in its infancy. It is predicted that rapid progress, especially in the area of automated or computer-aided design, will allow system designers with little (if any) knowledge of silicon processing or MOS transistors to design digital circuits of large complexity in moderate design times.<>
{"title":"Current industrial practice in VLSI design","authors":"T. Claasen","doi":"10.1109/CMPEUR.1988.4946","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4946","url":null,"abstract":"An overview is given of presently common design methods for VLSI. A comparison is made between VLSI and software design methods and the conclusion is drawn that VLSI design is still in its infancy. It is predicted that rapid progress, especially in the area of automated or computer-aided design, will allow system designers with little (if any) knowledge of silicon processing or MOS transistors to design digital circuits of large complexity in moderate design times.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"541 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124342865","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}
Pub Date : 1988-04-11DOI: 10.1109/CMPEUR.1988.4958
G. M. Bisio, F. Arduini, F. Curatelli, E. Zitti, G. Parodi, A. Zini
A method for mapping uniformly distributed (wavefront like) algorithms into processor square meshes of fixed size, which is based on the concept of folding, is applied to matrix computation (matrix multiplication and LU decomposition). Array processors programmed in Occam are considered. The programming methodology, which can be automated, is analyzed in detail.<>
{"title":"A method for programming matrix algorithms in array processors","authors":"G. M. Bisio, F. Arduini, F. Curatelli, E. Zitti, G. Parodi, A. Zini","doi":"10.1109/CMPEUR.1988.4958","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4958","url":null,"abstract":"A method for mapping uniformly distributed (wavefront like) algorithms into processor square meshes of fixed size, which is based on the concept of folding, is applied to matrix computation (matrix multiplication and LU decomposition). Array processors programmed in Occam are considered. The programming methodology, which can be automated, is analyzed in detail.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"178 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123071816","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}
Pub Date : 1988-04-11DOI: 10.1109/CMPEUR.1988.4936
W. Zimmermann
It is shown how to use techniques and properties of many-valued and nonmonotonic logics for the construction of programs. The design decisions of program development depend on nonfunctional properties (like complexity, influences of the application area and target systems, etc.). If one develops a program using a transformation system, a design decision corresponds to the choice of a transformation rule. The connection between nonfunctional properties and design decisions is described by the use of logic. An inference mechanism helps in choosing a transformation rule. A classical inference mechanism is not sufficient, because the knowledge on the connection between nonfunctional properties and transformation rules is uncertain and incomplete. It is shown that the use of a many-valued and nonmonotonic inference mechanism leads to more adequate results.<>
{"title":"The use of many-valued and nonmonotonic logics for design decisions","authors":"W. Zimmermann","doi":"10.1109/CMPEUR.1988.4936","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4936","url":null,"abstract":"It is shown how to use techniques and properties of many-valued and nonmonotonic logics for the construction of programs. The design decisions of program development depend on nonfunctional properties (like complexity, influences of the application area and target systems, etc.). If one develops a program using a transformation system, a design decision corresponds to the choice of a transformation rule. The connection between nonfunctional properties and design decisions is described by the use of logic. An inference mechanism helps in choosing a transformation rule. A classical inference mechanism is not sufficient, because the knowledge on the connection between nonfunctional properties and transformation rules is uncertain and incomplete. It is shown that the use of a many-valued and nonmonotonic inference mechanism leads to more adequate results.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127651987","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：