P1450.6.2/D6, Jul 2013 - IEEE Draft Standard for Memory Modeling in Core Test Language (CTL) | IEEE Standard | IEEE Xplore