Artículo
State merging and state splitting via state assignment: a new FSM synthesis algorithm
Autor/es | Avedillo de Juan, María José
Quintana Toledo, José María Huertas Díaz, José Luis |
Departamento | Universidad de Sevilla. Departamento de Electrónica y Electromagnetismo |
Fecha de publicación | 1994 |
Fecha de depósito | 2018-06-26 |
Publicado en |
|
Resumen | The authors describe a state assignment algorithm for FSMs which produces an assignment of non-necessarily distinct, and eventually, incompletely specified codes. In this new approach, state-reduction and state assignment ... The authors describe a state assignment algorithm for FSMs which produces an assignment of non-necessarily distinct, and eventually, incompletely specified codes. In this new approach, state-reduction and state assignment are dealt with concurrently, and a restricted state splitting technique is explored. The algorithm is particularly appropriate for machines with compatibility relations among its states because the potentials of state merging are exploited during the state assignment step. The input to SMAS, the program implementing the algorithm, is a symbolic cover of the FSM. The output is a Boolean representation of both next state and output functions suitable to minimise with ESPRESSO. The machines in the MCNC benchmark set are used to test the new algorithm and to compare it with a well known state assignment program. |
Cita | Avedillo de Juan, M.J., Quintana Toledo, J.M. y Huertas Díaz, J.L. (1994). State merging and state splitting via state assignment: a new FSM synthesis algorithm. IEE Proceedings Computers and Digital Techniques, 141 (4), 229-237. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
State merging and state splitt ... | 725.2Kb | [PDF] | Ver/ | |
Este registro aparece en las siguientes colecciones
Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Items relacionados
Enseñando items relacionados por título, autor, creador y materia.
-
Artículo
Unresponsive wakefulness syndrome: a new name for the vegetative state or apallic syndrome
Laureys, Steven; Celesia, Gaston G.; Cohadon, François; Lavrijsen, Jan; León Carrión, José; Sannita, Walter G.; Sazbon, Leon; Schmutzhard, Erich; Wild, Klaus R. von; Zeman, Adam; Dolce, Giuliano; European Task Force on Disorders of Consciousness (BioMed Central, 2010)Some patients awaken from coma (that is, open the eyes) but remain unresponsive (that is, only showing reflex movements ...
-
Artículo
Estado de Bienestar Social: características generales, obstáculos y desafíos en América Latina
Godinho Delgado, Mauricio; Vasconcelos Porto, Lorena (Universidad de Sevilla, 2021)Este artículo busca analizar el modelo organizativo de la sociedad política y la sociedad civil que se hizo prevalente en ...
-
Artículo
Distributed Robust Bilinear State Estimation for Power Systems with Nonlinear Measurements
Zheng, Weiye; Wenchuan, Wu; Gómez Expósito, Antonio; Zhang, Boming; Guo, Ye (IEEE Transactions on Power Systems, 2017)This paper proposes a fully distributed robust bilinear state-estimation (D-RBSE) method that is applicable to multi-area ...