Tautology checking using cross-controllability and cross-observability relations

1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers

Volumn , Issue , 1990, Pages 34-37

  Cerny, E ^a   Mauras, C ^a  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEMS--CONTROLLABILITY; LOGIC CIRCUITS, SEQUENTIAL;

BINARY DECISION DIAGRAMS; CROSS-CONTROLLABILITY; CROSS-OBSERVABILITY; TAUTOLOGY CHECKING;

LOGIC CIRCUITS, COMBINATORIAL;

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

References (12)