A dynamic model for the state assignment problem

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 1998, Pages 835-839

  Martinez M ^a   Avedillo, M J ^a   Quintana, J M ^a   Huertas, J L ^a  

^a UNIVERSITY OF SEVILLE   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ASSIGNMENT ALGORITHMS; ASSIGNMENT PROBLEMS; CONSTRAINT GENERATION; DYNAMIC CONSTRAINTS; ENCODING PROCESS; INPUT MODELING; INPUT OUTPUT MODEL; STANDARD TOOLS;

ENCODING (SYMBOLS); STATE ASSIGNMENT;

ALGORITHMS;

EID: 0141977502     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.1998.655955     Document Type: Conference Paper

References (10)

1. P. Ashar, S. Devadas and A. R. Newton: "Sequential Logic Synthesis", Kluwer Academic Pub., 1992.
2. G. de Micheli, R. K. Brayton y A. L. Sangiovanni-Vincentelli: "Optimal State Assignment of Finite State Machines", IEEE Trans. on CAD, Vol. CAD-4, pp. 269-285, July 1985.
3. R. Rudell and A. L. Sangiovanni-Vincentelli: "Multiplevalued Minimization for PLA Optimization", IEEE Trans. on CAD, Vol. CAD-6, pp.727-751, September 1987.
4. S. Malik, L. Lavagno, R.K. Brayton and A. Sangiovanni-Vincentelli, "Symbolic Minimization of Multilevel Logic and the Input Encoding Problem", IEEE Trans. on CAD, Vol. 11, no. 7, pp. 825-843, July 1992.
5. J.L. Huertas y J.M. Quintana: "Efficiency of State Assignment Methods for PLA-Based Sequential Circuits", IEE Proc., Vol. 136, Pt E, no. 4, pp. 247-250, July 1989.
6. T. Villa y A.L. Sangiovanni-Vincentelli: "NOVA: State Assignment of Finite State Machines for Optimal Two-Level Logic Implementation", IEEE Trans. on CAD, Vol. CAD-9, no. 9, pp. 905-923, Sept. 1990.
7. C.J. Shi and J.A. Brzozowski, "An efficient Algorithm for Constrained Encoding and Its applications", IEEE Trans. on CAD, V.12, no.12, pp. 1813-1826, Dec. 1993.
8. G. de Micheli, "Symbolic design of Combinational and Sequential Logic Circuits Implemented by Two-Level Macros", IEEE Trans. on CAD, Vol. 5, pp. 597-616, September 1986.
9. S. Devadas and A. R. Newton, "Exact Algorithms for Output encoding, State Assignment and Four LevelBoolean Minimization", IEEE Trans. on CAD, Vol. 10, no. 1, pp. 13-27, January 1991.
10. K. McElvain, "LGSynth93 Benchmark Set: Version 4.0