Authors: Radmanović, Miloš
Stanković, Radomir 
Title: Generating synthetic MVL benchmarks from random MDDs under restrictions
Journal: Proceedings of The International Symposium on Multiple-Valued Logic
Volume: 2018-May
First page: 168
Last page: 173
Conference: 48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018; Johannes Kepler University of Linz; Austria; 16 May 2018 through 18 May 2018
Issue Date: 19-Jul-2018
ISBN: 978-1-538-64463-8
ISSN: 0195-623X
DOI: 10.1109/ISMVL.2018.00037
Since standard benchmark functions for analysis of multiple-valued logic (MVL) designs are not widely available, benchmark functions for binary logic design are often used in this area after an appropriate encoding of function values and possibly padding with zeros. Such generated MVL benchmarks might not express inherent properties of MVL functions. Synthetic benchmark MVL functions are an alternative and their construction is an interesting problem. Various restrictions imposed on the structure of decision diagrams, i.e., distribution of nodes and their interconnections; lead to functions expressing various properties. Based on this observation, we propose a method for generating synthetic MVL benchmark functions derived from randomly generated multiple-valued decision diagrams (MDD) under certain structural restrictions. We consider four different structural parameters: The number of levels, the maximal size, i.e., the total number of nodes, the maximal width, and the average edge length. Experimental results are provided to illustrate the efficiency of the proposed method.
Keywords: MDD | Multiple-valued logic | Random graphs | Synthetic benchmarks
Publisher: IEEE

Show full item record

Page view(s)

checked on Apr 16, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.