In reply to dave_59:
Thank you so much for your helpful reply. I will change my specification to IEEE Std 1800™-2012.