Formal verification of a commercial serial bus interface

Conference Proceedings - International Phoenix Conference on Computers and Communications

Volumn , Issue , 1995, Pages 378-382

  Plessier, Bernard ^a   Pixley, Carl ^a  

^a MOTOROLA INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; BUSBARS; COMPUTER HARDWARE; DECISION THEORY; FUNCTION EVALUATION; LOGIC DESIGN; MATHEMATICAL MODELS;

BINARY DECISION DIAGRAM (BDD); BYTE DATA LINK CONTROLLER (BDLC); FORMAL VERIFICATION; SERIAL BUS INTERFACE;

USER INTERFACES;

EID: 0029226693     PISSN: 0896582X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)