Permissible observability relations in FSM networks

Proceedings - Design Automation Conference

Volumn , Issue , 1994, Pages 677-683

  Wang, Huey Yih ^a   Brayton, Robert K ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CONTROLLABILITY; DESCRIBING FUNCTIONS; FINITE AUTOMATA; GRAPH THEORY; OBSERVABILITY; OPTIMIZATION; SEQUENTIAL CIRCUITS; SIGNAL ENCODING;

FINITE STATE MACHINE; INFORMATION LOSSYNESS; PERMISSIBLE OBSERVABILITY RELATIONS; STATE TRANSITION FUNCTION;

SEQUENTIAL MACHINES;

EID: 0028585407     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/196244.196613     Document Type: Conference Paper

References (20)