Results 171 to 180 of about 121,840 (219)

On the Complexity of VLSI Computations

1981
We present four results on the complexity of VLSI computations: a) We further justify the Boolean circuit model [Vu, Sa, LS] by showing that it is able to model multi-directional VLSI devices [e.g. pass transistors, pre-charged bus drivers). b) We prove a general cutting theorem for compact regions in Rd Cd≥2) that allows us to drop ...
Lengauer, T., Mehlhorn, K.
openaire   +2 more sources

Crosstalk reduction for VLSI

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1997
The performance of high-speed electronic systems is limited by interconnect-related failure modes such as coupled noise. We propose new techniques for alleviating the problems caused by coupling between signal lines on integrated circuits. We show that models used by previous work on coupled noise-constrained layout synthesis do not allow the use of ...
Ashok Vittal, Malgorzata Marek-Sadowska
openaire   +1 more source

VLSI - Entwurfssystem (VENUS)

1984
Der Stand der Halbleiterfertigungstechnologie erlaubt die Herstellung von Bausteinen mit mehr als 100.000 Transistoren. Der Entwurf von Schaltungen, der diese technologischen Moglichkeiten ausnutzen mochte, ist nur noch mit massiver Rechnerunterstutzung moglich.
Klaus Blondin, Martin Nett
openaire   +1 more source

On-line testing for VLSI

Proceedings International Test Conference 1997, 2002
A large variety of on-line testing techniques for VLSI was developed in the past and are still enriched by new developments. They can respond efficiently to the increasing complexity of VLSI circuits under the condition that available CAD tools simplify their implementation.
openaire   +1 more source

The impact of VLSI on microprogramming

ACM SIGMICRO Newsletter, 1986
There are four “cultures” of microprogramming: the Bit-Slice Culture, the Commercial Processor Culture, the Microprogrammable Processor Culture, and the Single-Chip Culture. The effect of trends in VLSI (Very Large Scale Integration) on microprogramming can be assessed by looking the effect on each culture.
openaire   +1 more source

VLSI programming

Proceedings 1988 IEEE International Conference on Computer Design: VLSI, 2003
Kees van Berkel 0001, Martin Rem, Ronald W. J. J. Saeijs   +2 more
openaire   +2 more sources

Concurrent VLSI Architectures

IEEE Transactions on Computers, 1984
This tutorial paper addresses some of the principles and provides examples of concurrent architectures and designs that have been inspired by VLSI technology. The circuit density offered by VLSI provides the means for implementing systems with very large numbers of computing elements, while its physical characteristics provide an incentive to organize ...
openaire   +1 more source

Verifying VLSI Circuits

2009
Circuit-level verification is a promising area for formal methods research. Simulation using tools such as SPICE remains the main method for circuit validation. Increasing integration densities have increased the prevalence of analog/mixed-signal designs.
openaire   +1 more source

Semantics of VLSI synthesis

1995
We develop a new form of formal operational semantics, suitable for concurrent programming languages. The semantics directly supports sequential and parallel composition, rendezvous synchronization, shared variables, and non-determinism. Based on an abstract notion of program execution, a refinement relation is defined.
openaire   +1 more source

Universal hashing in VLSI

2006
A problem is presented with deterministic VLSI complexity AT det 2 =Ω(N2), but Las Vegas complexity only AT Las Vegas 2 =O (N poly(logN)). (The Las Vegas algorithm always decides correctly, but T is only the expected running time; A is the area of the chip).
openaire   +1 more source