Showing papers in "Integration in 1996"

TL;DR: A comprehensive survey of existing techniques for interconnect optimization during the VLSI physical design process, with emphasis on recent studies on interconnect design and optimization for high-performance V LSI circuit design under the deep submicron fabrication technologies.

TL;DR: This tutorial paper surveys some of the existing techniques for modelling, analysis and synthesis of asynchronous control circuits based on the use of Petri nets, and presents three different approaches to verification of net-based circuits, and shows their relative strengths and weaknesses.

TL;DR: It is believed that the difficulty in obtaining accurate models of power at the technology-independent level makes it difficult to optimize for power at this level, and thus it is felt that the technology mapping step offers the most direct way of power optimization during logic synthesis.

TL;DR: A new formulation of the complex optimization problem to be solved in terms of a single integer linear programming problem, as well as optimal scheduling algorithms and complexity results in the case of linear processor arrays.

TL;DR: Evaluation on MCNC benchmarks has shown the effectiveness of the test algorithm both at functional and gate levels, while achieving in most cases 100% coverage of single stuck-at faults.

TL;DR: This paper studies the more general case of arbitrary (but regular) link redundancy and derives a provably correct testing algorithm whose worst-case time complexity is O(k g k); this also improves on the previous algorithm for k = 2.

TL;DR: The synthesis of highly testable data paths under scan optimization from a given scheduled data flow graph is addressed, using an intelligent register allocation technique to minimize the number of sequential loops.

TL;DR: The main objective is to preserve simulation/synthesis correspondence during synthesis and to produce hardware that operates with a high degree of parallelism.

TL;DR: An integrated test strategy covers the most typical functional and parametric faults by execution of retention and marginal tests during the parallel test for unidirectional NPSFs detection and showed an improved test coverage of k -coupling faults.

TL;DR: A new proof of the Retiming Lemma is presented, and it is shown how retiming can be interpreted in the domain of space-time transformations.

TL;DR: The fundamental theory for testing one or two-dimensional Iterative Logic Arrays (ILAs) with respect to realistic faults requiring two-pattern or generally n-pattern tests is given.

TL;DR: It is recommended that research be conducted to analyze the fears and apprehensions of Muslims, an intervention strategy be developed both for staff training and a mass awareness campaign, and great care be given in developing a family planning communication strategy.

TL;DR: A systematic mapping procedure for systolic arrays is considered and unimodular matrices are defined which describe projection, timing, and bases for the processor space and a correct timing function.

TL;DR: A multi-valued pattern classifier with high discrimination sensitivity and its VLSI implementation proposal on a single chip are presented in this paper.

TL;DR: It is shown that for K = 2 the mapping solution for a 2-bounded network, minimizing the area and delay simultaneously, can be easily obtained from that of a 2,exact network derived from it by eliminating single input nodes, resolving an open problem.

TL;DR: The experiment on some large-scale randomly generated channel routing problems shows that the lower bound algorithms are much tighter than the traditional lower bounds, and are much more efficient than Pals' algorithm while obtaining similar (sometimes better) results.

TL;DR: The TRDEP project provides soft loans to landless poor for income-generating activities involving non-crop livelihoods and trades, and borrowers have started small, successful entrepreneurial activities with their loans as capital.

TL;DR: In this paper, the authors discuss the meaning of family planning and explain that family planning is allowed from the religious point of view and explains that there are no official fatwa which approve of it.

TL;DR: From the experimental results with MCNC benchmarks, the proposed cell model and routing algorithm produce the smaller height of layouts as compared to those produced by conventional cell models and algorithms, and the effectiveness of the proposal and routing method was shown.

TL;DR: A stepwise refinement of a basic model that describes the logic behavior - static as well as dynamic - of abstract transistor networks and captures logic faults due to conflicts, nondefined gates, hazards, charge sharing, imperfectness of switches, and relative timing problems is developed.

TL;DR: WHO will work to develop policies, strategic approaches, norms, standards, indicators, and guidelines for reproductive health programs which will be adapted in accordance with experience in country situations and the results of operational research.