Hola buenas, al margen de tu pregunta, la placa soporta una velocidad de memoria a 1600Mhz, si quieres puedes elegir una memoria funcionando a esa velocidad, en lugar de hacerlo a 1333Mhz, esto es aplicable a cualquier tipo de memoria, esté o no dirigida a Ivy Bridge, y perteneciendo a cualquier fabricante.
A la pregunta en sí no sé responder, la única memoria específica o pensada para Ivy Bridge que he visto es la "Trident X" de GSkill, (en PCC no la tienen ahora mismo), muchas memorias, seguramente la mayoría como dices, quizá no estén diseñadas para Ivy Bridge en especial, pero desconozco si esta diferencia se llega a reflejar mucho o poco en el rendimiento, lo que és seguro és que cualquier memoria Kigston, Corsair, GSkill, funcionando a 1333,1600 o 1866Mhz, funcionará en tu placa con buenos resultados, ahora si con una memoria pensada para Ivy se pueden mejorar estos, sería interesante conocer más a cerca de ellas.
Saludos