Reduced offsets for two-level multi-valued logic minimization
- Abdul A. Malik
- R. Brayton
- et al.
- 1990
- DAC 1990
Publications
Date
Featured collections
Popular topics
29 results for Robert K. Brayton
Merging nodes under sequential observability
- Michael L. Case
- Victor N. Kravets
- et al.
- 2008
- DAC 2008
Fast-extract with cube hashing
- Bruno O. Schmitt De
- Alan Mishchenko
- et al.
- 2017
- ASP-DAC 2017
MULTI-LEVEL LOGIC MINIMIZATION USING IMPLICIT DON'T CARES.
- K.A. Bartlett
- R. Brayton
- et al.
- 1985
- ICCD 1985
MULTI-LEVEL LOGIC OPTIMIZATION SYSTEM.
- R. Brayton
- E. Detjens
- et al.
- 1985
- ICCAD 1985
YORKTOWN SILICON COMPILER.
- R. Brayton
- Norman Brenner
- et al.
- 1984
- ISCAS 1984
MICROPROCESSOR DESIGN USING THE YORKTOWN SILICON COMPILER.
- R. Brayton
- Chih-Liang Chen
- et al.
- 1984
- ICCD 1984
KISS: A PROGRAM FOR OPTIMAL STATE ASSIGNMENT OF FINITE STATE MACHINES.
- Giovanni De Micheli
- R. Brayton
- et al.
- 1983
- ICCAD 1983
SYNTHESIS AND OPTIMIZATION OF MULTISTAGE LOGIC.
- R. Brayton
- Curt McMullen
- 1983
- ICCD 1983
Some results on sparse matrices
- Robert K. Brayton
- Fred G. Gustavson
- et al.
- 1970
- Mathematics of Computation