Báo cáo tài liệu vi phạm
Giới thiệu
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
THỊ TRƯỜNG NGÀNH HÀNG
NÔNG NGHIỆP, THỰC PHẨM
Gạo
Rau hoa quả
Nông sản khác
Sữa và sản phẩm
Thịt và sản phẩm
Dầu thực vật
Thủy sản
Thức ăn chăn nuôi, vật tư nông nghiệp
CÔNG NGHIỆP
Dệt may
Dược phẩm, Thiết bị y tế
Máy móc, thiết bị, phụ tùng
Nhựa - Hóa chất
Phân bón
Sản phẩm gỗ, Hàng thủ công mỹ nghệ
Sắt, thép
Ô tô và linh kiện
Xăng dầu
DỊCH VỤ
Logistics
Tài chính-Ngân hàng
NGHIÊN CỨU THỊ TRƯỜNG
Hoa Kỳ
Nhật Bản
Trung Quốc
Hàn Quốc
Châu Âu
ASEAN
BẢN TIN
Bản tin Thị trường hàng ngày
Bản tin Thị trường và dự báo tháng
Bản tin Thị trường giá cả vật tư
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
NGÀNH HÀNG
NÔNG NGHIỆP, THỰC PHẨM
Gạo
Rau hoa quả
Nông sản khác
Sữa và sản phẩm
Thịt và sản phẩm
Dầu thực vật
Thủy sản
Thức ăn chăn nuôi, vật tư nông nghiệp
CÔNG NGHIỆP
Dệt may
Dược phẩm, Thiết bị y tế
Máy móc, thiết bị, phụ tùng
Nhựa - Hóa chất
Phân bón
Sản phẩm gỗ, Hàng thủ công mỹ nghệ
Sắt, thép
Ô tô và linh kiện
Xăng dầu
DỊCH VỤ
Logistics
Tài chính-Ngân hàng
NGHIÊN CỨU THỊ TRƯỜNG
Hoa Kỳ
Nhật Bản
Trung Quốc
Hàn Quốc
Châu Âu
ASEAN
BẢN TIN
Bản tin Thị trường hàng ngày
Bản tin Thị trường và dự báo tháng
Bản tin Thị trường giá cả vật tư
Thông tin
Tài liệu Xanh là gì
Điều khoản sử dụng
Chính sách bảo mật
0
Trang chủ
Kỹ Thuật - Công Nghệ
Điện - Điện tử
Cấu trúc kiểm chứng thiết kế cho bộ cộng toàn phần 4-bit dựa trên phương pháp xác minh phổ quát
Đang chuẩn bị liên kết để tải về tài liệu:
Cấu trúc kiểm chứng thiết kế cho bộ cộng toàn phần 4-bit dựa trên phương pháp xác minh phổ quát
Hà Tiên
143
10
pdf
Không đóng trình duyệt đến khi xuất hiện nút TẢI XUỐNG
Tải xuống
Bài viết trình bày một cấu trúc kiểm chứng thiết kế cho bộ cộng toàn phần 4-bit dựa trên phương pháp xác minh phổ quát (UVM) sử dụng ngôn ngữ System Verilog. Việc kết hợp những ưu điểm của UVM trong cấu trúc được đề xuất này cùng với System Verilog giúp xây dựng môi trường xác minh mà ở đó các biến ngõ vào được thiết lập ngẫu nhiên giúp giảm thời gian xây dựng testbench. Ngoài ra, việc tận dụng ngôn ngữ System Verilog để tạo ra các ma trận nhằm đánh giá độ bao phủ các trường hợp cần xác minh giúp ích rất nhiều trong việc gia tăng độ tin cậy trong thiết kế. | N.X.Tiến T.Q.Việt T.L.T.Đồng Tạp chí Khoa học và Công nghệ Đại học Duy Tân 04 41 2020 3-12 3 04 41 2020 3-12 Cấu trúc kiểm chứng thiết kế cho bộ cộng toàn phần 4-bit dựa trên phương pháp xác minh phổ quát UVM-based verification architecture of a 4-bit full adder Nguyễn Xuân Tiếna b Tạ Quốc Việta b Trần Lê Thăng Đồnga b Xuan Tien Nguyena b Quoc Viet Taa b Le Thang Dong Trana b a Phòng Nghiên cứu Điện - Điện tử với Doanh nghiệp Đại học Duy Tân Đà Nẵng Việt Nam b Khoa Điện - Điện tử Đại học Duy Tân Đà Nẵng Việt Nam a Laboratory for Corporate Electrical - Engineering Research Duy Tan University Danang 550000 Vietnam b Faculty of Electrical - Electronics Engineering Duy Tan University Da Nang 550000 Vietnam Ngày nhận bài 25 3 2020 ngày phản biện xong 08 4 2020 ngày chấp nhận đăng 15 8 2020 Tóm tắt Việc xác minh chức năng thiết kế là một yêu cầu bắt buộc phải có và chiếm đến gần 70 - 80 thời gian trong chu kỳ của một thiết kế bất kì. Những phương pháp xác minh hiện nay bằng cách kiểm tra trực tiếp các thiết kế thường tốn nhiều thời gian có độ tin cậy thấp và khá nhàm chán. Bên cạnh đó nó khó bao quát được hết tất cả các trường hợp cần phải xác minh. Bài báo này trình bày một cấu trúc kiểm chứng thiết kế cho bộ cộng toàn phần 4-bit dựa trên phương pháp xác minh phổ quát UVM sử dụng ngôn ngữ System Verilog. Việc kết hợp những ưu điểm của UVM trong cấu trúc được đề xuất này cùng với System Verilog giúp xây dựng môi trường xác minh mà ở đó các biến ngõ vào được thiết lập ngẫu nhiên giúp giảm thời gian xây dựng testbench. Ngoài ra việc tận dụng ngôn ngữ System Verilog để tạo ra các ma trận nhằm đánh giá độ bao phủ các trường hợp cần xác minh giúp ích rất nhiều trong việc gia tăng độ tin cậy trong thiết kế. Kết quả mô phỏng cho thấy độ bao phủ này lên đến 99.3 . Hơn nữa cấu trúc được đề xuất này có thể tái sử dụng hoặc mở rộng thêm trong việc kiểm tra các thiết kế SoC khác rút ngắn được thời gian kiểm chứng. Từ khóa UVM Xác minh thiết kế SystemVerilog Bộ cộng toàn phần 4-bit
TÀI LIỆU LIÊN QUAN
Đề kiểm tra 1 tiết về cấu trúc chung của máy tính Tin học lớp 6 - Trường THCS Lương Thế Vinh
Đề kiểm tra tập trung lần 1 môn Sinh học lớp 10 năm 2017-2018 - THPT Gia Nghĩa - Mã đề 463
Luận văn Thạc sĩ Kinh tế: Kiểm định các nhân tố ảnh hưởng đến cấu trúc vốn các doanh nghiệp ngành gỗ niêm yết trên thị trường chứng khoán Việt Nam
Luận văn Thạc sĩ Kinh tế: Giá chứng khoán và giả thuyết thị trường hiệu quả - bằng chứng tù kiểm định tính dừng dữ liệu bảng có xét đến điểm gãy cấu trúc
Luận văn Thạc sĩ Kế toán: Các nhân tố ảnh hưởng đến cấu trúc vốn của các công ty ngành dược phẩm y tế niêm yết trên sàn chứng khoán Việt Nam
Luận văn Thạc sĩ Kế toán: Ảnh hưởng của cấu trúc tài chính đến hiệu quả của các công ty niêm yết trên thị trường chứng khoán thành phố Hồ Chí Minh
Khóa luận tốt nghiệp Kế toán-Kiểm toán: Các nhân tố ảnh hưởng đến cấu trúc vốn của các Công ty Cổ phần ngành Bất động sản niêm yết tại sở giao dịch chứng khoán Hồ Chí Minh
Luận văn: Cấu trúc bộ máy và quy trình kiểm toán của Công ty Dịch vụ Tư vấn tài chính kế toán và Kiểm toán (AASC)
Luận văn Thạc sĩ Kinh tế: Cấu trúc vốn, cơ cấu sở hữu và thành quả của doanh nghiệp – Kiểm chứng với các doanh nghiệp niêm yết tại Việt Nam
Cấu trúc kiểm chứng thiết kế cho bộ cộng toàn phần 4-bit dựa trên phương pháp xác minh phổ quát
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.