Steve Haynal

	2008
6		Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang: A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study. MEMOCODE 2008: 79-88
	2002
5		Forrest Brewer, Steve Haynal: Symbolic NFA scheduling of a RISC microprocessor. IEEE Trans. VLSI Syst. 10(4): 429-434 (2002)
	2001
4		Steve Haynal, Forrest Brewer: Automata-Based Symbolic Scheduling for Looping DFGs. IEEE Trans. Computers 50(3): 250-267 (2001)
	2000
3		Steve Haynal, Forrest Brewer: Representing and Scheduling Looping Behavior Symbolically. ICCD 2000: 552-555
	1999
2		Steve Haynal, Forrest Brewer: A Model for Scheduling Protocol-Constrained Components and Environments. DAC 1999: 292-295
	1998
1		Steve Haynal, Forrest Brewer: Efficient encoding for exact symbolic automata-based scheduling. ICCAD 1998: 477-481

Coauthor Index

1	Forrest Brewer	[1] [2] [3] [4] [5]
2	Timothy Kam	[6]
3	Michael Kishinevsky	[6]
4	Emily Shriver	[6]
5	Xinning Wang	[6]

Colors in the list of coauthors