WEB-BASED SYSTEM FOR FINITE STATE MACHINES DECOMPOSITION

[1]  Tiziano Villa,et al.  Theory and algorithms for face hypercube embedding , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[2]  Alexander Sudnitson,et al.  Computational kernel extraction for synthesis of power-managed sequential components , 2002, 9th International Conference on Electronics, Circuits and Systems.

[3]  Sergei Devadze,et al.  Web-Based Software Implementation of Finite State Machine Decomposition for Design and Education , 2001 .

[4]  Alberto Sangiovanni-Vincentelli,et al.  Exact Minimization of Multiple-Valued Functions for PLA Optimization , 2003 .

[5]  Margus Kruus,et al.  Web-based system for sequential machines decomposition , 2003, The IEEE Region 8 EUROCON 2003. Computer as a Tool..

[6]  A. Sudnitson,et al.  An approach to synthesis of mixed synchronous/asynchronous digital devices , 2002, 2002 23rd International Conference on Microelectronics. Proceedings (Cat. No.02TH8595).

[7]  P. R. Stephan,et al.  SIS : A System for Sequential Circuit Synthesis , 1992 .

[8]  J. Hartmanis,et al.  Algebraic Structure Theory Of Sequential Machines , 1966 .

[9]  Raimund Ubar,et al.  Web Based Tools for Synthesis and Testing of Digital Devices , 2002 .

[10]  Giovanni De Micheli,et al.  Synthesis and Optimization of Digital Circuits , 1994 .

[11]  Lech Jóźwiak,et al.  An efficient for the sequential general decomposition of sequential machines , 1991, Microprocessing and Microprogramming.

[12]  Srinivas Devadas,et al.  General Decomposition of Sequential Machines: Relationships to State Assignment , 1989, 26th ACM/IEEE Design Automation Conference.