Implicit prime compatible generation for minimizing incompletely specified finite state machines

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Volumn , Issue , 1995, Pages 229-234

  Higuchi, Hiroyuki ^a   Matsunaga, Yusuke ^a  

^a FUJITSU LABORATORIES LTD   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; CALCULATIONS; COMPUTATIONAL COMPLEXITY; FINITE AUTOMATA; SEQUENTIAL MACHINES; SET THEORY; THEOREM PROVING;

BINARY DECISION DIAGRAMS; CLASS SETS; COMPATIBLES; FINITE STATE MACHINES; IMPLICIT PRIME COMPATIBLE GENERATION; SIGNATURES;

ALGORITHMS;

EID: 0029541553     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)