Skip to content

Formal verification of an SoC platform protocol converter.

Jounadi Ben Hassen, Sofine Tahar

VenueCISCAS
Year2004
ProceedingsISCAS (5)

Browse the full ISCAS paper archive.