Zobrazeno 1 - 10
of 377
pro vyhledávání: '"Brayton, Robert K."'
This paper proposes a new logic optimization paradigm based on circuit simulation, which reduces the need for Boolean computations such as SAT-solving or constructing BDDs. The paper develops a Boolean resubstitution framework to demonstrate the effe
Externí odkaz:
http://arxiv.org/abs/2007.02579
Autor:
Mishchenko, Alan, Brayton, Robert K.
Publikováno v:
Dans Design, Automation and Test in Europe - DATE'05, Munich : Allemagne (2005)
This paper describes an improved approach to Boolean network optimization using internal don't-cares. The improvements concern the type of don't-cares computed, their scope, and the computation method. Instead of the traditionally used compatible obs
Externí odkaz:
http://arxiv.org/abs/0710.4695
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Mathematics of Computation, 1970 Oct 01. 24(112), 937-954.
Externí odkaz:
https://www.jstor.org/stable/2004627
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Otten, Ralph H.J.M., Brayton, Robert K. *
Publikováno v:
In Integration, the VLSI Journal 2000 29(1):1-24
Publikováno v:
In Integration, the VLSI Journal 2000 29(1):25-43