Publications

Generating and Searching Families of FFT Algorithms

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

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

Arithmetic Structures for Inner-Product and Other Combinations Based on a Latency-Free Bit-Serial Multiplier Design
A Microcontroller Based Multimode Reader