Verification For 5-Stage Pipelined RISC-V RV32I Using UVM-Based PlatformTác giả:
Verification For 5-Stage Pipelined RISC-V RV32I Using UVM-Based Platform: Graduation thesis of Computer engineering technology/ Tran Van Du, Dang Nguyen Bao Lam; Pham Van Khoa (Advisor)--Ho Chi Minh City: Ho Chi Minh City University of technology and education, 2024
Call no.: KMT-19 004.22 T772-V986
Calculation and verification of the airconditioning system for Ho Guom opera house in HanoiTác giả: Hoang An Quoc, Nguyen Thanh Khiem, Vu Trung Hieu
Calculation and verification of the airconditioning system for Ho Guom opera house in Hanoi. Graduation thesis: Major thermal engineering technology. Lecture: Hoang An Quoc. Students: Nguyen Thanh Khiem, Vu Trung Hieu. Faculty of International Education, Ho Chi Minh City University of Technology and Education, July 2025
Bài giảng Software quality assurance: Verification - Nguyễn Anh Hào
Bài giảng "Software quality assurance: Verification" cung cấp cho người học các kiến thức: Cách làm phần mềm, nhìn từ SE, mô hình phát triển phần mềm, hổ trợ thay đổi trong cách làm phần mềm, mô hình làm mẫu thử,... Mời các bạn cùng tham khảo.
Bài giảng Kiểm chứng, thẩm định và kiểm thử (Verification, Validation, and Testing) - ĐH Cần Thơ
Mục tiêu của bài giảng này là giúp các bạn sinh viên có thể hiểu được các khái niệm về verification, valdation, vàt testing; nắm được các nguyên lý về kiểm thử; hiểu khái niệm ca kiểm thử (test case); các phương pháp thiết kế test case; phương pháp kiểm thử chương trình và phương pháp kiểm thử hệ thống.
Bài giảng Vi xử lý: Chương 3.9 - Bùi Minh Thành
Bài giảng "Vi xử lý - Chương 3.9: System và program developments of 8051" giới thiệu tới người đọc các nội dung: Flowcharts, pseudo code, The development environment, intel hexadecimal format, integration and verification, hardware development, designing software,... Mời các bạn cùng tham khảo nội dung chi tiết.
Bài giảng Kiểm chứng, thẩm định và kiểm thử (verification, validation, and testing)
Bài giảng Kiểm chứng, thẩm định và kiểm thử (verification, validation, and testing) được biên soạn nhằm giúp các bạn nắm bắt được những kiến thức về khái niệm verification, valdation, và testing; các nguyên lý về kiểm thử; khái niệm ca kiểm thử (test case); phương pháp thiết kế test case; cách kiểm thử chương trình; cách kiểm thử hệ thống.
Báo cáo bài tập tuần: Phân tích yêu cầu phần mềm - Nhóm 3
Báo cáo bài tập tuần: Phân tích yêu cầu phần mềm - Nhóm 3 có kết cấu trình bày về Phân biệt Requirements Verification và Requirements Validation, kỹ thuật duyệt và kiểm soát yêu cầu phần mềm Simple Check, kỹ thuật duyệt và kiểm soát yêu cầu phần mềm prototyping, kỹ thuật duyệt và kiểm soát yêu cầu phần mềm Functional test design,... Mời các bạn tham khảo để nắm bắt nội dung bài báo cáo cụ thể hơn.
A Soft Error Tolerant SRAM Design in 130NM CMOS Technology
Soft error is a great concern for microelectronics circuits today. With the advanced development i n CMOS technologies, VLSI circuits are becoming more sensitive to external noise sources, especially radiation particle strikes, which are the cause of soft error. Soft errors are random and do not cause the permanent failure. However, it causes the corruption of stored information, which could turn to the failure in functionality of the circuits.
Báo cáo nghiên cứu khoa học " Calibration and verification of a hydrological model using event data "
Chủ đề về hiệu chuẩn và kiểm tra mô hình lượng mưa, dòng chảy đã được chủ đề của nhiều nghiên cứu. Tuy nhiên, hầu hết các nghiên cứu bằng cách sử dụng các dữ liệu liên tục cho nhiệm vụ này, trong khi ở các điều kiện của Việt Nam, đó là khó khăn để thu thập các dữ liệu liên tục ngày phụ. Điều này dẫn đến sự cần thiết cho các phương pháp có thể hiệu chỉnh và kiểm tra các thông số mô hình từ các dữ liệu sự kiện. Bài viết này giới thiệu một...
Báo cáo khoa học: "Multimodality approach of perioperative 18F-FDG PET/CT imaging, intraoperative 18F-FDG handheld gamma probe detection, and intraoperative ultrasound for tumor localization and verification of resection of all sites of hypermetabolic activity in a case of occult recurrent metastatic melanoma"
Tuyển tập báo cáo các nghiên cứu khoa học quốc tế ngành y học dành cho các bạn tham khảo đề tài: Multimodality approach of perioperative 18F-FDG PET/CT imaging, intraoperative 18F-FDG handheld gamma probe detection, and intraoperative ultrasound for tumor localization and verification of resection of all sites of hypermetabolic activity in a case of occult recurrent metastatic melanoma