Efficient Solution of Language Equations Using Partitioned RepresentationsReportar como inadecuado

Efficient Solution of Language Equations Using Partitioned Representations - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 EECS - Electrical Engineering and Computer Science Berkeley 2 DIEGM 3 EECS

Abstract : A class of discrete event synthesis problems can be reduced to solving language equations f . X ⊆ S, where F is the fixed component and S the specification. Sequential synthesis deals with FSMs when the automata for F and S are prefix closed, and are naturally represented by multi-level networks with latches. For this special case, we present an efficient computation, using partitioned representations, of the most general prefix-closed solution of the above class of language equations. The transition and the output relations of the FSMs for F and S in their partitioned form are represented by the sets of output and next state functions of the corresponding networks. Experimentally, we show that using partitioned representations is much faster than using monolithic representations, as well as applicable to larger problem instances.

Autor: Alan Mishchenko - Robert Brayton - Roland Jiang - Tiziano Villa - Nina Yevtushenko -

Fuente: https://hal.archives-ouvertes.fr/


Documentos relacionados