ISMVL 2003 - PDF Preprint Papers

ISMVL 2003 IEEE International Symposium on Multiple-Valued Logic

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ISMVL-2003 Paper

click to vote

ISMVL
2003
IEEE

125views Hardware» more ISMVL 2003»

Compact Representations of Logic Functions using Heterogeneous MDDs

14 years 5 months ago

Download www.lsi-cad.com

In this paper, we propose a compact representation of logic functions using Multi-valued Decision Diagrams (MDDs) called heterogeneous MDDs. In a heterogeneous MDD, each variable ...

Shinobu Nagayama, Tsutomu Sasao

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	125	Compact Representations of Logic Functions using Heterogeneous MDDs	claim
2	117	CTL Model-Checking over Logics with Non-Classical Negations	claim
3	112	Iterative Symmetry Indices Decomposition for Ternary Logic Synthesis in Three-Dimensional Space	claim
4	111	Modeling Multi-Valued Circuits in SystemC	claim
5	101	Bidirectional Data Transfer Based Asynchronous VLSI System Using Multiple-Valued Current Mode Logic	claim
6	101	Complementary Self-Biased Scheme for the Robust Design of CMOS/SET Hybrid Multi-Valued Logic	claim
7	100	Biomorphic Analog Devices based on Reaction-Diffusion Systems	claim
8	85	On the Average Path Length in Decision Diagrams of Multiple-Valued Functions	claim
9	83	Multiple-Valued Dynamic Source-Coupled Logic	claim
10	81	Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics	claim
11	80	Augmented Sifting of Multiple-Valued Decision Diagrams	claim
12	68	Multi-Output Galois Field Sum of Products Synthesis with New Quantum Cascades	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers