Pregunta de entrevista de AMD

constraints: memory partition related constraints. assertions: implication and non implication