TAILIEUCHUNG - Standardized Functional Verification- P13

Standardized Functional Verification- P13: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. | Architecture for Verification Software 5 105 However there is one more step that typically precedes application of CRV tests that of initialization. Consider Fig. . Fig. . Saving initialized systems for CRV 106 Chapter 4 - Planning and Execution After a system has been initialized assigning values to all variables of condition and writing them into their respective registers in the target and in the context excitation with stimuli generated by the test generator begins. Substantial gains in efficiency can be made by avoiding the common preamble that activates and initializes the system. Simply dump the state of the system in a location accessible to all available simulation engines the simulation farm . Then as CRVjobs are dispatched to the networked simulation engines in the simulation farm this saved state is sent along as well. In Fig. the tasks within the rectangle labeled as Dispatcher would be handled typically by a main CRV script that sends jobs to each of a large number of simulation engines in the simulation farm. The remaining tasks are those executed on the individual engines in the farm. Of course if during the course of activation and initialization some faulty behavior is observed the resulting state will probably not be valid and should not be used for subsequent CRV tests. Instead the system state and all other necessary diagnostic data are saved for failure analysis. Another common practice that avoids unnecessary simulation cycles is the magical initialization of memory in the target s context and sometimes even in the target itself. Consider a processor example. A processor s cache control logic is not necessarily well-exercised by an extremely long loop that fills the cache and tests that are intended weighted to exercise the execution pipeline might simply be executed from some saved postactivation state and then magically in zero-time its cache is initialized with the program of interest. Architecture for Verification .

• 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