Search the dblp DataBase

Publications of Author

1. Steve Haynal, Forrest Brewer
   A Model for Scheduling Protocol-Constrained Components and Environments. [Citation Graph (0, 0)][DBLP]
   DAC, 1999, pp:292-295 [Conf]
   
2. Steve Haynal, Forrest Brewer
   Efficient encoding for exact symbolic automata-based scheduling. [Citation Graph (0, 0)][DBLP]
   ICCAD, 1998, pp:477-481 [Conf]
   
3. Steve Haynal, Forrest Brewer
   Representing and Scheduling Looping Behavior Symbolically. [Citation Graph (0, 0)][DBLP]
   ICCD, 2000, pp:552-555 [Conf]
   
4. Steve Haynal, Forrest Brewer
   Automata-Based Symbolic Scheduling for Looping DFGs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Computers, 2001, v:50, n:3, pp:250-267 [Journal]
   
5. Forrest Brewer, Steve Haynal
   Symbolic NFA scheduling of a RISC microprocessor. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. VLSI Syst., 2002, v:10, n:4, pp:429-434 [Journal]
   
6. 
   A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study. [Citation Graph (, )][DBLP]