The Average Case Performance of an Algorithm for Demand-Driven Evaluation of Boolean Formulae
Дата
Авторы
Dunne,Paul
Leng,Paul
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
Demand-driven simulation is an approach to the simulation of digital logic circuits that was proposed, independently, in the work of several authors. Experimental studies of the paradign have indicated that this approach may reduce the time required for simulation, when compared with event-driven techniques. In this paper we present some analytic support for these experimental results by analysing the average number of gates evaluated with a naive demand-driven algorithm for formula evaluation.
Ключевые слова
simulation , logic design , average-case analysis of algorithms