ieeepapers

Overview

R. Bryant

Symbolic Boolean Manipulation with OBDDs

Erik Brunvand, University of Utah

Introduction to Asynchronous Circuits and Systems

Specialized

Christoph Scholl, Stefan Melchior, Gunter Hotz, Paul Molitor

Minimizing ROBDD Sizes of Incompletely Specified Boolean Functions by Exploiting Strong Symmetries

Erik Meijer, University of Utrecht

Hazard Algebra for Asynchronous Circuits

Unger

Hazards, Critical Races, and Metastability (IEEE Transactions on Computers)

P. D. Fisher et al

Race-free State Assignments for Synthesizing Large-Scale Asynchronous Sequential Logic Circuits (IEEE Transactions on Computers)

Note: Registered students are encouraged to visit our DEN website for additional papers.

The University of Southern California does not screen or control the content on this website and thus does not guarantee the accuracy, integrity, or quality of such content. All content on this website is provided by and is the sole responsibility of the person from which such content originated, and such content does not necessarily reflect the opinions of the University administration or the Board of Trustees