IEEEIEEE Computer SocietyISMVLUniversity of Toronto

14th International Workshop on
Post-Binary ULSI Systems

May 18, 2005
University of Calgary, Canada
Escalus Room 234 in the MacEwan Centre

May. 10
Final Program
(presentation is 20 minutes including Q&A)
Apr. 17
Tentative program
University of Calgary map is here
Mar. 20

Authors have notified about acceptance.
Guide-Line of the Camera-Ready Manuscript
is here

(FINAL Program)

Opening Remark
ULSIWS Chair, Yasushi Yuminaka (Gunma Univ., Japan)

Session 1: New Algorithm and Logic

TRISAT - A SAT-solver using ternary-valued logics
Martin Johnson (Massey Univ., New Zealnad) and
Christian Posthoff (The Univ. of The West Indies, Trinidad & Tobago)

Binary Polynomial Expansions based on New Fastest Linearly
Independent Transforms
Cicilia C. Lozano, Bogdan J. Falkowski (Nanyang Tech. Univ., Singapore)

and Susanto Rahardja (Institute for Infocomm Research, Singapore)

11:15-13:15 Lunch

Session 2: Invited Session

TMR-Based Logic-in-Memory Circuit and Its Application
Takahiro Hanyu, Akira Mochizuki and Mitsuru Ibuki,
(Tohoku Univ., Japan)

Session 3: New-Paradigm VLSI Circuits and Systems

A high-speed data transmission technique using Tomlinson-Harashima Preconding(THP)
Yosuke IIJIMA (Univ. of Tsukuba, Japan) and
Yasushi YUMINAKA (Gunma Univ., Japan)

0.2V-Swing Multiple-Valued Differential-Pair Circuit
and Its Application to Arithmetic VLSI

Akira Mochizuki and Takahiro Hanyu (Tohoku Univ., Japan)

14:40-15:00 Coffe Break

Session 4: Reversible and Quantum Logic Design

Stochastic modeling of BDD-based nanoscale logic circuits
S. N. Yanushkevich and S.D. Kiselev (Univ. of Calgary, Canada)

Combining Evolutionary and Exhaustive Search to find the Least expensive Quantum Circuits
Martin Lukac, Marek Perkowski, (Portland state Univ., USA)

Reversible Logic Synthesis Example using a Transformation Based Algorithm
B. Gergel and J. Rice (Univ. of Lethbridge, Canada)

Synthesis of reversible circuits with small ancilla bits for large
irreversible incompletely specified multi-output Boolean functions
Christopher Stedman, Bruce Yen and Marek Perkowski,
(Portland state Univ., USA)

16:20 Closing

18:00 ISVML reception

For ULSIWS2004, visit:

For additional information contact:

Associate Professor
Department of Electronic Engineering
Gunma University, Japan