Mixing ATPG and Property Checking for Testing HW/SW Interfaces