
doi: 10.1007/bf01211303
Abstract Conditions necessary to produce correct asymptotic complexity results and realistic performance estimates for VLSI devices, using discrete high-level VLSI complexity models, are examined. A set of design constraints is formulated, based on results from two experiments involving suitably designed and fabricated VLSI devices. The basis of the complexity model is modified so that it satisfies the constraints. A case-study for an integer multiplier design shows that the modified model produces asymptotic results in agreement with empirical measurements. Low-level performance estimates are then obtained using the RC network delay model in conjunction with the VLSI complexity model.
specification of synchronous concurrent algorithms, Specification and verification (program logics, model checking, etc.), VLSI design, discret high-level VLSI complexity models, asymptotic complexity results, Circuits, networks, performance estimation, Performance evaluation, queueing, and scheduling in the context of computer systems
specification of synchronous concurrent algorithms, Specification and verification (program logics, model checking, etc.), VLSI design, discret high-level VLSI complexity models, asymptotic complexity results, Circuits, networks, performance estimation, Performance evaluation, queueing, and scheduling in the context of computer systems
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
