Steve Haynal

According to our database, Steve Haynal authored at least 8 papers between 1998 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Brute-force search of fast convolution algorithms.

Steve Haynal, Heidi Haynal

Proceedings of the IEEE International Conference on Acoustics, 2013

2011

Generating and Searching Families of FFT Algorithms.

Steve Haynal, Heidi Haynal

J. Satisf. Boolean Model. Comput., 2011

2008

A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study.

Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

2002

Symbolic NFA scheduling of a RISC microprocessor.

Forrest Brewer, Steve Haynal

IEEE Trans. Very Large Scale Integr. Syst., 2002

2001

Automata-Based Symbolic Scheduling for Looping DFGs.

Steve Haynal, Forrest Brewer

IEEE Trans. Computers, 2001

2000

Representing and Scheduling Looping Behavior Symbolically.

Steve Haynal, Forrest Brewer

Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

1999

A Model for Scheduling Protocol-Constrained Components and Environments.

Steve Haynal, Forrest Brewer

Proceedings of the 36th Conference on Design Automation, 1999

1998

Efficient encoding for exact symbolic automata-based scheduling.

Steve Haynal, Forrest Brewer

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998