Assertions HW