Formal verification of an SoC platform protocol converter

Jounaïdi Ben Hassen, Sofiène Tahar. Formal verification of an SoC platform protocol converter. In ISCAS (4). pages 313-316, 2004.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.