Ampere Computing interview question

Questions on constraints and assertions