Thông tin tài liệu
| Nhan đề : | Kiểm định hình thức thiết kế phần cứng |
| Tác giả : | Nguyễn Thái Bình |
| Người hướng dẫn: | Nguyễn Đức Minh |
| Từ khoá : | Phần cứng; Thiết kế; Kiểm định; Luận văn |
| Năm xuất bản : | 2013 |
| Nhà xuất bản : | Trường Đại học Bách Khoa Hà Nội |
| Tóm tắt : | 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. |
| Mô tả: | 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 |
| Trong bộ sưu tập: | Ths-Điện tử viễn thông |
XEM MÔ TẢ
83
XEM & TẢI
45
Danh sách tệp tin đính kèm:
Khi sử dụng tài liệu trong thư viện số bạn đọc phải tuân thủ đầy đủ luật bản quyền.