CRITTER is an exploratory prototype design aid, built using Artificial Intelligence ("Expert systems") technology, to aid in "critiquing" digital circuit designs, encompassing issues of functional ...
详细信息
ISBN:
(纸本)9780818605420
CRITTER is an exploratory prototype design aid, built using Artificial Intelligence ("Expert systems") technology, to aid in "critiquing" digital circuit designs, encompassing issues of functional correctness, operating speed, timing robustness, and circuit sensitivity to changes in device parameters. Its non-procedural representation for both real-time circuit behavior and circuit specifications has led to a streamlined circuit modeling formalism based on ordinary mathematical function composition. In its interactions with the user it strives to be as concise as possible, concentrating only on findings it judges to be unexpected or unusual. After successful tests with circuits of up to a dozen TTL SSI/MSI packages, CRITTER is being extended for use in an automated VLSI design environment.
The random logic portion of a chip Implementing a set of Boolean functions and sequential circuits usually represents a major contribution to chip area. Obviously, there are many circuits which realize the same Boolea...
详细信息
ISBN:
(纸本)9780818605420
The random logic portion of a chip Implementing a set of Boolean functions and sequential circuits usually represents a major contribution to chip area. Obviously, there are many circuits which realize the same Boolean function. Unfortunately, at present there is no general theory that provides designers (and design automation programs) with lower bounds for total area, for gate oxide area, and for delay time of logic Implementations in Integrated systems. Therefore, the main task for the computer optimization program appears In choice of the circuit with the most convenient *** is a design automation system with register-transfer level description on its Input and CIF file on output [5]. The digital circuit can be described in both behavioral and structural mode. A set of successive compilations and hardware implementing and optimizing transformations create the description of the network on the level of logic gates and pass transistors. As the output of hardware compilation from the higher level, this description is usually nonoptimal and thus is next optimized by recursive technology independent transformations based on Boolean algebra (like A*O = O, A*A = A, etc.). Inverters are also inserted into long chains of AND or OR gates, being the results of iterative circuits' compilation [4].The next stages are: technology dependant optimization of the logic network, and network's layout. It is assumed that the resultant network is multilevel, consists of complex negative gates, and is realized in semiregular Weinberger-style gate matrix layout. The logic minimization method intended for layout minimization is described in this *** is assumed in our silicon compiler, that logic is constructed of n-channel, polysilicon gate MOSFET ratioless complex gates, performing any negative function. By negative function we understand negation of positive function, while positive function is any combination of AND and OR functors [1]. Functions for evaluation of circ
A new technique is presented for reduced-order modeling of linear discrete-time systems, using an output error criterion. A closed form expression is developed for the gradient of the cost function with respect to the...
详细信息
A new technique is presented for reduced-order modeling of linear discrete-time systems, using an output error criterion. A closed form expression is developed for the gradient of the cost function with respect to the model parameters. A computationally efficient algorithm for computing this gradient is derived. A Fletcher-Powell optimization procedure utilizes the gradient vector to compute the reduced-order model parameters. A special initialization procedure is proposed, and the stability of the reduced-order system is monitored. The performance of the algorithm is illustrated by some numerical examples. Results seem to indicate that the proposed technique performs better than many existing model-reduction methods.
A unified control-theoretic model is presented for routing and network management techniques is circuit switched networks. Various traditional and recently proposed schemes are illustrated in terms of this common fram...
详细信息
A unified control-theoretic model is presented for routing and network management techniques is circuit switched networks. Various traditional and recently proposed schemes are illustrated in terms of this common framework. Properties of the function relating performance to control variables are derived and the issue of user versus systemoptimization is discussed. Approximate performance models are compared with an exact Markov chain analysis in the context of small networks employing a range of two link alternate routing policies. The exact performances are obtained through a numerical solution to the balance equations in the state probabilities, a procedure which is only feasible for small networks. The most favourable approximate models have been implemented which enable the numerical performance evaluation of the large asymmetric networks found in practice. Performance results for various routing schemes are then obtained using this model for typical networks with non-uniform traffic loads. An analytic solution to the approximate model has been obtained in the case of symmetrical networks with uniform traffic. This model has been found useful in the interpretation of numerical results.
Large space structures present one of the most difficult environments to a control design software package, because of high order, low damping ratios and large amounts of data. This paper indicates how MATRIXX has bee...
详细信息
Large space structures present one of the most difficult environments to a control design software package, because of high order, low damping ratios and large amounts of data. This paper indicates how MATRIXX has been used to solve problems of order up-to 150 relatively easily. MATRIXX is a Computer-Aided-Design (CAD) system to perform the steps in the control design cycle starting from systemmodeling to data analysis, identification, control synthesis and simulation. The package features a powerful matrix interpreter, a user-friendly environment with device independent graphics, state-of-the-art numerical algorithms for reliable computations and user-transparent file management. The design and application MATRIXX user interface and numerical algorithms for Large Space structures are described and illustrated. Though MATRIXX has also been used for simulation, data analysis and system identification in Large Space structures, only the Control Design Capability is shown.
A novel two-level scheme for designing protocols for optimal traffic routing in large communication networks is presented. Major strong points of the scheme are: (i) it is adaptive to changes in load and network topol...
详细信息
A novel two-level scheme for designing protocols for optimal traffic routing in large communication networks is presented. Major strong points of the scheme are: (i) it is adaptive to changes in load and network topology, (ii) permits consideration of multiple objective functions in performance optimization, and (iii) combines elements of flow control and routing for an effective control of traffic congestion.
The problem of designing realistic decentralized controllers to solve the robust decentralized servomechanism problem [1] is considered in this paper. In particular, it is desired to find a decentralized controller fo...
详细信息
The problem of designing realistic decentralized controllers to solve the robust decentralized servomechanism problem [1] is considered in this paper. In particular, it is desired to find a decentralized controller for a plant to solve the robust servomechanism problem so that closed loop stability and asymptotic regulation occur, and also so that other desirable properties of the controlled system, such as fast response, low-interaction, integrity, tolerance to plant variations, constraints on gain magnitudes etc. occur. The method of design is based on extending the centralized design method of [2], [3] as is described in [4]. It is the purpose of this paper to outline some case studies of the design method when applied to plants varying from 2nd to 9th order with controllers of various complexity.
暂无评论