A memory-efficient canonical data structure for decimal floating point arithmetic systems modeling and verification

Mohammad Saeed Jahangiry, Saeed Safari. A memory-efficient canonical data structure for decimal floating point arithmetic systems modeling and verification. Turkish J. Electr. Eng. Comput. Sci., 27(1):471-483, 2019. [doi]

Abstract

Abstract is missing.