Fast Fourier Transform

Brute-Force Search of Fast Convolution Algorithms1
Generating and Searching Families of FFT Algorithms
Generating and Searching Families of FFT Algorithms (SMT 2011 Presentation)

RTL Refactoring

Refactoring to Prepare RTL for Reuse
A SystemVerilog Rewriting System for RTL Abstraction with Pentium Case Study

Automata-Based Symbolic Scheduling

Automata-Based Symbolic Scheduling (Dissertation)
Symbolic NFA scheduling of a RISC microprocessor
Automata-Based Symbolic Scheduling for Looping DFGs
Representing and Scheduling Looping Behavior Symbolically
A Model for Scheduling Protocol-Constrained Components and Environments
Efficient Encoding for Exact Symbolic Automata-Based Scheduling

Miscellaneous

Arithmetic Structures for Inner-Product and Other Combinations Based on a Latency-Free Bit-Serial Multiplier Design
A Microcontroller Based Multimode Reader
1. Copyright 2013 IEEE. Published in the IEEE 2013 International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013), scheduled for 26-31 May 2013 in Vancouver, British Columbia, Canada. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works, must be obtained from the IEEE. Contact: Manager, Copyrights and Permissions / IEEE Service Center / 445 Hoes Lane / P.O. Box 1331 / Piscataway, NJ 08855-1331, USA. Telephone: + Intl. 908-562-3966.