A quaternary decision diagram machine and the optimization of its code
ISMVL2009_sasao.pdf (266.0Kb)Abstract
We show the advantage of Quarternary Decision Diagrams (QDDs) in representing and evaluating logic functions. That is, we show how QDDs are used to implement QDD machines, which yield high-speed implementations. We compare QDD machines with binary decision diagram (BDD) machines, and show a speed improvement of 1.28-2.02 times when QDDs are chosen. We consider 1-and 2-address BDD machines, and 3- and 4-address QDD machines, and we show a method to minimize the number of instructions.
Description
39th International Symposium on Multiple-Valued Logic (ISMVL 2009), May 21-23, 2009,pp.362-369.
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.
Collections
Related items
Showing items related by title, author, creator and subject.
-
Polynomial transfer lot sizing techniques for batch processing on consecutive machines
(Monterey, California. Naval Postgraduate School, 1989-09); NPS-54-89-011Using transfer lots, we can overlap the processing of a batch on several consecutive machines, and thus reduce the makespan considerably. This in turn promotes work-in-process reduction. In this paper we investigate the ... -
Refining a task-execution time prediction model for use in MSHN
(Monterey, California. Naval Postgraduate School, 2000-03-01);Nowadays, it is common to see the use of a network of machines to distribute the workload and to share information between machines. In these distributed systems, the scheduling of resources to applications may be accomplished ... -
A quaternary decision diagram machine: Optimization of its code
(2010-08);This paper first reviews the trends of VLSI design, focusing on the power dissipation and programmability. Then, we show the advantage of Quarternary Decision Diagrams (QDDs) in representing and evaluating logic functions. ...
