共 50 条
- [33] Formal verification in intel CPU design Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings, 2004, : 152 - 152
- [40] Design and Simulation of the CPU Fan and Heat Sinks IEEE TRANSACTIONS ON COMPONENTS AND PACKAGING TECHNOLOGIES, 2008, 31 (04): : 890 - 903