8 papers:
CAV-2005-Kaivola #component #induction #invariant #simulation #verification- Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants (RK), pp. 170–184.
DAC-2004-DeleganesBGKSW #integer #logic- Low voltage swing logic circuits for a Pentium 4 processor integer core (DJD, MB, GG, KK, APS, SW), pp. 678–680.
HPCA-2004-MakineniI #architecture- Architectural Characterization of TCP/IP Packet Processing on the Pentium M Microprocessor (SM, RRI), pp. 152–163.
- DAC-2003-Kumar #design
- Interconnect and noise immunity design for the Pentium 4 processor (RK0), pp. 938–943.
DATE-2002-KaivolaN #float #multi #verification- Formal Verification of the Pentium ® 4 Floating-Point Multiplier (RK, NN), pp. 20–27.
- DAC-2001-Bentley #validation
- Validating the Intel Pentium 4 Microprocessor (BB), pp. 244–248.
- HPCA-1997-BhandarkarD #performance
- Performance Characterization of the Pentium(r) Pro Processor (DB, JJD), pp. 288–299.
- DAC-1996-ClarkeKZ #fault #model checking #word
- Word Level Model Checking — Avoiding the Pentium FDIV Error (EMC, MK, XZ), pp. 645–648.
