Pregunta de entrevista de Ampere Computing

Questions on constraints and assertions