Formal verification of a commercial serial bus interface
B. Plessier, Carl Pixley · 2002
A new technique for the analysis of sequential hardware designs is illustrated on a serial bus interface. A set of experiments using models of the bus interface and temporal logic formulae is discussed.>