Efficient Solution of Language Equations Using Partitioned Representations

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 la...

Full description

Saved in:

Bibliographic Details
Published in:	Design, Automation and Test in Europe pp. 418 - 423
Main Authors:	Mishchenko, Alan, Brayton, Robert, Jiang, Roland, Villa, Tiziano, Yevtushenko, Nina
Format:	Conference Proceeding
Language:	English
Published:	Washington, DC, USA IEEE Computer Society 07.03.2005 IEEE
Series:	ACM Conferences
Subjects:	Automata Boolean functions Computing methodologies > Symbolic and algebraic manipulation > Symbolic and algebraic algorithms Data structures Equations Formal verification Hardware > Hardware validation > Functional verification Hardware > Integrated circuits > Logic circuits > Sequential circuits Image converters Input variables Network synthesis Protocols Testing Theory of computation > Design and analysis of algorithms Theory of computation > Formal languages and automata theory
ISBN:	9780769522883, 0769522882
ISSN:	1530-1591
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!