TPHOL
2003
IEEE
14 years 1 months ago
2003
IEEE
ISMVL
2003
IEEE
14 years 1 months ago
2003
IEEE
ISMVL
2003
IEEE
14 years 1 months ago
2003
IEEE
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 ...
ISMVL
2003
IEEE
14 years 1 months ago
2003
IEEE
Discrete functions are now commonly represented by binary (BDD) and multiple-valued (MDD) decision diagrams. Sifting is an effective heuristic technique which applies adjacent var...
ISMVL
2003
IEEE
14 years 1 months ago
2003
IEEE
Galois Field Sum of Products (GFSOP) leads to efficient multi-valued reversible circuit synthesis using quantum gates. In this paper, we propose a new generalization of ternary To...
ISMVL
2003
IEEE
14 years 1 months ago
2003
IEEE
A new asynchronous data transfer scheme using multiple-valued 2-color 1-phase coding, called a bidirectional data transfer scheme, is proposed for a highperformance and low-power ...
ISMVL
2003
IEEE
14 years 1 months ago
2003
IEEE
A new multiple-valued current-mode (MVCM) integrated circuit based on dynamic source-coupled logic (SCL) is proposed for low-power VLSI applications. The use of a precharge-evalua...
ISMVL
2003
IEEE
14 years 1 months ago
2003
IEEE
The complexity of todays hardware systems steadily increases. Due to this fact new ways of efficiently describing systems are investigated. A very promising approach in this area...
ISMVL
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we introduce new analog devices that emulate natural chemical systems, called the reaction-diffusion (RD) system. The RD system gives us a lot of clues and insights...
ISMVL
2003
IEEE
14 years 1 months ago
2003
IEEE
In earlier work [9], we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois an...