Are IEEE 1500 compliant cores really compliant to the standard?