Formal Verification of Pipelined Processors流水线处理器的形式化验证.pptVIP

Riding the Technology CurveDec. 1, 1998 Topics Moore’s Law Are exponential problems intractable? Impact on real-world problems The verification challenge Impact of Technology It’s the Technology, Stupid! Computer science has ridden the wave Things Aren’t Over Yet Technology will continue to progress along current growth curves For at least 10 more years Difficult technical challenges in doing so Even Technologists Can’t Beat Laws of Physics Moore’s Law Gordon Moore Co-founded Intel in early 70’s Observed in 1972 that number of transistors / chip doubled ~ every 1.5 years Really a “trend” rath