7KLୱW Nୱ PFK logic EୣQJ HDLVerilog-ĈһQJ Bá .KҳF 7ULӅX *LҧQJ viên Khoa CNTT 7UѭӡQJ ĈҥL KӑF Bách khoa Ĉj 1ҹQJ 1... Yêu FҫX FӫD khóa KӑF Giáo viên FKӍ KѭӟQJ GүQ QKӳQJ gì Fѫ EҧQ QKҩW, sinh
Trang 17KLୱW Nୱ PFK logic EୣQJ HDL
Verilog-ĈһQJ Bá KҳF 7ULӅX
*LҧQJ viên Khoa CNTT 7UѭӡQJ ĈҥL KӑF Bách khoa Ĉj 1ҹQJ
1
Trang 2Yêu FҫX FӫD khóa KӑF
Giáo viên FKӍ KѭӟQJ GүQ QKӳQJ gì Fѫ EҧQ
QKҩW, sinh viên SKҧL Wӵ tìm KLӇX thêm
Trang web FӫD khóa KӑF:
http://dangtrieu.wiki.zoho.com/LapTrinhVeri log2009.html
http://dangtrieu.wiki.zoho.com/LapTrinhVerilog
2009-Feedback.html
ĈӏD FKӍ email: dangtrieu@gmail.com
Không có câu KӓL QJӟ QJҭQ, hãy PҥQK GҥQ
trao ÿәL ý NLӃQ YӟL giáo viên và EҥQ bè
Sinh viên ÿ{QJ nên WUѭӟF KӃW hãy trao ÿәL YӟL
Trang 32009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
Phân 4 sv PӝW nhóm, theo WKӭ Wӵ Wӯ trên
[XӕQJ FӫD danh sánh OӟS
%ҧQ báo cáo YLӃW EҵQJ Word, JӱL theo
email và in ra PӝW EҧQ QӝS WUӵF WLӃS
Trang 4*LӟL WKLӋX Verilog-HDL và cách
ĈһQJ Bá KҳF 7ULӅX
*LҧQJ viên Khoa CNTT 7UѭӡQJ ĈҥL KӑF Bách khoa Ĉj 1ҹQJ
Trang 52009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
/FK Vட SK£W WUL୵Q
ÒX WL¬Q, WKLୱW Nୱ PFK KTS G»QJ vacuum tubes Y¢
transistors
7LୱS theo O¢ Ó୩W WU¬Q PW single chip, JL O¢ IC (integrated
circuit) YL qui P¶ SSI (Small Scale Integration)
Sau Óµ ÓୱQ qui P¶ MSI (Medium Scale Integration), YL
Y¢L WUÅP FஇQJ logic
7LୱS theo O¢ LSI (Large Scale Integration), YL Y¢L QJK®Q
FஇQJ logic
0F Ó SKF WS WÅQJ O¬Q -> Electronic Design Automation
(EDA).
0FK Yଢ଼Q ÓŲகF test WU¬Q breadboard, Y¢ layout ÓŲகF O¢P
EୣQJ tay WU¬Q JLୗ\ KR୩F P£\ W¯QK
9L VLSI (Very Large Scale Integration), qui P¶ WU¬Q
100,000 transistors
K¶QJ WK୵ NL୵P tra WU¬Q breadboard
&Q SK୕L WKLୱW Nୱ Y¢ WKணF KLQ NL୵P tra logic WU¬Q P£\ W¯QK UஅL
PL in O¬Q chip.
5
Trang 72009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
3KҫQ PӅP và tài OLӋX
Ta FҫQ cài ÿһW:
ISE WebPACK 10.1: SKQ P୳P WR project
ModelSim Xilinx Edition-III 6.3c: SKҫQ PӅP
E- ERRN³Verilog HDL A Guide to Digital Design
DQG6\QWKHVLV6HFRQG(GLWLRQ´
7
Trang 8 http://www.xilinx.com/support/download/ind
ex.htm
ISE WebPACK
A FREE, easy-to-use software solution for your
Xilinx C CPLD or medium-density F FPGA design
Current:10.1 - March 2008 Requirements: OS |
Memory Product Info: Free ISE WebPACK
Download: Download ISE WebPACK
&£F video tham NK୕R:
http://www.xilinx.com/products/design_resources/
&£FK download, F¢L Ó୩W ISE WebPACK 10.1
Trang 92009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
&£FK download, F¢L Ó୩W ISE WebPACK 10.1
9
Sign in KRһF ÿăQJ ký PӝW account PӟL QӃX FKѭD có
Trang 10&£FK download, F¢L Ó୩W ISE WebPACK 10.1
Trang 112009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
Operating System Support
Microsoft Windows® XP Professional
(32-bit and 64-(32-bit)
Microsoft Windows® Vista Business (32-bit
Trang 12 Microsoft Windows XP Professional
Cài trên Vista FNJQJ ÿѭӧF
Download, F¢L Ó୩W ModelSim Xilinx Edition-III
Trang 132009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1 13
Download, F¢L Ó୩W ModelSim Xilinx Edition-III
Trang 14 Sau khi finish FҫQ ÿăQJ ký licence Licence
VӁ ÿѭӧF JӱL vào email ÿăQJ ký.
To license the ModelSim XE product,
please follow these steps:
1) Save the attached file to your hard drive, noting its
location.
2) Run the "Licensing Wizard" program from within the
ModelSim XE program group.
3) Using the Licensing Wizard, specify the location of
the saved license file.
4) Optionally, allow the Licensing Wizard to Modify
your FlexLM environment variable and reboot your
machine to complete the license installation process.
Download, F¢L Ó୩W ModelSim Xilinx Edition-III
Trang 167ҥR Project
Trang 172009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
7ҥR Project
17
Trang 187ҥR Project
Trang 192009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
7ҥR Project
19
Trang 207ҥR Project
Trang 212009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
9LӃW FKѭѫQJ trình
&KӑQ Verilog Module; ÿһW tên file
21
Trang 229LӃW FKѭѫQJ trình
ĈһW ÿҫX ra vào (không FҫQ WKLӃW)
Trang 232009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
9LӃW FKѭѫQJ trình
Summary YӅ file YӯD WҥR
23
Trang 252009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
Trang 267ҥR file simulation
&KӑQ Test Bench Waveform và ÿһW tên file
Trang 272009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
7ҥR file simulation
&KӑQ file WѭѫQJ ӭQJ PXӕQ simulation
27
Trang 28Summary
Trang 292009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
7KLӃW OұS các tham Vӕ simulation
29
Trang 307KLӃW OұS ÿҫX vào (a, b)
*Lҧ Vӱ ta WKLӃW OұS QKѭ hình GѭӟL
Trang 312009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
.KӣL ÿӝQJ SKҫQ PӅP ModelSim
31
Trang 32Xem NӃW TXҧ simulation
&KӍ khi a, b cùng EҵQJ 1 thì c PӟL EҵQJ 1
Trang 332009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
Trang 34Phép toán trên bit
Bitwise Operators
~ ~m Invert each bit of m
& m & n AND each bit of m with each bit of n
| m | n OR each bit of m with each bit of n
^ m ^ n Exclusive OR each bit of m with n
~^ m ~^ n
Exclusive NOR each bit of m with n
Trang 352009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
1-bit full adder
sum = (a XOR b XOR c_in)
c_out = (a AND b) OR (c_in AND (a XOR b))
35
Trang 36output sum, c_out;
assign sum = (a ^ b) ^ c_in;
assign c_out = (a & b) + (c_in & (a ^ b));
endmodule
Trang 372009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
0ҥFK logic ÿѭӧF WҥR ra
Ĉk\ là WәQJ WKӇ FӫD module
37
Trang 380ҥFK logic ÿѭӧF WҥR ra
Trang 392009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
7ҥR input
39
Trang 40.ӃW TXҧ simulation
&KѭѫQJ trình cho NӃW TXҧ ÿ~QJ
Trang 412009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
4-bit full adder
Làm WKӃ nào?
41
Có cách nào ÿѫQ JLҧQ KѫQ không?
Trang 429LӃW OҥL 1-bit full adder ÿѫQ JLҧQ
{m, n} : Concatenate m to n, creating larger
`timescale 1ns / 1ps
module OBFASimple(c_in, a, b, sum, c_out);
input c_in, a, b;
output sum, c_out;
assign {c_out, sum} = a + b + c_in;
endmodule
Trang 432009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
&KѭѫQJ trình 4-bit full adder
Trang 44.ӃW TXҧ simulation
Xem GѭӟL GҥQJ Vӕ WKұS OөF phân
Trang 452009 ĈɴQJBá KɬF 7ULɾX, GV khoa CNTT, WUɉ͝QJ Ĉ+%.Ĉ1
.ӃW TXҧ simulation
Xem GѭӟL GҥQJ WKұS phân, không GҩX
45