Xây dựng môi trường tự xác minh cho SRAM cổng kép bằng phương pháp xác minh phổ quát

Abstract

Trong thiết kế vi mạch tích hợp người thiết kế sáng tạo ra sản phẩm thì người xác minh đảm bảo sản phẩm đó phải đáp ứng chất lượng tốt nhất khi đến tay khách hàng. Phương pháp xác minh phổ quát (UVM: Universal Verification Methodology) là một phương pháp mô phỏng các thiết kế phần cứng để xác minh chức năng. UVM được xây dựng với mục tiêu tạo ra một phương pháp mô phỏng chung cho công nghiệp vi mạch. RAM Video (VRAM) là một dạng RAM động cổng kép phổ biến được sử dụng cho bộ nhớ video, cho phép CPU vẽ hình ảnh cùng lúc với phần cứng video đang đọc nó ra màn hình, hầu hết các loại RAM cổng kép khác đều dựa trên công nghệ RAM tĩnh - SRAM. Để thống nhất các ngôn ngữ thiết kế và xác minh, System Verilog (SV) đã được giới thiệu là chuẩn ngôn ngữ hợp nhất dành cho việc thiết kế phần cứng và xác minh. Từ những vấn đề nêu trên, tác giả đề xuất một nghiên cứu có xây dựng môi trường tự xác minh cho SRAM cổng kép bằng phương pháp xác minh phổ quát. Đề tài xây dựng một môi trường tự xác minh, kiểm thử (Built In Self Test – BIST) nhằm mô hình hóa và kiểm tra chức năng hoạt động của SRAM cổng kép dựa trên ngôn ngữ System Verilog.