My area of specialty is sequential optimization, the transformation
of finite-state machines to yield implementations with maximum performance,
minimum area, and so on: state encoding, state minimization, etc. My work
encompasses both the design and implementation of provably optimal algorithms.
The culmination of my thesis work is MINIMALIST, a state-of-the-art
software package for the synthesis and verification of burst-mode
asynchronous state machines.
To get the MINIMALIST software, click here.
For a brief technical report describing MINIMALIST, look here (PostScript format).
All of the gory details of the algorithms, along with benchmark results, appear in my dissertation (also PostScript).