TAILIEUCHUNG - Standardized Functional Verification- P9

Standardized Functional Verification- P9:Every manager who brings a design to tape-out or who purchases IP must eventually face these questions. The ability to answer these questions based on quantitative analysis is both vital and yet elusive. In spite of the enormous technical advances made in IC development and verification software, the answers to these questions are still based largely on guesswork and hand waving. | A Little Graph Theory 65 As mentioned earlier in this chapter there are special cases corresponding to scenarios and there are special cases corresponding to properties such as performance. It should be apparent by now that every scenario described in prose text can be described more precisely as one or more VTGs and these scenarios don t define additional points in the functional space. They are simply natural-language descriptions of specific function points or trajectories. That doesn t mean that we simply disregard them however. It means they are of interest for one reason or another and merit observation. These scenarios have raised some specific doubts on the part of one or more engineers or managers and confidence is sought that there is no bug associated with the behavior. Perhaps a special case represents some extreme of power consumption or some new compiler idioms for a superscalar processor still under development or perhaps an area of functionality that has been notoriously buggy in other projects. If a special case does lead us to defining a new variable not already represented in P then it means that our initial interpretation overlooked some information in the specification or that the specification document itself was incomplete or unclear on the subject. The higher-level special cases define properties of the target and do not contribute to the functional space as modeled by vectors of values of variables. These special cases remain in the written record the verification plan that is - see chapter 4 because they must also undergo testing to verify the properties described. In both sub-categories scenarios and properties our list of special cases does not add function points to the space so Py 0. So we now have a slightly more refined estimate compared to Eq. of the upper bound on the number of function points as P Pk Pa Pc Ps Pr. A Little Graph Theory Earlier in this chapter we observed that for each clock domain in each instance

• Phần cứng
• phần cứng CPU
• vi điều khiển PIC
• thiết bị máy chủ
• giao tiếp ngoại vi
• định thời biểu CPU
• hệ điều hành đa chương
• Khái niệm về CPU
• yếu tố tác động hiệu suất CPU
• Độ rộng Bus dữ liệu
• độ rộng Bus địa chỉ
• Tốc độ xử lý CPU
• tốc độ Bus của CPU
• chu kỳ CPU I O
• bộ định thời CPU
• CPU
• tổng quan
• giới thiệu về CPU
• khái niệm CPU
• phần cứng máy tính
• chuyên ngành kỹ thuật máy tính
• cấu trúc phần cứng
• công nghệ thông tin
• phần cứng
• định thời CPU
• điều phối tiến trình
• tài liệu phần cứng
• thông số
• hardware
• đề án môn học
• đồ án tốt nghiệp
• phần cứng của CPU
• Dung lượng bộ nhớ
• lập trình PLC
• Cấu trúc CPU 212
• Cấu trúc CPU 214
• 2 Cấu trúc CPU 212
• Kiến trúc máy tính
• Cấu tạo phần cứng máy tính
• Bài tập phần cứng
• Thực hành lắp ráp phần cứng máy tính
• Kỹ thuật lắp ráp phần cứng máy tính
• kiến thức phần cứng
• lắp ráp máy tính
• cấu trúc máy tính
• cấu tạo CPU
• mạch xử lý
• Bài giảng Phần cứng máy tính
• Phần cứng máy tính Bài 5
• Bộ xử lý
• Thông số kỹ thuật CPU
• Phân vùng ổ cứng
• báo cáo
• bảo trì phần cứng máy tính
• tìm hiểu về CPU
• kỹ thuật phần cứng
• sữa chữa phần cứng
• tin học về phần cứng
• linh kiện máy tính
• Mainboard