00695nam 2200169z- 450 9962805472033161-5044-2082-9(CKB)410000000715506920181202c2016uuuu -u- -engIEEE Std 1801-2015 (Revision of IEEE Std 1801-2013) - Redline: IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems - RedlineIEEEIEEE Std 1801-2015 DOCUMENT996280547203316IEEE Std 1801-2015 (Revision of IEEE Std 1801-2013) - Redline: IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems - Redline2575871UNISA