Theory and algorithms for face hypercube embedding

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volumn 17, Issue 6, 1998, Pages 472-488

  Goldberg, Evguenii I ^a   Villa, Tiziano ^a   Brayton, Robert K ^a   Sangiovanni Vincentelli, Alberto L ^a  

^a CADENCE DESIGN SYSTEMS   (United States)

Author keywords

Basic sections; Boolean symmetries; Face hypercube embedding; Input constraints; Logic encoding

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; CONSTRAINT THEORY; PERFORMANCE; SIGNAL DETECTION;

LOGIC ENCODING;

SIGNAL ENCODING;

EID: 0032094272     PISSN: 02780070     EISSN: None     Source Type: Journal    
DOI: 10.1109/43.703829     Document Type: Article

References (19)

1. R. Brayton G. Hachtel C. McMullen and A. S.-Vincentelli Logic Minimization Algorithms for VLSI Synthesis Kluwer Academic Publishers 1984.
2. O. Coudert Two-level logic minimization: An overview Integration vol. 17 no. 2 pp. 97-140 Oct. 1994.
3. O. Coudert and C.-J. Shi Ze-dicho: An exact solver for dichotomybased constrained encoding in Proc. Int. Conf. Computer Design 1996 pp. 426-131.
4. S. Devadas A. Wang R. Newton and A. S.-Vincentelli Boolea decomposition in multilevel logic optimization IEEE J. Solid-Stat Circuits pp. 399-408 Apr. 1989.
5. C. Duff Codage d'automates et théorie des cubes intersectants Thèse Institut National Polytechnique de Grenoble France Mar 1991.
6. E. I. Goldberg Metody bulevogo kodirovaniya znachenij argumento predicatov (methods of boolean encoding of predicate arguments values) Inst. Eng. Cybern. Academy of Sciences of Belarus Preprint no 3 1991 (in Russian).
7. E. I. Goldberg Matrix formulation of constrained encoding problem in optimal PLA synthesis Inst. Eng. Cybern. Academy of Sciences o Belarus Preprint no. 19 1993.
8. E. I. Goldberg Face embedding by componentwise construction o intersecting cubes Inst. Eng. Cybern. Academy of Sciences of Belarus Preprint no. 1 1995.
9. B. Holmer A tool for processor instruction set design in Proc European Design Automation Conf. Sept. 1994 pp. 150-155.
10. F. Y.-Chung Mang Lower bounds for face hypercube embedding EE290ls Project Report May 1997.
11. G. De Micheli R. Brayton and A. Sangiovanni-Vincentelli Optima state assignment for finite state machines IEEE Trans. Computer-Aide Design pp. 269-285 July 1985.
12. A. Saldanha T. Villa R. Brayton and A. Sangiovanni-Vincentelli Satisfaction of input and output encoding constraints IEE Trans. Computer-Aided Design vol. 13 pp. 589-602 Ma 1994.
13. G. Saucier C. Duff and F. Poirot State assignment using a ne embedding method based on an intersecting cube theory in Proc Design Automation Conf. June 1989 pp. 321-326.
14. C.-J. Shi and J. Brzozowski An efficient algorithm for constraine encoding and its applications IEEE Trans. Compute r-Aided Design pp. 1813-1826 Dec. 1993.
15. J. Tracey Internal state assignment for asynchronous sequentia machines IRE Trans. Electron. Comput. pp. 551-560 Aug 1966.
16. T. Villa T. Kam R. Brayton and A. Sangiovanni-Vincentelli Synthesis of FSMs: Logic Optimization. New York: Kluwer Academic 1997.
17. T. Villa and A. Sangiovanni-Vincentelli NOVA: State assignment fo optimal two-level logic implementations IEEE Trans. Computer-Aide Design vol. 9 pp. 905-924 Sept. 1990.
18. S. Yang and M. Ciesielski Optimum and suboptimum algorithms fo input encoding and its relationship to logic minimization IEEE Trans Computer-Aided Design vol. 10 pp. 4-12 Jan. 1991.
19. A.D. Zakrevskii Logicheskii Sintez Kaskadnykh Skhem (Logic Synthesi of Cascaded Circuits) Nauka 1981 (in Russian).