Thông tin tài liệu
| Title: | Kiểm định hình thức thiết kế phần cứng |
| Authors: | Nguyễn Thái Bình |
| Advisor: | Nguyễn Đức Minh |
| Keywords: | Phần cứng; Thiết kế; Kiểm định; Luận văn |
| Issue Date: | 2013 |
| Publisher: | Trường Đại học Bách Khoa Hà Nội |
| Abstract: | Tổng quan về kiểm định hình thức phần cứng; Kiểm chứng hình thức; Phát triển chương trình tạo ROBĐ mạch LOGIC biểu diễn bằng FCK. |
| Description: | Luận văn thạc sỹ - Chuyên ngành Kỹ thuật máy tính và truyền thông |
| URI: | http://dlib.hust.edu.vn/handle/HUST/3580 |
| Appears in Collections: | Ths-Điện tử viễn thông |
ABSTRACTS VIEWS
83
VIEWS & DOWNLOAD
45
Files in This Item:
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.