A memory-efficient canonical data structure for decimal floating point arithmetic systems modeling and verification
MS Jahangiry, S Safari - Turkish Journal of Electrical …, 2019 - journals.tubitak.gov.tr
Decimal floating point (DFP) number representation was proposed in IEEE-754-2008 in
order to overcome binary floating point inaccuracy. Neglecting binary floating point …
order to overcome binary floating point inaccuracy. Neglecting binary floating point …
[图书][B] A framework for high level synthesis using taylor decomposition system
DF Gomez-Prado - 2013 - search.proquest.com
This thesis extends the work and application of Taylor Expansion Diagrams (TED) as a
framework for high level synthesis and verification of data-flow and arithmetic-intensive …
framework for high level synthesis and verification of data-flow and arithmetic-intensive …