Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Steve
Last name:	Haynal
DBLP:	04/5671
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 6 of 6  

Select a publication
Show	Title	Venue	Rating	Date
	Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang. A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study.	6th ACM IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA 2008	(0)	2008
	Forrest Brewer, Steve Haynal. Symbolic NFA scheduling of a RISC microprocessor.	IEEE Trans. VLSI Syst. 2002, Volume 10	(0)	2002
	Steve Haynal, Forrest Brewer. Automata-Based Symbolic Scheduling for Looping DFGs.	IEEE Trans. Computers 2001, Volume 50	(0)	2001
	Steve Haynal, Forrest Brewer. Representing and Scheduling Looping Behavior Symbolically.	ICCD 2000	(0)	2000
	Steve Haynal, Forrest Brewer. A Model for Scheduling Protocol-Constrained Components and Environments.	DAC 1999	(0)	1999
	Steve Haynal, Forrest Brewer. Efficient encoding for exact symbolic automata-based scheduling.	ICCAD 1998	(0)	1998

Your query returned 6 matches in the database.