| |
| 1994 | ||
|---|---|---|
| 4 | David A. Fura, Arun K. Somani: Interval-Semantic Component Models and the Efficient Verification of Transaction-Level Circiut Behavior. TPHOLs 1994: 205-220 | |
| 1993 | ||
| 3 | David A. Fura, Phillip J. Windley, Arun K. Somani: Abstraction Techniques for Modeling Real-World Interface Chips. HUG 1993: 267-280 | |
| 1991 | ||
| 2 | Veljko M. Milutinovic, David A. Fura, Walter A. Helbig: Pipeline Design Tradeoffs in a 32-bit Gallium Arsenide Microprocessor. IEEE Trans. Computers 40(11): 1214-1224 (1991) | |
| 1986 | ||
| 1 | Veljko M. Milutinovic, David A. Fura, Walter A. Helbig: An Introduction to GaAs Microprocessor Architecture for VLSI. IEEE Computer 19(3): 30-42 (1986) | |
| 1 | Walter A. Helbig | [1] [2] |
| 2 | Veljko M. Milutinovic | [1] [2] |
| 3 | Arun K. Somani | [3] [4] |
| 4 | Phillip J. Windley | [3] |