Add to ORKGThis paper proposes a design method for floating-point numerical function generators (NFGs) using multi-valued decision diagrams (MDDs). Our method applies to mono-tone elementary functions in which real values are con-verted into integer values that are represented by edge-valued MDDs (EVMDDs). We show that EVMDDs use fewer nodes by one or two orders of magnitude than two other types of decision diagrams, MTBDDs and BMDs. EVMDDs produce fast and compact floating-point NFGs for real-valued elementary functions, with a speed improve-ment of 86 % over a recently proposed floating-point imple-mentation [4]. 1
Several types of Decision Diagrams (DDs) have been proposed for the verification of Integrated Circu...
We present a new technique for defining, analysing, and simplifying digital functions, through hand-...
We present an implicit approach to solve problems arising in decomposition of incompletely specified...
This paper proposes a design method for floating-point numerical function generators (NFGs) using mu...
Floating-point numerical function generators using EVMDDs for monotone elementary function
Abstract This paper proposes a new architecture for memorybased floating-point numeric function gene...
This paper analyzes complexities of decision diagrams for elementary functions such as polynomial, t...
Data structures such as *BMDs, HDDs, and K*BMDs provide compact representations for functions which ...
Proceedings of the 18th International Workshop on Post-Binary ULSI Systems May 20, 2009, Naha, Okina...
IEEE International Symposium on Multiple-Valued Logic, Santiago de Compostela, Spain, May 29-31, 199...
In this paper, we propose a new data structure called multiplicative power hybrid decision diagrams ...
Factored Edge-Valued Binary Decision Diagrams form an extension to Edge-Valued Binary Decision Diagr...
Factored Edge-Valued Binary Decision Diagrams form an extension to Edge-Valued Binary Decision Diagr...
International audienceWe consider the decision problem for quantifier-free formulas whose atoms are ...
We show the architecture and design of a numeric function generator that realizes, at high speed, ar...
Several types of Decision Diagrams (DDs) have been proposed for the verification of Integrated Circu...
We present a new technique for defining, analysing, and simplifying digital functions, through hand-...
We present an implicit approach to solve problems arising in decomposition of incompletely specified...
This paper proposes a design method for floating-point numerical function generators (NFGs) using mu...
Floating-point numerical function generators using EVMDDs for monotone elementary function
Abstract This paper proposes a new architecture for memorybased floating-point numeric function gene...
This paper analyzes complexities of decision diagrams for elementary functions such as polynomial, t...
Data structures such as *BMDs, HDDs, and K*BMDs provide compact representations for functions which ...
Proceedings of the 18th International Workshop on Post-Binary ULSI Systems May 20, 2009, Naha, Okina...
IEEE International Symposium on Multiple-Valued Logic, Santiago de Compostela, Spain, May 29-31, 199...
In this paper, we propose a new data structure called multiplicative power hybrid decision diagrams ...
Factored Edge-Valued Binary Decision Diagrams form an extension to Edge-Valued Binary Decision Diagr...
Factored Edge-Valued Binary Decision Diagrams form an extension to Edge-Valued Binary Decision Diagr...
International audienceWe consider the decision problem for quantifier-free formulas whose atoms are ...
We show the architecture and design of a numeric function generator that realizes, at high speed, ar...
Several types of Decision Diagrams (DDs) have been proposed for the verification of Integrated Circu...
We present a new technique for defining, analysing, and simplifying digital functions, through hand-...
We present an implicit approach to solve problems arising in decomposition of incompletely specified...