Event Date/Time: May 23, 2009 | End Date/Time: May 24, 2009 |
Registration Date: May 23, 2009 | |
Early Registration Date: Apr 17, 2009 | |
Abstract Submission Date: Feb 01, 2009 | |
Paper Submission Date: Feb 01, 2009 |
Description
AND-EXOR based representations that are simpler than standard AND-OR representations.
Decision diagrams for synthesis, analyses, and verification.
Spectrum transformation to detect the properties of logic functions.
The goal of the Reed-Muller 2009 Workshop is to advance the state-of-the-art by providing a setting in which researchers can exchange ideas.
Previous workshops have been held in Oslo (Norway) in 2007, in Tokyo (Japan) in 2005, in Trier (Germany) in 2003, in Starkville, Mississippi (USA) in 2001, in Victoria (Canada) in 1999, in Oxford (UK) in 1997, in Chiba (Japan) in 1995, and in Hamburg (Germany) in 1993.
A non-restrictive list of topics is as follows:
Graph-based representations of logic functions: BDD, MDD, BMD, EVBDD, etc.
EXOR-based representations
Spectral representation of logic functions
Graph functions, bent functions, and cryptographic applications
Implementation in silicon (FPLDs, FPGAs, ...)
Applications, including circuit design, reversible logic, quantum logic, etc.
Representations for quantum computing, nano-technology, and molecular scale computing