| |
| 2008 | ||
|---|---|---|
| 6 | EE | 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 | EE | Forrest Brewer, Steve Haynal: Symbolic NFA scheduling of a RISC microprocessor. IEEE Trans. VLSI Syst. 10(4): 429-434 (2002) |
| 2001 | ||
| 4 | EE | Steve Haynal, Forrest Brewer: Automata-Based Symbolic Scheduling for Looping DFGs. IEEE Trans. Computers 50(3): 250-267 (2001) |
| 2000 | ||
| 3 | EE | Steve Haynal, Forrest Brewer: Representing and Scheduling Looping Behavior Symbolically. ICCD 2000: 552-555 |
| 1999 | ||
| 2 | EE | Steve Haynal, Forrest Brewer: A Model for Scheduling Protocol-Constrained Components and Environments. DAC 1999: 292-295 |
| 1998 | ||
| 1 | EE | Steve Haynal, Forrest Brewer: Efficient encoding for exact symbolic automata-based scheduling. ICCAD 1998: 477-481 |
| 1 | Forrest Brewer | [1] [2] [3] [4] [5] |
| 2 | Timothy Kam | [6] |
| 3 | Michael Kishinevsky | [6] |
| 4 | Emily Shriver | [6] |
| 5 | Xinning Wang | [6] |