Hardware/Software Interface Assurance with Conformance Checking