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

Mohammad Saeed JAHANGIRY; Saeed SAFARI

Makale detayları

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

Yazarlar:

Mohammad Saeed JAHANGIRY | Saeed SAFARI

Yayıncı:

TUBITAK

Ana Başlıklar:

Uygulamalı fizik

Dergi:

Turkish Journal of Electrical Engineering and Computer Science 2019 Vol.27 Issue 1, pp.471-483

Belge Tipi:

Makale

Yayın Tarihi:

1/2019

Belge Dili:

İngilizce

Document ID (Org No.):

2000734372

Sıklık:

İki Aylık

eISSN:

1303-6203

pISSN:

1300-0632

Özet:

 


                        Decimal floating point (DFP) number representation was proposed in IEEE-754-2008 in order to overcome binary floating point inaccuracy. Neglecting binary floating point verification has resulted in significant validity and economic losses. Formal verification can be a solution to similar DFP design problems. Verification techniques aiming at DFP are limited to functional methods whereas formal approaches have been neglected and traditional decision diagrams cannot model DFP representation complexity. In this paper, we propose an efficient canonical data structure that can model DFP properties. Our novel data structure models coefficient, exponent, sign, and bias of a DFP number. We will prove mathematically that our data structure is canonical. We will also show that the size of the proposed data structure will grow linearly for a DFP number for all format lengths, so our data structure can be built with a reasonable amount of memory and run time. Experimental results support our mathematical discussion for linear growth of the DFP data structure. Moreover, comparison of our data structure with integer decision diagrams reveals that our model is also efficient for modeling integer functions when utilized as an integer level diagram.
                    

.

Makale detayları

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

Yazarlar: Mohammad Saeed JAHANGIRY | Saeed SAFARI

Yayıncı: TUBITAK

Ana Başlıklar: Uygulamalı fizik

Dergi: Turkish Journal of Electrical Engineering and Computer Science 2019 Vol.27 Issue 1, pp.471-483

Belge Tipi: Makale

Yayın Tarihi: 1/2019

Belge Dili: İngilizce

Document ID (Org No.): 2000734372

Sıklık: İki Aylık

eISSN: 1303-6203

pISSN: 1300-0632

Sayı

Yazarlar:

Mohammad Saeed JAHANGIRY | Saeed SAFARI

Yayıncı:

TUBITAK

Ana Başlıklar:

Uygulamalı fizik

Dergi:

Turkish Journal of Electrical Engineering and Computer Science 2019 Vol.27 Issue 1, pp.471-483

Belge Tipi:

Makale

Yayın Tarihi:

1/2019

Belge Dili:

İngilizce

Document ID (Org No.):

2000734372

Sıklık:

İki Aylık

eISSN:

1303-6203

pISSN:

1300-0632