Proceedings ArticleDOI
Data transfer interface design in DAME
B. Huber,K.F. Li,Nikitas J. Dimopoulos,E.G. Manning +3 more
- Vol. 2, pp 510-513
Reads0
Chats0
TLDR
The component model and interface design procedure for data transfer in DAME (Design Automation of Microprocessor based systems, using an Expert system approach), a system in development that will be capable of producing the complete design from an original system specification, such as the type of application, cost, processing requirements, and power consumption.Abstract:
The authors discuss the component model and interface design procedure for data transfer in DAME (Design Automation of Microprocessor based systems, using an Expert system approach), a system in development that will be capable of producing the complete design from an original system specification, such as the type of application, cost, processing requirements, and power consumption. Signal connecting microprocessor components are used to transfer information between the components. Several different types of information were found to be involved in data transfer. The model developed for data transfer treats each of the information exchanges as a primitive. Each information primitive consists of the timing information of signals involved and the state information about the exact state of these signals during the information exchange. In DAME, design decisions are made by a set of rules that manipulates the information exchange primitives to obtain the final interface design. >read more
Citations
More filters
Patent
Multi-device adapter card for computer
TL;DR: In this article, a method and apparatus for producing an electronic circuit which allows a device to be connected to a bus, such as a system bus in a computer, is presented.
Patent
Tunable architecture for device adapter
TL;DR: In this paper, a method and apparatus for producing an electronic circuit which allows a device to be connected to a bus, such as a system bus in a computer, is presented.
Proceedings ArticleDOI
Modeling data transfer signal timings in DAME
TL;DR: The authors introduce the timing and signal model used to specify the data transfer timing of microprocessor components and the design strategy used by the timing design subsystem.
Data transfer signal timings in dame
B. Huber,M. Escalante +1 more
TL;DR: This paper discusses the timing interface design subsystem in data transfer interface design, which ensures that all signals produced by the be transferred from one device to another without violating interface between components meet the required timing any of the timing specifications.
References
More filters
Journal ArticleDOI
R1: a rule-based configurer of computer systems
TL;DR: R1 is a program that configures VAX-11/780 computer systems and uses Match as its principal problem solving method; it has sufficient knowledge of the configuration domain and of the peculiarities of the various configuration constraints that at each step in the configuration process, it simply recognizes what to do.
Journal ArticleDOI
A Knowledge-Based Approach to Design
TL;DR: The paper focuses on the principles underlying the design of VEXED, and on several lessons and research issues that have arisen from implementing and experimenting with this prototype.
Book
Formal Verification of Hardware Design
TL;DR: Reading formal verification of hardware design is also a way as one of the collective books that gives many advantages.
Journal ArticleDOI
Automated Synthesis of Digital systems
TL;DR: The tutorial summarizes the difficulties of automating synthesis, including the combinatorial explosion of design possibilities, the interaction between different synthesis tasks, and the difficulty of estimating design attributes such as cost and speed.
Journal ArticleDOI
The Micon system for computer design
TL;DR: A description is given of the microprocessor configurer system, or Micon, which was designed to provide support for computer hardware designers to reduce the time required to construct a hardware system.
Related Papers (5)
System construction method using software model and modeling device
Oeda Shigeto,Mayuko Tanaka +1 more