1 |
T. Villa et al., Synthesis of FSMs: Logic Optimization. New York: Kluwer Academic, 1997
|
2 |
Chiusano S, Corno F, Prinetto P, Rebaudengo M, Sonza Reorda M, 'Guaranteeing testability in re-encoding for low power,' Test Symposium (ATS '97) Proceedings, Sixth Asian, pp. 30-35, 1997
|
3 |
L.Benini and G. De. Micheli, 'State assignment for low power dissipation', IEEE Journal of Solid-State Circuits, vol. 30, March 1995
DOI
ScienceOn
|
4 |
R. K. Brayton, G. D. Hatchel, C. T. McMullen, and A. L. Sangiovanni - Vincentelli, Logic Minimization Algorithms for VLSI Synthesis, Norwell, MA: Kluwer Academic, 1984
|
5 |
Z. Kohavi, Switching and Finite Automata Theory, McGraw-Hill, 1978
|
6 |
E. Olson, S.M. Kang, 'Low-Power State Assignment for Finite State Machines,' in Proc. IEEE Intl. Workshop on Low Power Design, pp. 63-68, April 1995
|
7 |
V. Veeramachaneni, A. Tyagi, S. Rajgopal, 'Re-encoding for Low Power State Assignment of FSMs,' in Proc. IEEE Intl. Symposium on Low Power Design, pp. 173-178, April 1995
DOI
|
8 |
S Yang and M. J. Ciesielski, 'Optimum and Suboptimum Algorithms for Input Encoding and Its Relationship to Logic Minimization,' IEEE Trans. on CAD., Vol 10. No. 1. pp. 4-12, Jan. 1991
DOI
ScienceOn
|
9 |
K. T. Cheng, and V. D. Agrawal, 'Design of Sequential Machines for Efficient Test Generation,' in Proc. of ICCAD, pp, 358-361, 1989
DOI
|
10 |
G. De Micheli, 'Symbolic Design of Combinational Sequential Logic Circuits Implemented by Two-level Logic Macros,' IEEE TCAD, Vol. CAD-5, pp. 597-616, Oct. 1986
|
11 |
Xuejun Du, Gary Hachtel, Bill Lin, and A. Richard Newton, 'MUSE: A MUltilevel Symbolic Encoding Algorithm for State Assignment,' IEEE Trans on CAD., Vol. 10, NO. 1, pp. 28-38, January 1991
DOI
ScienceOn
|
12 |
P. Kalla and M. J. Ciesielski., 'A Comprehensive Approach to the Partial Scan Problem using Implicit State Enumeration,' Proc. Int'l. Test Conf., pp.651-657, Nov. 1998
|