The design of a microprocessor

The parallel processing compute server

IBM Journal of Research and Development

Instruction execution sequence confirmation

ACM SIGARCH Computer Architecture News

A half-micron CMOS logic generation

IBM Journal of Research and Development - Special issue: IBM CMOS technology

Hierarchical strategy of model partitioning for VLSI-design using an improved mixture of experts approach

PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation

Standard-cell-based design methodology for high-performance support chips

IBM Journal of Research and Development - Special issue: IBM S/390 G3 and G4

A flat, timing-driven design system for a high-performance CMOS processor chipset

Proceedings of the conference on Design, automation and test in Europe

Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods

VLSI: placement based on routing and timing information

EURO-DAC '90 Proceedings of the conference on European design automation