{"id":117286,"date":"2026-10-24T16:16:40","date_gmt":"2026-10-24T08:16:40","guid":{"rendered":"https:\/\/www.wsisp.com\/helps\/117286.html"},"modified":"2026-10-24T16:16:40","modified_gmt":"2026-10-24T08:16:40","slug":"modelsim-%e4%bb%bf%e7%9c%9f%e4%bb%8e%e5%85%a5%e9%97%a8%e5%88%b0%e7%b2%be%e9%80%9a%ef%bc%9a%e4%b8%80%e4%bb%bd%e8%ae%a9%e4%bd%a0%e5%b0%91%e8%b5%b0-3-%e5%b9%b4%e5%bc%af%e8%b7%af%e7%9a%84%e5%ae%8c","status":"publish","type":"post","link":"https:\/\/www.wsisp.com\/helps\/117286.html","title":{"rendered":"ModelSim \u4eff\u771f\u4ece\u5165\u95e8\u5230\u7cbe\u901a\uff1a\u4e00\u4efd\u8ba9\u4f60\u5c11\u8d70 3 \u5e74\u5f2f\u8def\u7684\u5b8c\u6574\u5b9e\u6218\u6559\u7a0b"},"content":{"rendered":"<h3>\u76ee\u5f55<\/h3>\n<ul>\n<li>1. \u4e3a\u4ec0\u4e48\u4f60\u4e00\u5b9a\u8981\u5b66\u4f1a ModelSim \u4eff\u771f&#xff1f;<\/li>\n<li>2. ModelSim \u662f\u4ec0\u4e48&#xff1f;\u5b83\u80fd\u505a\u4ec0\u4e48&#xff1f;<\/li>\n<li>3. \u73af\u5883\u51c6\u5907&#xff1a;\u5b89\u88c5\u4e0e\u914d\u7f6e\u8be6\u89e3\n<ul>\n<li>3.1 \u83b7\u53d6\u5b89\u88c5\u5305<\/li>\n<li>3.2 \u5b89\u88c5\u6b65\u9aa4<\/li>\n<li>3.3 \u73af\u5883\u53d8\u91cf\u914d\u7f6e<\/li>\n<\/ul>\n<\/li>\n<li>4. \u7b2c\u4e00\u4e2a\u4eff\u771f\u5de5\u7a0b&#xff1a;\u4ece\u521b\u5efa\u5230\u8fd0\u884c\n<ul>\n<li>4.1 \u521b\u5efa\u5de5\u7a0b\u76ee\u5f55\u4e0e\u6e90\u6587\u4ef6<\/li>\n<li>4.2 \u5728 ModelSim \u4e2d\u521b\u5efa\u5de5\u7a0b<\/li>\n<li>4.3 \u7f16\u8bd1\u8bbe\u8ba1\u6587\u4ef6<\/li>\n<li>4.4 \u542f\u52a8\u4eff\u771f<\/li>\n<li>4.5 \u6dfb\u52a0\u6ce2\u5f62\u5e76\u8fd0\u884c<\/li>\n<li>4.6 \u5b9e\u6218\u4f8b\u7a0b&#xff1a;\u5e26\u4f7f\u80fd\u7684\u53ef\u9006\u8ba1\u6570\u5668<\/li>\n<li>4.7 \u4e24\u79cd\u8ba1\u6570\u5668\u4f8b\u7a0b\u5bf9\u6bd4<\/li>\n<\/ul>\n<\/li>\n<li>5. \u6df1\u5165\u7406\u89e3 ModelSim \u7684\u4eff\u771f\u6d41\u7a0b\n<ul>\n<li>5.1 \u7f16\u8bd1&#xff08;Compile&#xff09;\u9636\u6bb5<\/li>\n<li>5.2 \u4eff\u771f&#xff08;Simulate&#xff09;\u9636\u6bb5<\/li>\n<li>5.3 \u6ce2\u5f62\u67e5\u770b\u4e0e\u8c03\u8bd5<\/li>\n<\/ul>\n<\/li>\n<li>6. \u4f7f\u7528 Tcl \u811a\u672c\u5b9e\u73b0\u81ea\u52a8\u5316\u4eff\u771f<\/li>\n<li>7. \u5e38\u89c1\u95ee\u9898\u4e0e\u89e3\u51b3\u65b9\u6848\n<ul>\n<li>7.1 \u7f16\u8bd1\u62a5\u9519\u901f\u67e5<\/li>\n<\/ul>\n<\/li>\n<li>8. \u8fdb\u9636\u6280\u5de7&#xff1a;\u8ba9\u4eff\u771f\u6548\u7387\u7ffb\u500d\n<ul>\n<li>8.1 \u4f7f\u7528 Do \u6587\u4ef6\u7ba1\u7406\u590d\u6742\u6d41\u7a0b<\/li>\n<li>8.2 \u5229\u7528\u65ad\u70b9\u8c03\u8bd5<\/li>\n<li>8.3 \u6279\u91cf\u56de\u5f52\u6d4b\u8bd5<\/li>\n<\/ul>\n<\/li>\n<li>9. \u603b\u7ed3\u4e0e\u5b66\u4e60\u5efa\u8bae\n<ul>\n<li>9.1 SystemVerilog \u65ad\u8a00&#xff08;SVA&#xff09;\u5165\u95e8<\/li>\n<\/ul>\n<\/li>\n<li>\u53c2\u8003\u8d44\u6599<\/li>\n<\/ul>\n<p>\u524d\u8a00<\/p>\n<p>\u672c\u6559\u7a0b\u4e13\u4e3a FPGA \u521d\u5b66\u8005\u548c\u6570\u5b57\u7535\u8def\u76f8\u5173\u4e13\u4e1a\u7684\u5b66\u751f\u7f16\u5199&#xff0c;\u65e8\u5728\u5e2e\u52a9\u4f60\u4ece\u96f6\u5f00\u59cb\u7cfb\u7edf\u638c\u63e1 ModelSim \u8fd9\u4e00\u4e1a\u754c\u4e3b\u6d41 HDL \u4eff\u771f\u5de5\u5177\u3002\u9605\u8bfb\u672c\u6587\u524d&#xff0c;\u5efa\u8bae\u4f60\u5df2\u719f\u6089 Verilog \u57fa\u7840\u8bed\u6cd5&#xff0c;\u4e86\u89e3\u6a21\u5757\u3001\u4fe1\u53f7\u4e0e always \u5757\u7b49\u57fa\u672c\u6982\u5ff5\u3002\u5b66\u5b8c\u672c\u6587\u540e&#xff0c;\u4f60\u5c06\u80fd\u591f\u72ec\u7acb\u5b8c\u6210 ModelSim \u7684\u5b89\u88c5\u914d\u7f6e\u3001\u5de5\u7a0b\u521b\u5efa\u3001\u7f16\u8bd1\u4eff\u771f\u4e0e\u6ce2\u5f62\u8c03\u8bd5&#xff0c;\u5e76\u638c\u63e1\u4f7f\u7528 Tcl \u811a\u672c\u5b9e\u73b0\u81ea\u52a8\u5316\u4eff\u771f\u7684\u80fd\u529b&#xff0c;\u4e3a\u540e\u7eed\u6df1\u5165\u5b66\u4e60 SystemVerilog \u65ad\u8a00\u4e0e\u529f\u80fd\u8986\u76d6\u7387\u6253\u4e0b\u575a\u5b9e\u57fa\u7840\u3002<\/p>\n<p>TL;DR \u901f\u89c8<\/p>\n<ul>\n<li>ModelSim&#xff1a;\u4e1a\u754c\u4e3b\u6d41 HDL \u4eff\u771f\u5668\u3002<\/li>\n<li>\u5b89\u88c5&#xff1a;\u514d\u8d39\u7248\u968f Quartus \u63d0\u4f9b\u3002<\/li>\n<li>\u6d41\u7a0b&#xff1a;\u7f16\u8bd1\u3001\u4eff\u771f\u3001\u6ce2\u5f62\u8c03\u8bd5\u3002<\/li>\n<li>\u81ea\u52a8\u5316&#xff1a;Tcl \u811a\u672c\u4e00\u952e\u6267\u884c\u3002<\/li>\n<li>\u6392\u969c&#xff1a;\u5e38\u89c1\u95ee\u9898\u6709\u5bf9\u5e94\u65b9\u6848\u3002<\/li>\n<\/ul>\n<h3>1. \u4e3a\u4ec0\u4e48\u4f60\u4e00\u5b9a\u8981\u5b66\u4f1a ModelSim \u4eff\u771f&#xff1f;<\/h3>\n<p>\u5728\u6570\u5b57\u7535\u8def\u4e0e FPGA \u5f00\u53d1\u9886\u57df&#xff0c;\u4eff\u771f\u9a8c\u8bc1\u662f\u4fdd\u8bc1\u8bbe\u8ba1\u6b63\u786e\u6027\u7684\u7b2c\u4e00\u9053\u4e5f\u662f\u6700\u91cd\u8981\u7684\u4e00\u9053\u5173\u5361\u3002ModelSim \u4f5c\u4e3a\u4e1a\u754c\u6700\u6210\u719f\u7684 HDL \u4eff\u771f\u5de5\u5177\u4e4b\u4e00&#xff0c;\u51ed\u501f\u5176\u5f3a\u5927\u7684\u8c03\u8bd5\u80fd\u529b\u3001\u7075\u6d3b\u7684\u811a\u672c\u652f\u6301\u548c\u5e7f\u6cdb\u7684\u5668\u4ef6\u5e93\u517c\u5bb9\u6027&#xff0c;\u957f\u671f\u5360\u636e FPGA \u5f00\u53d1\u8005\u5de5\u5177\u94fe\u7684\u6838\u5fc3\u4f4d\u7f6e\u3002\u65e0\u8bba\u4f60\u662f\u521a\u63a5\u89e6 Verilog\/VHDL \u7684\u5b66\u751f&#xff0c;\u8fd8\u662f\u6b63\u5728\u4ece\u4e8b\u590d\u6742 SoC \u9a8c\u8bc1\u7684\u5de5\u7a0b\u5e08&#xff0c;\u638c\u63e1 ModelSim \u90fd\u80fd\u663e\u8457\u63d0\u5347\u4f60\u7684\u5f00\u53d1\u6548\u7387\u548c\u8bbe\u8ba1\u53ef\u9760\u6027\u3002<\/p>\n<p>\u672c\u6559\u7a0b\u5c06\u5e26\u4f60\u4ece\u96f6\u5f00\u59cb&#xff0c;\u7cfb\u7edf\u6027\u5730\u638c\u63e1 ModelSim \u7684\u5b8c\u6574\u4f7f\u7528\u6d41\u7a0b\u3002\u5185\u5bb9\u6db5\u76d6\u73af\u5883\u642d\u5efa\u3001\u5de5\u7a0b\u521b\u5efa\u3001\u4eff\u771f\u6267\u884c\u3001\u6ce2\u5f62\u8c03\u8bd5\u3001\u811a\u672c\u81ea\u52a8\u5316\u7b49\u6838\u5fc3\u73af\u8282&#xff0c;\u6bcf\u4e00\u6b65\u90fd\u914d\u6709\u53ef\u590d\u73b0\u7684\u64cd\u4f5c\u8bf4\u660e\u548c\u4ee3\u7801\u793a\u4f8b&#xff0c;\u786e\u4fdd\u4f60\u80fd\u591f\u8fb9\u5b66\u8fb9\u7ec3\u3001\u5feb\u901f\u4e0a\u624b\u3002<\/p>\n<h3>2. ModelSim \u662f\u4ec0\u4e48&#xff1f;\u5b83\u80fd\u505a\u4ec0\u4e48&#xff1f;<\/h3>\n<p>ModelSim \u662f\u7531 Mentor Graphics&#xff08;\u73b0\u5c5e Siemens EDA&#xff09;\u5f00\u53d1\u7684 HDL \u4eff\u771f\u5668&#xff0c;\u652f\u6301 Verilog\u3001SystemVerilog \u548c VHDL \u8bed\u8a00\u7684\u7f16\u8bd1\u3001\u4eff\u771f\u4e0e\u8c03\u8bd5\u3002\u5b83\u53ef\u4ee5\u5728\u4ee3\u7801\u7f16\u5199\u9636\u6bb5\u5c31\u53d1\u73b0\u903b\u8f91\u9519\u8bef\u3001\u65f6\u5e8f\u51b2\u7a81\u548c\u529f\u80fd\u7f3a\u9677&#xff0c;\u907f\u514d\u5c06\u95ee\u9898\u5e26\u5230\u540e\u7eed\u7684\u7efc\u5408\u4e0e\u5e03\u5c40\u5e03\u7ebf\u9636\u6bb5&#xff0c;\u4ece\u800c\u5927\u5e45\u964d\u4f4e\u5f00\u53d1\u6210\u672c\u548c\u8fd4\u5de5\u98ce\u9669\u3002<\/p>\n<p>ModelSim \u7684\u6838\u5fc3\u80fd\u529b\u5305\u62ec&#xff1a;<\/p>\n<ul>\n<li>\u591a\u8bed\u8a00\u652f\u6301&#xff1a;\u540c\u65f6\u652f\u6301 Verilog\u3001SystemVerilog\u3001VHDL \u4ee5\u53ca\u6df7\u5408\u8bed\u8a00\u4eff\u771f\u3002<\/li>\n<li>\u6ce2\u5f62\u8c03\u8bd5&#xff1a;\u63d0\u4f9b\u76f4\u89c2\u7684\u6ce2\u5f62\u7a97\u53e3&#xff0c;\u53ef\u67e5\u770b\u4fe1\u53f7\u968f\u65f6\u95f4\u53d8\u5316\u7684\u8be6\u7ec6\u8fc7\u7a0b\u3002<\/li>\n<li>\u811a\u672c\u81ea\u52a8\u5316&#xff1a;\u901a\u8fc7 Tcl \u811a\u672c\u5b9e\u73b0\u7f16\u8bd1\u3001\u4eff\u771f\u3001\u6ce2\u5f62\u8f93\u51fa\u7684\u5168\u6d41\u7a0b\u81ea\u52a8\u5316\u3002<\/li>\n<li>\u8986\u76d6\u7387\u5206\u6790&#xff1a;\u652f\u6301\u4ee3\u7801\u8986\u76d6\u7387\u4e0e\u529f\u80fd\u8986\u76d6\u7387\u7edf\u8ba1&#xff0c;\u5e2e\u52a9\u8bc4\u4f30\u9a8c\u8bc1\u5b8c\u6574\u6027\u3002<\/li>\n<li>\u6027\u80fd\u4f18\u5316&#xff1a;\u652f\u6301\u7f16\u8bd1\u4f18\u5316\u3001\u589e\u91cf\u7f16\u8bd1\u548c\u5e76\u884c\u4eff\u771f&#xff0c;\u63d0\u5347\u5927\u578b\u8bbe\u8ba1\u7684\u4eff\u771f\u901f\u5ea6\u3002<\/li>\n<\/ul>\n<h3>3. \u73af\u5883\u51c6\u5907&#xff1a;\u5b89\u88c5\u4e0e\u914d\u7f6e\u8be6\u89e3<\/h3>\n<p>\u5728\u5f00\u59cb\u4eff\u771f\u4e4b\u524d&#xff0c;\u4f60\u9700\u8981\u5148\u5b8c\u6210 ModelSim \u7684\u5b89\u88c5\u4e0e\u57fa\u7840\u914d\u7f6e\u3002\u4ee5\u4e0b\u662f\u5b8c\u6574\u7684\u64cd\u4f5c\u6b65\u9aa4\u3002<\/p>\n<h4>3.1 \u83b7\u53d6\u5b89\u88c5\u5305<\/h4>\n<p>ModelSim \u7684\u5b98\u65b9\u53d1\u884c\u7248\u672c\u5206\u4e3a ModelSim SE&#xff08;\u5546\u4e1a\u7248&#xff09;\u548c ModelSim Intel FPGA Starter Edition&#xff08;\u514d\u8d39\u7248&#xff0c;\u968f Quartus Prime Lite \u4e00\u8d77\u63d0\u4f9b&#xff09;\u3002\u5bf9\u4e8e\u4e2a\u4eba\u5b66\u4e60\u548c\u4e2d\u5c0f\u89c4\u6a21\u9879\u76ee&#xff0c;\u514d\u8d39\u7248\u5df2\u7ecf\u8db3\u591f\u4f7f\u7528\u3002\u4f60\u53ef\u4ee5\u4ece Intel \u5b98\u7f51\u4e0b\u8f7d Quartus Prime Lite&#xff0c;\u5b89\u88c5\u65f6\u52fe\u9009 ModelSim \u7ec4\u4ef6\u5373\u53ef\u3002<\/p>\n<h4>3.2 \u5b89\u88c5\u6b65\u9aa4<\/h4>\n<li>\u53cc\u51fb\u5b89\u88c5\u5305&#xff0c;\u9009\u62e9\u5b89\u88c5\u76ee\u5f55&#xff08;\u5efa\u8bae\u4f7f\u7528\u9ed8\u8ba4\u8def\u5f84&#xff0c;\u907f\u514d\u4e2d\u6587\u8def\u5f84\u5bfc\u81f4\u7f16\u8bd1\u5f02\u5e38&#xff09;\u3002<\/li>\n<li>\u5728\u7ec4\u4ef6\u9009\u62e9\u754c\u9762\u52fe\u9009 ModelSim \u76f8\u5173\u7ec4\u4ef6&#xff0c;\u5b8c\u6210\u5b89\u88c5\u3002<\/li>\n<li>\u5b89\u88c5\u5b8c\u6210\u540e&#xff0c;\u6253\u5f00 ModelSim \u8f6f\u4ef6&#xff0c;\u786e\u8ba4\u4e3b\u754c\u9762\u6b63\u5e38\u542f\u52a8\u3002<\/li>\n<h4>3.3 \u73af\u5883\u53d8\u91cf\u914d\u7f6e<\/h4>\n<p>\u4e3a\u4e86\u65b9\u4fbf\u5728\u547d\u4ee4\u884c\u4e2d\u8c03\u7528 ModelSim \u547d\u4ee4&#xff0c;\u5efa\u8bae\u5c06 ModelSim \u7684 bin \u76ee\u5f55\u6dfb\u52a0\u5230\u7cfb\u7edf PATH \u73af\u5883\u53d8\u91cf\u4e2d\u3002\u4ee5 Windows \u7cfb\u7edf\u4e3a\u4f8b&#xff1a;<\/p>\n<li>\u53f3\u952e\u300c\u6b64\u7535\u8111\u300d\u2192\u300c\u5c5e\u6027\u300d\u2192\u300c\u9ad8\u7ea7\u7cfb\u7edf\u8bbe\u7f6e\u300d\u2192\u300c\u73af\u5883\u53d8\u91cf\u300d\u3002<\/li>\n<li>\u5728\u300c\u7cfb\u7edf\u53d8\u91cf\u300d\u4e2d\u627e\u5230 Path&#xff0c;\u70b9\u51fb\u7f16\u8f91&#xff0c;\u65b0\u589e ModelSim \u7684 bin \u76ee\u5f55\u8def\u5f84&#xff08;\u4f8b\u5982 C:\\\\intelFPGA_lite\\\\20.1\\\\modelsim_ase\\\\win32aloem&#xff09;\u3002<\/li>\n<li>\u4fdd\u5b58\u540e\u91cd\u65b0\u6253\u5f00\u547d\u4ee4\u884c&#xff0c;\u8f93\u5165 vsim \u547d\u4ee4\u9a8c\u8bc1\u662f\u5426\u751f\u6548\u3002<\/li>\n<h3>4. \u7b2c\u4e00\u4e2a\u4eff\u771f\u5de5\u7a0b&#xff1a;\u4ece\u521b\u5efa\u5230\u8fd0\u884c<\/h3>\n<p>\u4e0b\u9762\u6211\u4eec\u901a\u8fc7\u4e00\u4e2a\u6700\u7b80\u5355\u7684\u8ba1\u6570\u5668\u793a\u4f8b&#xff0c;\u5b8c\u6574\u8d70\u4e00\u904d ModelSim \u7684\u4eff\u771f\u6d41\u7a0b\u3002\u8fd9\u4e2a\u793a\u4f8b\u867d\u7136\u7b80\u5355&#xff0c;\u4f46\u6db5\u76d6\u4e86\u5de5\u7a0b\u521b\u5efa\u3001\u7f16\u8bd1\u3001\u4eff\u771f\u3001\u6ce2\u5f62\u67e5\u770b\u7684\u5168\u90e8\u6838\u5fc3\u6b65\u9aa4\u3002<\/p>\n<\/p>\n<h4>4.1 \u521b\u5efa\u5de5\u7a0b\u76ee\u5f55\u4e0e\u6e90\u6587\u4ef6<\/h4>\n<\/p>\n<p>\u9996\u5148\u5728\u672c\u5730\u78c1\u76d8\u65b0\u5efa\u4e00\u4e2a\u6587\u4ef6\u5939&#xff0c;\u4f8b\u5982 counter_demo&#xff0c;\u5e76\u5728\u5176\u4e2d\u521b\u5efa\u4e24\u4e2a\u6587\u4ef6&#xff1a;counter.v&#xff08;\u8bbe\u8ba1\u6587\u4ef6&#xff09;\u548c counter_tb.v&#xff08;\u6d4b\u8bd5\u6587\u4ef6&#xff09;\u3002<\/p>\n<p>counter.v \u7684\u4ee3\u7801\u5982\u4e0b&#xff1a;<\/p>\n<p>module counter (<br \/>\n    input wire clk,<br \/>\n    input wire rst_n,<br \/>\n    output reg [3:0] count<br \/>\n);<br \/>\n    always &#064;(posedge clk or negedge rst_n) begin<br \/>\n        if (!rst_n)<br \/>\n            count &lt;&#061; 4&#039;b0000;<br \/>\n        else<br \/>\n            count &lt;&#061; count &#043; 1&#039;b1;<br \/>\n    end<br \/>\nendmodule <\/p>\n<p>counter_tb.v \u7684\u6d4b\u8bd5\u4ee3\u7801\u5982\u4e0b&#xff1a;<\/p>\n<p>&#096;timescale 1ns \/ 1ps<br \/>\nmodule counter_tb;<br \/>\nreg clk;<br \/>\nreg rst_n;<br \/>\nwire [3:0] count;<br \/>\ncounter uut (<br \/>\n    .clk(clk),<br \/>\n    .rst_n(rst_n),<br \/>\n    .count(count)<br \/>\n);<br \/>\ninitial begin<br \/>\nclk &#061; 0;<br \/>\nrst_n &#061; 0;<br \/>\n#100;<br \/>\nrst_n &#061; 1;<br \/>\n#500;<br \/>\n$finish;<br \/>\nend<br \/>\nalways #10 clk &#061; ~clk;<br \/>\nendmodule <\/p>\n<h4>4.2 \u5728 ModelSim \u4e2d\u521b\u5efa\u5de5\u7a0b<\/h4>\n<li>\u6253\u5f00 ModelSim&#xff0c;\u9009\u62e9\u83dc\u5355 File \u2192 New \u2192 Project\u3002<\/li>\n<li>\u5728 Project Name \u4e2d\u8f93\u5165 counter_demo&#xff0c;\u9009\u62e9\u5de5\u7a0b\u4fdd\u5b58\u8def\u5f84&#xff0c;\u70b9\u51fb OK\u3002<\/li>\n<li>\u5728\u5f39\u51fa\u7684 Add Items to the Project \u5bf9\u8bdd\u6846\u4e2d&#xff0c;\u70b9\u51fb Add Existing File&#xff0c;\u5c06 counter.v \u548c counter_tb.v \u6dfb\u52a0\u5230\u5de5\u7a0b\u4e2d\u3002<\/li>\n<h4>4.3 \u7f16\u8bd1\u8bbe\u8ba1\u6587\u4ef6<\/h4>\n<li>\u5728 ModelSim \u4e3b\u754c\u9762\u7684 Project \u7a97\u53e3\u4e2d&#xff0c;\u53f3\u952e\u70b9\u51fb counter.v&#xff0c;\u9009\u62e9 Compile\u3002<\/li>\n<li>\u540c\u6837\u53f3\u952e\u70b9\u51fb counter_tb.v&#xff0c;\u9009\u62e9 Compile\u3002<\/li>\n<li>\u89c2\u5bdf Transcript \u7a97\u53e3&#xff0c;\u786e\u8ba4\u7f16\u8bd1\u65e0\u9519\u8bef\u3001\u65e0\u8b66\u544a\u3002<\/li>\n<h4>4.4 \u542f\u52a8\u4eff\u771f<\/h4>\n<li>\u5728 Library \u7a97\u53e3\u4e2d\u627e\u5230 work \u5e93&#xff0c;\u5c55\u5f00\u540e\u53ef\u4ee5\u770b\u5230\u7f16\u8bd1\u751f\u6210\u7684\u6a21\u5757\u3002<\/li>\n<li>\u53f3\u952e\u70b9\u51fb counter_tb&#xff0c;\u9009\u62e9 Simulate\u3002<\/li>\n<li>\u4eff\u771f\u542f\u52a8\u540e&#xff0c;ModelSim \u4f1a\u81ea\u52a8\u8fdb\u5165\u4eff\u771f\u754c\u9762&#xff0c;\u6b64\u65f6\u53ef\u4ee5\u5728 Objects \u7a97\u53e3\u4e2d\u770b\u5230\u6240\u6709\u4fe1\u53f7\u3002<\/li>\n<h4>4.5 \u6dfb\u52a0\u6ce2\u5f62\u5e76\u8fd0\u884c<\/h4>\n<li>\u5728 Objects \u7a97\u53e3\u4e2d&#xff0c;\u5168\u9009\u6240\u6709\u4fe1\u53f7&#xff08;Ctrl&#043;A&#xff09;&#xff0c;\u53f3\u952e\u9009\u62e9 Add Wave\u3002<\/li>\n<li>\u5728 Wave \u7a97\u53e3\u4e2d\u53ef\u4ee5\u770b\u5230\u4fe1\u53f7\u6ce2\u5f62\u5df2\u6dfb\u52a0\u3002<\/li>\n<li>\u5728\u547d\u4ee4\u884c&#xff08;Transcript \u7a97\u53e3\u5e95\u90e8&#xff09;\u8f93\u5165 run 1us&#xff0c;\u56de\u8f66\u6267\u884c\u4eff\u771f\u3002<\/li>\n<li>\u89c2\u5bdf Wave \u7a97\u53e3\u4e2d\u7684\u6ce2\u5f62\u53d8\u5316&#xff0c;\u53ef\u4ee5\u770b\u5230 count \u4fe1\u53f7\u4ece 0 \u5f00\u59cb\u9012\u589e&#xff0c;\u9a8c\u8bc1\u8ba1\u6570\u5668\u529f\u80fd\u6b63\u786e\u3002<\/li>\n<p>\u8fd0\u884c\u4eff\u771f\u540e&#xff0c;Wave \u7a97\u53e3\u4e2d\u7684\u6ce2\u5f62\u5927\u81f4\u5982\u4e0b\u56fe\u6240\u793a&#xff08;\u6b64\u5904\u4ee5\u6587\u5b57\u63cf\u8ff0\u66ff\u4ee3\u5b9e\u9645\u622a\u56fe&#xff09;&#xff1a;<\/p>\n<p><img decoding=\"async\" alt=\"ModelSim \u4eff\u771f\u6ce2\u5f62\uff1aclk\u3001rst_n\u3001count \u4fe1\u53f7\u53d8\u5316\" src=\"https:\/\/img-blog.csdnimg.cn\/placeholder_modelsim_wave_counter.png\" \/><\/p>\n<p>\u4e0b\u9762\u7ed3\u5408\u4e0a\u56fe&#xff0c;\u9010\u4e00\u5bf9 clk\u3001rst_n\u3001count \u4e09\u4e2a\u4fe1\u53f7\u7684\u53d8\u5316\u89c4\u5f8b\u8fdb\u884c\u8bf4\u660e&#xff1a;<\/p>\n<ul>\n<li>clk&#xff08;\u65f6\u949f\u4fe1\u53f7&#xff09;&#xff1a;\u7531\u6d4b\u8bd5\u6587\u4ef6\u4e2d\u7684 always #10 clk &#061; ~clk; \u8bed\u53e5\u9a71\u52a8&#xff0c;\u5468\u671f\u4e3a 20ns&#xff0c;\u5360\u7a7a\u6bd4 50%\u3002\u6ce2\u5f62\u4e0a\u8868\u73b0\u4e3a\u9ad8\u4f4e\u7535\u5e73\u4ea4\u66ff\u7684\u65b9\u6ce2&#xff0c;\u6bcf\u4e2a\u4e0a\u5347\u6cbf\u89e6\u53d1\u8ba1\u6570\u5668\u9012\u589e\u4e00\u6b21\u3002<\/li>\n<li>rst_n&#xff08;\u5f02\u6b65\u590d\u4f4d\u4fe1\u53f7&#xff09;&#xff1a;\u4eff\u771f\u5f00\u59cb\u540e\u7684\u524d 100ns \u5185\u4fdd\u6301\u4f4e\u7535\u5e73&#xff08;\u590d\u4f4d\u6709\u6548&#xff09;&#xff0c;\u6b64\u65f6 count \u88ab\u6e05\u96f6\u4e3a 0\u3002\u7b2c 100ns \u65f6 rst_n \u62c9\u9ad8&#xff0c;\u590d\u4f4d\u91ca\u653e&#xff0c;\u8ba1\u6570\u5668\u5f00\u59cb\u6b63\u5e38\u5de5\u4f5c\u3002<\/li>\n<li>count&#xff08;\u8ba1\u6570\u8f93\u51fa&#xff09;&#xff1a;\u5728 rst_n \u4e3a\u4f4e\u7535\u5e73\u671f\u95f4\u4fdd\u6301 4&#039;b0000&#xff1b;rst_n \u62c9\u9ad8\u540e&#xff0c;\u6bcf\u4e2a clk \u4e0a\u5347\u6cbf count \u52a0 1&#xff0c;\u4f9d\u6b21\u53d8\u4e3a 1\u30012\u30013\u2026\u2026\u76f4\u5230\u4eff\u771f\u7ed3\u675f\u3002\u7531\u4e8e\u4eff\u771f\u8fd0\u884c 1us&#xff0c;\u800c clk \u5468\u671f\u4e3a 20ns&#xff0c;\u5171\u4ea7\u751f 50 \u4e2a\u65f6\u949f\u4e0a\u5347\u6cbf&#xff0c;count \u4f1a\u4ece 0 \u9012\u589e\u5230 15 \u540e\u5faa\u73af\u56de 0&#xff0c;\u518d\u7ee7\u7eed\u9012\u589e\u3002<\/li>\n<\/ul>\n<p>\u901a\u8fc7\u89c2\u5bdf\u8fd9\u6bb5\u6ce2\u5f62&#xff0c;\u53ef\u4ee5\u76f4\u89c2\u9a8c\u8bc1\u8ba1\u6570\u5668\u7684\u4e24\u4e2a\u6838\u5fc3\u529f\u80fd&#xff1a;\u4e00\u662f\u590d\u4f4d\u4fe1\u53f7\u6709\u6548\u65f6\u8f93\u51fa\u88ab\u6e05\u96f6&#xff0c;\u4e8c\u662f\u590d\u4f4d\u91ca\u653e\u540e\u6bcf\u4e2a\u65f6\u949f\u4e0a\u5347\u6cbf\u8ba1\u6570\u9012\u589e\u3002\u8fd9\u6b63\u662f 4.1 \u8282\u4e2d counter.v \u8bbe\u8ba1\u4ee3\u7801\u6240\u63cf\u8ff0\u7684\u884c\u4e3a&#xff0c;\u6ce2\u5f62\u4e0e\u4ee3\u7801\u903b\u8f91\u5b8c\u5168\u543b\u5408\u3002<\/p>\n<h4>4.6 \u5b9e\u6218\u4f8b\u7a0b&#xff1a;\u5e26\u4f7f\u80fd\u7684\u53ef\u9006\u8ba1\u6570\u5668<\/h4>\n<p>\u4e3a\u4e86\u8fdb\u4e00\u6b65\u5de9\u56fa ModelSim \u7684\u4f7f\u7528\u6d41\u7a0b&#xff0c;\u4e0b\u9762\u518d\u7ed9\u51fa\u4e00\u4e2a\u5e26\u4f7f\u80fd\u63a7\u5236\u7684\u53ef\u9006\u8ba1\u6570\u5668\u4f8b\u7a0b\u3002\u8be5\u4f8b\u7a0b\u5728\u539f\u6709\u8ba1\u6570\u5668\u57fa\u7840\u4e0a\u589e\u52a0\u4e86\u65b9\u5411\u63a7\u5236\u4fe1\u53f7 up_down \u548c\u4f7f\u80fd\u4fe1\u53f7 en&#xff0c;\u5f53 en \u4e3a\u9ad8\u7535\u5e73\u65f6&#xff0c;\u8ba1\u6570\u5668\u6839\u636e up_down \u7684\u503c\u9012\u589e\u6216\u9012\u51cf\u3002<\/p>\n<p>counter_updown.v \u7684\u8bbe\u8ba1\u4ee3\u7801\u5982\u4e0b&#xff1a;<\/p>\n<p>module counter_updown (<br \/>\n    input wire clk,<br \/>\n    input wire rst_n,<br \/>\n    input wire en,<br \/>\n    input wire up_down,<br \/>\n    output reg [3:0] count<br \/>\n);<br \/>\n    always &#064;(posedge clk or negedge rst_n) begin<br \/>\n        if (!rst_n)<br \/>\n            count &lt;&#061; 4&#039;b0000;<br \/>\n        else if (en) begin<br \/>\n            if (up_down)<br \/>\n                count &lt;&#061; count &#043; 1&#039;b1;<br \/>\n            else<br \/>\n                count &lt;&#061; count &#8211; 1&#039;b1;<br \/>\n        end<br \/>\n    end<br \/>\nendmodule <\/p>\n<p>counter_updown_tb.v \u7684\u6d4b\u8bd5\u4ee3\u7801\u5982\u4e0b&#xff1a;<\/p>\n<p>&#096;timescale 1ns \/ 1ps<br \/>\nmodule counter_updown_tb;<br \/>\nreg clk;<br \/>\nreg rst_n;<br \/>\nreg en;<br \/>\nreg up_down;<br \/>\nwire [3:0] count;<br \/>\ncounter_updown uut (<br \/>\n.clk(clk),<br \/>\n.rst_n(rst_n),<br \/>\n.en(en),<br \/>\n.up_down(up_down),<br \/>\n.count(count)<br \/>\n);<br \/>\ninitial begin<br \/>\nclk &#061; 0;<br \/>\nrst_n &#061; 0;<br \/>\nen &#061; 0;<br \/>\nup_down &#061; 1;<br \/>\n#100;<br \/>\nrst_n &#061; 1;<br \/>\n#20;<br \/>\nen &#061; 1;<br \/>\n#200;<br \/>\nup_down &#061; 0;<br \/>\n#200;<br \/>\n$finish;<br \/>\nend<br \/>\nalways #10 clk &#061; ~clk;<br \/>\nendmodule <\/p>\n<p>\u4eff\u771f\u6b65\u9aa4\u4e0e 4.2 \u81f3 4.5 \u5b8c\u5168\u4e00\u81f4&#xff1a;\u521b\u5efa\u5de5\u7a0b\u3001\u6dfb\u52a0\u4e0a\u8ff0\u4e24\u4e2a\u6587\u4ef6\u3001\u7f16\u8bd1\u3001\u542f\u52a8\u4eff\u771f\u3001\u6dfb\u52a0\u6ce2\u5f62\u5e76\u8fd0\u884c\u3002\u8fd0\u884c\u540e\u53ef\u4ee5\u89c2\u5bdf\u5230 count \u4fe1\u53f7\u5148\u9012\u589e\u5230 4&#xff0c;\u518d\u9012\u51cf\u56de 0&#xff0c;\u4ece\u800c\u9a8c\u8bc1\u53ef\u9006\u8ba1\u6570\u529f\u80fd\u6b63\u786e\u3002<\/p>\n<h4>4.7 \u4e24\u79cd\u8ba1\u6570\u5668\u4f8b\u7a0b\u5bf9\u6bd4<\/h4>\n<p>\u4e0b\u8868\u5bf9\u6bd4\u4e86\u57fa\u7840\u8ba1\u6570\u5668\u4e0e\u53ef\u9006\u8ba1\u6570\u5668\u4e24\u4e2a\u4f8b\u7a0b\u5728\u8bbe\u8ba1\u8981\u70b9\u3001\u6d4b\u8bd5\u6fc0\u52b1\u548c\u4eff\u771f\u89c2\u5bdf\u70b9\u4e0a\u7684\u5dee\u5f02&#xff0c;\u5e2e\u52a9\u4f60\u7406\u89e3\u4e0d\u540c\u573a\u666f\u4e0b\u5982\u4f55\u9009\u62e9\u4e0e\u6269\u5c55\u3002<\/p>\n<table>\n<tr>\u5bf9\u6bd4\u7ef4\u5ea6\u57fa\u7840\u8ba1\u6570\u5668&#xff08;counter&#xff09;\u53ef\u9006\u8ba1\u6570\u5668&#xff08;counter_updown&#xff09;<\/tr>\n<tbody>\n<tr>\n<td>\u529f\u80fd\u63cf\u8ff0<\/td>\n<td>\u6bcf\u4e2a\u65f6\u949f\u4e0a\u5347\u6cbf\u9012\u589e 1&#xff0c;\u590d\u4f4d\u540e\u6e05\u96f6\u3002<\/td>\n<td>\u4f7f\u80fd\u6709\u6548\u65f6&#xff0c;\u6839\u636e up_down \u4fe1\u53f7\u9012\u589e\u6216\u9012\u51cf\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u63a7\u5236\u4fe1\u53f7<\/td>\n<td>\u4ec5 clk \u548c rst_n\u3002<\/td>\n<td>\u989d\u5916\u589e\u52a0 en \u4f7f\u80fd\u4fe1\u53f7\u548c up_down \u65b9\u5411\u4fe1\u53f7\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u6d4b\u8bd5\u6fc0\u52b1\u91cd\u70b9<\/td>\n<td>\u9a8c\u8bc1\u590d\u4f4d\u6e05\u96f6\u548c\u8fde\u7eed\u9012\u589e\u884c\u4e3a\u3002<\/td>\n<td>\u9a8c\u8bc1\u4f7f\u80fd\u5173\u95ed\u65f6\u4fdd\u6301\u3001\u9012\u589e\u4e0e\u9012\u51cf\u5207\u6362\u884c\u4e3a\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u6ce2\u5f62\u89c2\u5bdf\u8981\u70b9<\/td>\n<td>\u89c2\u5bdf count \u4ece 0 \u5230 15 \u5faa\u73af\u9012\u589e\u3002<\/td>\n<td>\u89c2\u5bdf en \u4e3a\u9ad8\u65f6 count \u9012\u589e&#xff0c;up_down \u62c9\u4f4e\u540e count \u9012\u51cf\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u9002\u7528\u573a\u666f<\/td>\n<td>\u5206\u9891\u3001\u5b9a\u65f6\u3001\u7b80\u5355\u8ba1\u6570\u3002<\/td>\n<td>\u52a0\u51cf\u6cd5\u8fd0\u7b97\u3001\u65b9\u5411\u63a7\u5236\u3001\u53ef\u9006\u8ba1\u6570\u5e94\u7528\u3002<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>5. \u6df1\u5165\u7406\u89e3 ModelSim \u7684\u4eff\u771f\u6d41\u7a0b<\/h3>\n<p>\u4e0a\u9762\u7684\u793a\u4f8b\u867d\u7136\u7b80\u5355&#xff0c;\u4f46\u80cc\u540e\u6d89\u53ca ModelSim \u7684\u6838\u5fc3\u5de5\u4f5c\u6d41\u7a0b\u3002\u7406\u89e3\u8fd9\u4e9b\u5e95\u5c42\u673a\u5236&#xff0c;\u80fd\u5e2e\u52a9\u4f60\u5728\u9762\u5bf9\u590d\u6742\u8bbe\u8ba1\u65f6\u66f4\u52a0\u4ece\u5bb9\u3002<\/p>\n<h4>5.1 \u7f16\u8bd1&#xff08;Compile&#xff09;\u9636\u6bb5<\/h4>\n<p>\u7f16\u8bd1\u9636\u6bb5\u5c06 HDL \u6e90\u4ee3\u7801\u8f6c\u6362\u4e3a\u4eff\u771f\u5668\u53ef\u8bc6\u522b\u7684\u4e2d\u95f4\u8868\u793a\u3002ModelSim \u7684\u7f16\u8bd1\u5668\u4f1a\u68c0\u67e5\u8bed\u6cd5\u9519\u8bef\u3001\u7c7b\u578b\u9519\u8bef\u548c\u6a21\u5757\u5f15\u7528\u5173\u7cfb\u3002\u7f16\u8bd1\u4ea7\u7269\u5b58\u653e\u5728\u5e93&#xff08;Library&#xff09;\u4e2d&#xff0c;\u9ed8\u8ba4\u5e93\u540d\u4e3a work\u3002<\/p>\n<h4>5.2 \u4eff\u771f&#xff08;Simulate&#xff09;\u9636\u6bb5<\/h4>\n<p>\u4eff\u771f\u9636\u6bb5\u7531\u4eff\u771f\u5185\u6838\u6267\u884c\u7f16\u8bd1\u540e\u7684\u8bbe\u8ba1\u3002\u4eff\u771f\u5668\u6309\u7167\u65f6\u95f4\u8f74\u63a8\u8fdb&#xff0c;\u5728\u6bcf\u4e2a\u65f6\u95f4\u70b9\u8ba1\u7b97\u4fe1\u53f7\u503c\u7684\u53d8\u5316&#xff0c;\u5e76\u89e6\u53d1\u76f8\u5e94\u7684 always \u5757\u6216 process \u8bed\u53e5\u3002\u4eff\u771f\u65f6\u95f4\u7531 timescale \u6307\u4ee4\u63a7\u5236&#xff0c;\u4f8b\u5982 &#096;timescale 1ns \/ 1ps \u8868\u793a\u65f6\u95f4\u5355\u4f4d 1ns&#xff0c;\u7cbe\u5ea6 1ps\u3002<\/p>\n<h4>5.3 \u6ce2\u5f62\u67e5\u770b\u4e0e\u8c03\u8bd5<\/h4>\n<p>Wave \u7a97\u53e3\u662f ModelSim \u6700\u5e38\u7528\u7684\u8c03\u8bd5\u754c\u9762\u3002\u4f60\u53ef\u4ee5\u901a\u8fc7\u4ee5\u4e0b\u64cd\u4f5c\u63d0\u5347\u8c03\u8bd5\u6548\u7387&#xff1a;<\/p>\n<ul>\n<li>\u7f29\u653e\u6ce2\u5f62&#xff1a;\u4f7f\u7528\u5de5\u5177\u680f\u7684\u653e\u5927\/\u7f29\u5c0f\u6309\u94ae&#xff0c;\u6216\u6309\u4f4f Ctrl \u952e\u6eda\u52a8\u9f20\u6807\u6eda\u8f6e\u3002<\/li>\n<li>\u6dfb\u52a0\u5149\u6807&#xff1a;\u5728\u6ce2\u5f62\u4e0a\u70b9\u51fb\u5373\u53ef\u6dfb\u52a0\u5149\u6807&#xff0c;\u7528\u4e8e\u6d4b\u91cf\u4fe1\u53f7\u53d8\u5316\u7684\u65f6\u95f4\u70b9\u3002<\/li>\n<li>\u4fe1\u53f7\u5206\u7ec4&#xff1a;\u5c06\u76f8\u5173\u4fe1\u53f7\u62d6\u5165\u540c\u4e00\u4e2a Group&#xff0c;\u4fbf\u4e8e\u89c2\u5bdf\u603b\u7ebf\u4fe1\u53f7\u3002<\/li>\n<li>\u4fdd\u5b58\u6ce2\u5f62\u914d\u7f6e&#xff1a;\u901a\u8fc7 File \u2192 Save Format \u4fdd\u5b58\u5f53\u524d\u6ce2\u5f62\u7a97\u53e3\u914d\u7f6e&#xff0c;\u4e0b\u6b21\u4eff\u771f\u53ef\u76f4\u63a5\u52a0\u8f7d\u3002<\/li>\n<\/ul>\n<h3>6. \u4f7f\u7528 Tcl \u811a\u672c\u5b9e\u73b0\u81ea\u52a8\u5316\u4eff\u771f<\/h3>\n<p>\u5bf9\u4e8e\u9700\u8981\u53cd\u590d\u6267\u884c\u7684\u4eff\u771f\u4efb\u52a1&#xff0c;\u624b\u52a8\u70b9\u51fb\u64cd\u4f5c\u6548\u7387\u592a\u4f4e\u3002ModelSim \u63d0\u4f9b\u4e86\u5f3a\u5927\u7684 Tcl \u811a\u672c\u63a5\u53e3&#xff0c;\u53ef\u4ee5\u5c06\u7f16\u8bd1\u3001\u4eff\u771f\u3001\u6ce2\u5f62\u8f93\u51fa\u7b49\u6b65\u9aa4\u56fa\u5316\u4e3a\u811a\u672c&#xff0c;\u5b9e\u73b0\u4e00\u952e\u6267\u884c\u3002<\/p>\n<p>\u4e0b\u9762\u662f\u4e00\u4e2a\u5b8c\u6574\u7684\u81ea\u52a8\u5316\u4eff\u771f\u811a\u672c\u793a\u4f8b&#xff08;sim.do \u6587\u4ef6&#xff09;&#xff1a;<\/p>\n<p># \u6e05\u7406\u65e7\u5de5\u7a0b&#xff1a;\u9000\u51fa\u5f53\u524d\u4eff\u771f\u4f1a\u8bdd<br \/>\n# \u4f5c\u7528&#xff1a;\u7ed3\u675f\u4e0a\u4e00\u6b21\u4eff\u771f\u8fdb\u7a0b&#xff0c;\u91ca\u653e\u5185\u5b58\u548c\u6587\u4ef6\u53e5\u67c4&#xff0c;\u907f\u514d\u6b8b\u7559\u8fdb\u7a0b\u5e72\u6270\u672c\u6b21\u4eff\u771f\u3002<br \/>\n# \u6ce8\u610f&#xff1a;\u5982\u679c\u5f53\u524d\u6ca1\u6709\u6b63\u5728\u8fd0\u884c\u7684\u4eff\u771f&#xff0c;\u8be5\u547d\u4ee4\u4f1a\u63d0\u793a\u9519\u8bef&#xff0c;\u4f46\u4e0d\u4f1a\u5f71\u54cd\u540e\u7eed\u6267\u884c\u3002<br \/>\nquit -sim<br \/>\n# \u68c0\u67e5 work \u5e93\u76ee\u5f55\u662f\u5426\u5b58\u5728<br \/>\n# \u4f5c\u7528&#xff1a;\u5224\u65ad\u5f53\u524d\u76ee\u5f55\u4e0b\u662f\u5426\u5df2\u6709 work \u5de5\u4f5c\u5e93&#xff08;ModelSim \u7f16\u8bd1\u4ea7\u7269\u7684\u5b58\u653e\u76ee\u5f55&#xff09;\u3002<br \/>\n# \u8bed\u6cd5&#xff1a;if {[file exists work]} \u662f Tcl \u7684\u6761\u4ef6\u5224\u65ad\u8bed\u53e5&#xff0c;[file exists work] \u8fd4\u56de 1&#xff08;\u5b58\u5728&#xff09;\u6216 0&#xff08;\u4e0d\u5b58\u5728&#xff09;\u3002<br \/>\nif {[file exists work]} {<br \/>\n# \u5220\u9664 work \u5e93\u4e2d\u7684\u6240\u6709\u7f16\u8bd1\u4ea7\u7269&#xff0c;\u786e\u4fdd\u5e72\u51c0\u73af\u5883<br \/>\n# \u4f5c\u7528&#xff1a;\u5f7b\u5e95\u6e05\u7a7a work \u5e93\u4e2d\u7684\u65e7\u7f16\u8bd1\u7ed3\u679c&#xff0c;\u9632\u6b62\u65e7\u7248\u672c\u6a21\u5757\u6b8b\u7559\u5bfc\u81f4\u4eff\u771f\u7ed3\u679c\u5f02\u5e38\u3002<br \/>\n# \u6ce8\u610f&#xff1a;vdel -all \u4f1a\u5220\u9664 work \u5e93\u5185\u6240\u6709\u5df2\u7f16\u8bd1\u7684\u8bbe\u8ba1\u5355\u5143&#xff0c;\u6267\u884c\u540e\u9700\u8981\u91cd\u65b0\u7f16\u8bd1\u5168\u90e8\u6e90\u6587\u4ef6\u3002<br \/>\nvdel -all<br \/>\n}<br \/>\n# \u521b\u5efa\u5e93\u5e76\u7f16\u8bd1&#xff1a;vlib \u521b\u5efa\u540d\u4e3a work \u7684\u5de5\u4f5c\u5e93<br \/>\n# \u4f5c\u7528&#xff1a;\u65b0\u5efa\u4e00\u4e2a\u540d\u4e3a work \u7684\u5e93\u76ee\u5f55&#xff0c;\u7528\u4e8e\u5b58\u653e\u540e\u7eed\u7f16\u8bd1\u751f\u6210\u7684\u4e2d\u95f4\u6587\u4ef6\u3002<br \/>\n# \u8bf4\u660e&#xff1a;\u5982\u679c work \u5e93\u5df2\u5b58\u5728&#xff0c;vlib \u4f1a\u62a5\u9519&#xff0c;\u56e0\u6b64\u901a\u5e38\u914d\u5408\u4e0a\u9762\u7684\u5220\u9664\u903b\u8f91\u4e00\u8d77\u4f7f\u7528\u3002<br \/>\nvlib work<br \/>\n# vlog \u7f16\u8bd1 Verilog \u6e90\u6587\u4ef6 counter.v \u548c\u6d4b\u8bd5\u6587\u4ef6 counter_tb.v<br \/>\n# \u4f5c\u7528&#xff1a;\u5c06 Verilog \u8bbe\u8ba1\u6587\u4ef6&#xff08;counter.v&#xff09;\u548c\u6d4b\u8bd5\u6587\u4ef6&#xff08;counter_tb.v&#xff09;\u7f16\u8bd1\u8fdb work \u5e93\u3002<br \/>\n# \u8bf4\u660e&#xff1a;\u7f16\u8bd1\u987a\u5e8f\u5f88\u91cd\u8981\u2014\u2014\u5fc5\u987b\u5148\u7f16\u8bd1\u8bbe\u8ba1\u6a21\u5757&#xff08;counter.v&#xff09;&#xff0c;\u518d\u7f16\u8bd1\u6d4b\u8bd5\u6a21\u5757&#xff08;counter_tb.v&#xff09;&#xff0c;<br \/>\n# \u56e0\u4e3a\u6d4b\u8bd5\u6587\u4ef6\u4e2d\u7684\u5b9e\u4f8b\u5316\u9700\u8981\u5f15\u7528\u8bbe\u8ba1\u6a21\u5757\u3002\u82e5\u6587\u4ef6\u8f83\u591a&#xff0c;\u53ef\u9010\u4e2a\u5217\u51fa\u6216\u7528\u901a\u914d\u7b26\u3002<br \/>\nvlog counter.v counter_tb.v<br \/>\n# \u542f\u52a8\u4eff\u771f&#xff1a;vsim \u52a0\u8f7d work \u5e93\u4e2d\u7684 counter_tb \u6d4b\u8bd5\u6a21\u5757&#xff0c;-voptargs&#061;&#043;acc \u4fdd\u7559\u4fe1\u53f7\u8bbf\u95ee\u6743\u9650<br \/>\n# \u4f5c\u7528&#xff1a;\u542f\u52a8\u4eff\u771f\u5668&#xff0c;\u52a0\u8f7d work \u5e93\u4e2d\u7f16\u8bd1\u597d\u7684 counter_tb \u6d4b\u8bd5\u6a21\u5757&#xff08;\u9876\u5c42\u6a21\u5757&#xff09;\u3002<br \/>\n# \u53c2\u6570\u8bf4\u660e&#xff1a;<br \/>\n# -voptargs&#061;&#043;acc&#xff1a;\u5173\u95ed\u4f18\u5316\u5bf9\u4fe1\u53f7\u8bbf\u95ee\u7684\u9650\u5236&#xff0c;\u5141\u8bb8\u5728\u4eff\u771f\u8fc7\u7a0b\u4e2d\u8bfb\u53d6\/\u5199\u5165\u6240\u6709\u5185\u90e8\u4fe1\u53f7&#xff0c;<br \/>\n# \u4fbf\u4e8e\u540e\u7eed add wave \u6dfb\u52a0\u6ce2\u5f62\u548c\u8c03\u8bd5\u3002\u82e5\u7701\u7565\u8be5\u53c2\u6570&#xff0c;\u90e8\u5206\u5185\u90e8\u4fe1\u53f7\u53ef\u80fd\u65e0\u6cd5\u8bbf\u95ee\u3002<br \/>\n# work.counter_tb&#xff1a;\u6307\u5b9a\u8981\u4eff\u771f\u7684\u9876\u5c42\u6a21\u5757&#xff0c;\u683c\u5f0f\u4e3a &#034;\u5e93\u540d.\u6a21\u5757\u540d&#034;\u3002<br \/>\nvsim -voptargs&#061;&#043;acc work.counter_tb<br \/>\n# \u6dfb\u52a0\u6ce2\u5f62&#xff1a;add wave \u5c06 clk \u4fe1\u53f7\u4ee5\u5341\u516d\u8fdb\u5236\u683c\u5f0f\u6dfb\u52a0\u5230\u6ce2\u5f62\u7a97\u53e3<br \/>\n# \u4f5c\u7528&#xff1a;\u628a\u9876\u5c42\u6a21\u5757\u4e2d\u7684 clk \u65f6\u949f\u4fe1\u53f7\u6dfb\u52a0\u5230 Wave \u6ce2\u5f62\u7a97\u53e3&#xff0c;\u4fbf\u4e8e\u89c2\u5bdf\u5176\u7535\u5e73\u53d8\u5316\u3002<br \/>\n# \u53c2\u6570\u8bf4\u660e&#xff1a;<br \/>\n# -hex&#xff1a;\u4ee5\u5341\u516d\u8fdb\u5236\u683c\u5f0f\u663e\u793a\u4fe1\u53f7\u503c&#xff08;\u5bf9\u5355 bit \u4fe1\u53f7\u5f71\u54cd\u4e0d\u5927&#xff0c;\u4f46\u5bf9\u591a bit \u603b\u7ebf\u4fe1\u53f7\u5f88\u6709\u7528&#xff09;\u3002<br \/>\n# \/counter_tb\/clk&#xff1a;\u4fe1\u53f7\u8def\u5f84&#xff0c;\u683c\u5f0f\u4e3a &#034;\/\u9876\u5c42\u6a21\u5757\/\u4fe1\u53f7\u540d&#034;&#xff0c;\u5fc5\u987b\u4ee5 \/ \u5f00\u5934\u3002<br \/>\nadd wave -hex \/counter_tb\/clk<br \/>\n# \u6dfb\u52a0\u6ce2\u5f62&#xff1a;\u5c06 rst_n \u590d\u4f4d\u4fe1\u53f7\u4ee5\u5341\u516d\u8fdb\u5236\u683c\u5f0f\u6dfb\u52a0\u5230\u6ce2\u5f62\u7a97\u53e3<br \/>\n# \u4f5c\u7528&#xff1a;\u628a\u5f02\u6b65\u590d\u4f4d\u4fe1\u53f7 rst_n \u6dfb\u52a0\u5230\u6ce2\u5f62\u7a97\u53e3&#xff0c;\u7528\u4e8e\u89c2\u5bdf\u590d\u4f4d\u65f6\u5e8f\u662f\u5426\u6b63\u786e\u3002<br \/>\n# \u8bf4\u660e&#xff1a;rst_n \u662f\u4f4e\u7535\u5e73\u6709\u6548\u7684\u590d\u4f4d\u4fe1\u53f7&#xff0c;\u6ce2\u5f62\u4e2d\u4f4e\u7535\u5e73\u6bb5\u8868\u793a\u590d\u4f4d\u6709\u6548\u3002<br \/>\nadd wave -hex \/counter_tb\/rst_n<br \/>\n# \u6dfb\u52a0\u6ce2\u5f62&#xff1a;\u5c06 count \u8ba1\u6570\u8f93\u51fa\u4fe1\u53f7\u4ee5\u5341\u516d\u8fdb\u5236\u683c\u5f0f\u6dfb\u52a0\u5230\u6ce2\u5f62\u7a97\u53e3<br \/>\n# \u4f5c\u7528&#xff1a;\u628a 4 \u4f4d\u8ba1\u6570\u8f93\u51fa\u4fe1\u53f7 count \u6dfb\u52a0\u5230\u6ce2\u5f62\u7a97\u53e3&#xff0c;\u8fd9\u662f\u9a8c\u8bc1\u8ba1\u6570\u5668\u529f\u80fd\u7684\u6838\u5fc3\u4fe1\u53f7\u3002<br \/>\n# \u8bf4\u660e&#xff1a;count \u662f [3:0] \u603b\u7ebf\u4fe1\u53f7&#xff0c;\u4f7f\u7528 -hex \u53ef\u76f4\u89c2\u663e\u793a 0~F \u7684\u5341\u516d\u8fdb\u5236\u8ba1\u6570\u503c\u3002<br \/>\nadd wave -hex \/counter_tb\/count<br \/>\n# \u8fd0\u884c\u4eff\u771f&#xff1a;run 1us \u8868\u793a\u4eff\u771f\u8fd0\u884c 1 \u5fae\u79d2\u7684\u4eff\u771f\u65f6\u95f4<br \/>\n# \u4f5c\u7528&#xff1a;\u8ba9\u4eff\u771f\u5668\u5411\u524d\u63a8\u8fdb 1 \u5fae\u79d2\u7684\u4eff\u771f\u65f6\u95f4&#xff0c;\u671f\u95f4\u6240\u6709\u4fe1\u53f7\u6309\u8bbe\u8ba1\u903b\u8f91\u53d8\u5316\u3002<br \/>\n# \u4fee\u6539\u4eff\u771f\u65f6\u95f4\u7684\u65b9\u6cd5&#xff1a;\u76f4\u63a5\u4fee\u6539\u672c\u884c\u7684\u6570\u503c\u5373\u53ef&#xff0c;\u4f8b\u5982&#xff1a;<br \/>\n# run 10us  \u2014\u2014 \u5ef6\u957f\u5230 10 \u5fae\u79d2&#xff0c;\u53ef\u89c2\u5bdf\u8ba1\u6570\u5668\u591a\u6b21\u5faa\u73af&#xff08;count \u4ece 0 \u5230 15 \u518d\u56de 0&#xff09;\u3002<br \/>\n# run 500ns \u2014\u2014 \u7f29\u77ed\u5230 500 \u7eb3\u79d2&#xff0c;\u5feb\u901f\u9a8c\u8bc1\u590d\u4f4d\u548c\u521d\u59cb\u8ba1\u6570\u884c\u4e3a\u3002<br \/>\n# \u63d0\u793a&#xff1a;\u4e5f\u53ef\u5728\u811a\u672c\u5f00\u5934\u7528 set sim_time 1us \u5b9a\u4e49\u53d8\u91cf&#xff0c;\u518d\u5199 run $sim_time \u5f15\u7528&#xff0c;\u4fbf\u4e8e\u7edf\u4e00\u7ba1\u7406\u3002<br \/>\nrun 1us<br \/>\n# \u4fdd\u5b58\u6ce2\u5f62&#xff1a;wave write \u5c06\u6ce2\u5f62\u6570\u636e\u4ee5 WLF \u683c\u5f0f\u5bfc\u51fa\u5230\u6307\u5b9a\u6587\u4ef6<br \/>\n# \u4f5c\u7528&#xff1a;\u628a\u5f53\u524d Wave \u7a97\u53e3\u4e2d\u7684\u6ce2\u5f62\u6570\u636e\u4fdd\u5b58\u5230\u78c1\u76d8&#xff0c;\u4f9b\u540e\u7eed\u67e5\u770b\u6216\u5bf9\u6bd4\u3002<br \/>\n# \u53c2\u6570\u8bf4\u660e&#xff1a;<br \/>\n# -format wlf&#xff1a;\u6307\u5b9a\u8f93\u51fa\u683c\u5f0f\u4e3a WLF&#xff08;Wave Log Format&#xff09;&#xff0c;\u8fd9\u662f ModelSim \u7684\u539f\u751f\u6ce2\u5f62\u683c\u5f0f&#xff0c;<br \/>\n# \u6587\u4ef6\u4f53\u79ef\u5c0f\u3001\u52a0\u8f7d\u901f\u5ea6\u5feb&#xff0c;\u53ef\u7528 ModelSim \u76f4\u63a5\u6253\u5f00\u56de\u653e\u3002<br \/>\n# -output counter_wave.wlf&#xff1a;\u6307\u5b9a\u8f93\u51fa\u6587\u4ef6\u540d\u3002\u4fee\u6539\u6587\u4ef6\u540d\u5373\u53ef\u6539\u53d8\u4fdd\u5b58\u8def\u5f84\u6216\u540d\u79f0&#xff0c;<br \/>\n# \u4f8b\u5982 -output .\/result\/my_wave.wlf \u53ef\u4fdd\u5b58\u5230\u5b50\u76ee\u5f55\u3002<br \/>\nwave write -format wlf -output counter_wave.wlf <\/p>\n<p>\u811a\u672c\u4e2d\u7684\u4eff\u771f\u65f6\u95f4\u7531 run 1us \u8fd9\u4e00\u884c\u63a7\u5236&#xff0c;\u5176\u4e2d 1us \u8868\u793a\u4eff\u771f\u8fd0\u884c 1 \u5fae\u79d2\u3002\u4f60\u53ef\u4ee5\u901a\u8fc7\u4fee\u6539\u8fd9\u4e2a\u65f6\u95f4\u53d8\u91cf\u6765\u9002\u5e94\u4e0d\u540c\u7684\u6d4b\u8bd5\u573a\u666f&#xff1a;\u4f8b\u5982&#xff0c;\u5c06 run 1us \u6539\u4e3a run 10us \u53ef\u4ee5\u5ef6\u957f\u4eff\u771f\u65f6\u95f4&#xff0c;\u89c2\u5bdf\u8ba1\u6570\u5668\u5728\u66f4\u957f\u65f6\u95f4\u5185\u7684\u5faa\u73af\u884c\u4e3a&#xff1b;\u6539\u4e3a run 500ns \u5219\u53ef\u4ee5\u7f29\u77ed\u4eff\u771f\u65f6\u95f4&#xff0c;\u5feb\u901f\u9a8c\u8bc1\u590d\u4f4d\u548c\u521d\u59cb\u8ba1\u6570\u529f\u80fd\u3002\u6b64\u5916&#xff0c;\u4f60\u4e5f\u53ef\u4ee5\u5728\u811a\u672c\u5f00\u5934\u4f7f\u7528 set sim_time 1us \u5b9a\u4e49\u53d8\u91cf&#xff0c;\u7136\u540e\u901a\u8fc7 run $sim_time \u5f15\u7528\u5b83&#xff0c;\u8fd9\u6837\u53ea\u9700\u4fee\u6539\u4e00\u5904\u53d8\u91cf\u5373\u53ef\u8c03\u6574\u6574\u4e2a\u811a\u672c\u7684\u4eff\u771f\u65f6\u957f&#xff0c;\u4fbf\u4e8e\u5728\u4e0d\u540c\u6d4b\u8bd5\u573a\u666f\u95f4\u5feb\u901f\u5207\u6362\u3002<\/p>\n<p>\u5728 ModelSim \u547d\u4ee4\u884c\u4e2d\u6267\u884c do sim.do \u5373\u53ef\u8fd0\u884c\u6574\u4e2a\u6d41\u7a0b\u3002\u811a\u672c\u4e2d\u7684\u6bcf\u6761\u547d\u4ee4\u90fd\u6709\u660e\u786e\u542b\u4e49&#xff1a;vlib \u521b\u5efa\u5e93&#xff0c;vlog \u7f16\u8bd1\u6e90\u6587\u4ef6&#xff0c;vsim \u542f\u52a8\u4eff\u771f&#xff0c;add wave \u6dfb\u52a0\u6ce2\u5f62&#xff0c;run \u6267\u884c\u4eff\u771f&#xff0c;wave write \u4fdd\u5b58\u6ce2\u5f62\u6587\u4ef6\u3002<\/p>\n<h3>7. \u5e38\u89c1\u95ee\u9898\u4e0e\u89e3\u51b3\u65b9\u6848<\/h3>\n<p>\u5728\u4f7f\u7528 ModelSim \u7684\u8fc7\u7a0b\u4e2d&#xff0c;\u4f60\u53ef\u80fd\u4f1a\u9047\u5230\u4e00\u4e9b\u5e38\u89c1\u95ee\u9898\u3002\u8fd9\u91cc\u6574\u7406\u4e86\u9ad8\u9891\u95ee\u9898\u53ca\u5176\u89e3\u51b3\u65b9\u6cd5&#xff0c;\u5e2e\u52a9\u4f60\u5feb\u901f\u6392\u969c\u3002\u4e0b\u8868\u6c47\u603b\u4e86\u5404\u7c7b\u95ee\u9898\u7684\u53ef\u80fd\u539f\u56e0\u3001\u89e3\u51b3\u65b9\u6cd5\u548c\u9884\u9632\u5efa\u8bae\u3002<\/p>\n<table>\n<tr>\u95ee\u9898\u63cf\u8ff0\u53ef\u80fd\u539f\u56e0\u89e3\u51b3\u65b9\u6cd5\u9884\u9632\u5efa\u8bae<\/tr>\n<tbody>\n<tr>\n<td>\u7f16\u8bd1\u62a5\u9519&#xff1a;\u65e0\u6cd5\u6253\u5f00\u6587\u4ef6<\/td>\n<td>\u6587\u4ef6\u8def\u5f84\u5305\u542b\u4e2d\u6587\u6216\u7a7a\u683c&#xff0c;\u6587\u4ef6\u540d\u542b\u7279\u6b8a\u5b57\u7b26\u3002<\/td>\n<td>\u5c06\u5de5\u7a0b\u76ee\u5f55\u6539\u4e3a\u7eaf\u82f1\u6587\u8def\u5f84&#xff0c;\u5e76\u786e\u4fdd\u6587\u4ef6\u540d\u4e0d\u542b\u7279\u6b8a\u5b57\u7b26\u3002<\/td>\n<td>\u521b\u5efa\u5de5\u7a0b\u65f6\u7edf\u4e00\u4f7f\u7528\u82f1\u6587\u76ee\u5f55\u548c\u6587\u4ef6\u540d&#xff0c;\u907f\u514d\u4e2d\u6587\u8def\u5f84\u548c\u7279\u6b8a\u5b57\u7b26\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u4eff\u771f\u65e0\u6ce2\u5f62\u8f93\u51fa<\/td>\n<td>\u6d4b\u8bd5\u6587\u4ef6\u4e2d\u6ca1\u6709\u6b63\u786e\u521d\u59cb\u5316\u4fe1\u53f7\u3001\u4eff\u771f\u65f6\u95f4\u4e0d\u591f\u957f\u3001\u4fe1\u53f7\u672a\u6dfb\u52a0\u5230 Wave \u7a97\u53e3\u3002<\/td>\n<td>\u68c0\u67e5\u6d4b\u8bd5\u6587\u4ef6\u7684 initial \u5757&#xff0c;\u5e76\u9002\u5f53\u5ef6\u957f run \u7684\u65f6\u95f4\u3002<\/td>\n<td>\u7f16\u5199\u6d4b\u8bd5\u6587\u4ef6\u65f6\u5148\u521d\u59cb\u5316\u6240\u6709\u4fe1\u53f7&#xff0c;\u4eff\u771f\u524d\u786e\u8ba4\u4fe1\u53f7\u5df2\u6dfb\u52a0\u5230 Wave \u7a97\u53e3\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u65f6\u5e8f\u4eff\u771f\u4e0e\u529f\u80fd\u4eff\u771f\u7ed3\u679c\u4e0d\u4e00\u81f4<\/td>\n<td>\u529f\u80fd\u4eff\u771f\u4e0d\u8003\u8651\u95e8\u5ef6\u8fdf\u548c\u5e03\u7ebf\u5ef6\u8fdf&#xff0c;\u65f6\u5e8f\u4eff\u771f\u4f1a\u52a0\u5165\u8fd9\u4e9b\u5ef6\u8fdf\u4fe1\u606f&#xff1b;\u8bbe\u8ba1\u4e2d\u5b58\u5728\u7ade\u4e89\u5192\u9669\u6216\u65f6\u5e8f\u7ea6\u675f\u4e0d\u5b8c\u6574\u3002<\/td>\n<td>\u68c0\u67e5\u4ee3\u7801\u4e2d\u7684\u7ec4\u5408\u903b\u8f91\u8def\u5f84&#xff0c;\u5e76\u5b8c\u5584\u65f6\u5e8f\u7ea6\u675f\u3002<\/td>\n<td>\u5728\u8bbe\u8ba1\u9636\u6bb5\u5c31\u5173\u6ce8\u65f6\u5e8f\u7ea6\u675f&#xff0c;\u907f\u514d\u7ec4\u5408\u903b\u8f91\u4e2d\u7684\u7ade\u4e89\u5192\u9669\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u4eff\u771f\u901f\u5ea6\u8fc7\u6162<\/td>\n<td>\u5927\u578b\u8bbe\u8ba1\u672a\u505a\u4f18\u5316&#xff0c;\u6ce2\u5f62\u8bb0\u5f55\u8fc7\u591a&#xff0c;\u672a\u4f7f\u7528\u7f16\u8bd1\u4f18\u5316\u9009\u9879\u3002<\/td>\n<td>\u4f7f\u7528\u589e\u91cf\u7f16\u8bd1\u3001\u5173\u95ed\u4e0d\u5fc5\u8981\u7684\u6ce2\u5f62\u8bb0\u5f55\u3001\u4f7f\u7528 -O3 \u4f18\u5316\u9009\u9879\u3001\u5c06\u4eff\u771f\u62c6\u5206\u4e3a\u591a\u4e2a\u9636\u6bb5\u5e76\u884c\u6267\u884c\u3002<\/td>\n<td>\u5bf9\u5927\u578b\u8bbe\u8ba1\u63d0\u524d\u89c4\u5212\u4eff\u771f\u7b56\u7565&#xff0c;\u5408\u7406\u4f7f\u7528\u7f16\u8bd1\u4f18\u5316\u548c\u5e76\u884c\u4eff\u771f\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u7f16\u8bd1\u8b66\u544a<\/td>\n<td>\u4ee3\u7801\u4e2d\u5b58\u5728\u672a\u4f7f\u7528\u7684\u4fe1\u53f7\u3001\u9690\u5f0f\u58f0\u660e\u3001\u4f4d\u5bbd\u4e0d\u5339\u914d\u6216\u65f6\u5e8f\u654f\u611f\u5217\u8868\u4e0d\u5b8c\u6574\u7b49\u95ee\u9898\u3002<\/td>\n<td>\u67e5\u770b Transcript \u7a97\u53e3\u4e2d\u7684\u8b66\u544a\u4fe1\u606f&#xff0c;\u5b9a\u4f4d\u5230\u5bf9\u5e94\u4ee3\u7801\u884c&#xff0c;\u4fee\u590d\u672a\u4f7f\u7528\u4fe1\u53f7\u3001\u8865\u9f50\u654f\u611f\u5217\u8868\u3001\u663e\u5f0f\u58f0\u660e\u4fe1\u53f7\u7c7b\u578b\u3002<\/td>\n<td>\u7f16\u8bd1\u540e\u517b\u6210\u67e5\u770b\u8b66\u544a\u7684\u4e60\u60ef&#xff0c;\u53ca\u65f6\u4fee\u590d\u6f5c\u5728\u95ee\u9898&#xff0c;\u907f\u514d\u8b66\u544a\u7d2f\u79ef\u6210\u9690\u60a3\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u4eff\u771f\u7ed3\u679c\u4e0e\u9884\u671f\u4e0d\u7b26<\/td>\n<td>\u6d4b\u8bd5\u6fc0\u52b1\u9519\u8bef&#xff08;\u5982 initial \u5757\u4e2d\u4fe1\u53f7\u521d\u59cb\u5316\u6216\u65f6\u5e8f\u8bbe\u7f6e\u4e0d\u5f53&#xff09;\u3001\u65f6\u5e8f\u7ade\u4e89&#xff08;\u591a\u4e2a always \u5757\u540c\u65f6\u9a71\u52a8\u540c\u4e00\u4fe1\u53f7&#xff09;\u3001\u672a\u521d\u59cb\u5316\u4fe1\u53f7&#xff08;reg \u53d8\u91cf\u672a\u8d4b\u521d\u503c\u5bfc\u81f4 X \u6001\u4f20\u64ad&#xff09;\u3002<\/td>\n<td>\u68c0\u67e5\u6d4b\u8bd5\u6587\u4ef6\u7684 initial \u5757&#xff0c;\u786e\u8ba4\u6fc0\u52b1\u65f6\u5e8f\u6b63\u786e&#xff1b;\u5728\u6e90\u7801\u7a97\u53e3\u8bbe\u7f6e\u65ad\u70b9&#xff0c;\u9010\u6b65\u68c0\u67e5\u4e2d\u95f4\u72b6\u6001&#xff1b;\u67e5\u770b Wave \u6ce2\u5f62&#xff0c;\u5b9a\u4f4d\u4fe1\u53f7\u5f02\u5e38\u53d8\u5316\u7684\u65f6\u523b\u3002<\/td>\n<td>\u7f16\u5199\u6d4b\u8bd5\u6587\u4ef6\u65f6\u5148\u521d\u59cb\u5316\u6240\u6709\u4fe1\u53f7&#xff0c;\u907f\u514d\u591a\u4e2a always \u5757\u9a71\u52a8\u540c\u4e00\u4fe1\u53f7&#xff0c;\u4eff\u771f\u524d\u786e\u8ba4\u4fe1\u53f7\u5df2\u6dfb\u52a0\u5230 Wave \u7a97\u53e3\u3002<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h4>7.1 \u7f16\u8bd1\u62a5\u9519\u901f\u67e5<\/h4>\n<p>\u7f16\u8bd1\u9636\u6bb5\u662f ModelSim \u4f7f\u7528\u4e2d\u6700\u5bb9\u6613\u51fa\u9519\u7684\u73af\u8282\u3002\u4e0b\u9762\u6574\u7406\u4e86 3 \u4e2a\u6700\u5e38\u89c1\u7684\u7f16\u8bd1\u9519\u8bef&#xff0c;\u6bcf\u4e2a\u9519\u8bef\u90fd\u7ed9\u51fa\u9519\u8bef\u4fe1\u606f\u793a\u4f8b\u3001\u539f\u56e0\u5206\u6790\u548c\u4fee\u590d\u4ee3\u7801\u7247\u6bb5&#xff0c;\u5e2e\u52a9\u4f60\u5feb\u901f\u5b9a\u4f4d\u5e76\u89e3\u51b3\u95ee\u9898\u3002<\/p>\n<h5>\u9519\u8bef\u4e00&#xff1a;vlog \u65e0\u6cd5\u6253\u5f00\u6587\u4ef6<\/h5>\n<p>\u9519\u8bef\u4fe1\u606f\u793a\u4f8b&#xff1a;<\/p>\n<p># ** Error: (vlog-19) Failed to open design unit file &#034;counter.v&#034; in read mode.<br \/>\n# No such file or directory. (errno &#061; ENOENT) <\/p>\n<p>\u539f\u56e0\u5206\u6790&#xff1a;\u8be5\u9519\u8bef\u901a\u5e38\u7531\u4ee5\u4e0b\u539f\u56e0\u5f15\u8d77&#xff1a;\u6587\u4ef6\u8def\u5f84\u5305\u542b\u4e2d\u6587\u6216\u7a7a\u683c\u3001\u6587\u4ef6\u540d\u62fc\u5199\u9519\u8bef\u3001\u6587\u4ef6\u4e0d\u5728\u5f53\u524d\u5de5\u4f5c\u76ee\u5f55\u4e0b&#xff0c;\u6216\u8005\u7f16\u8bd1\u65f6\u4f7f\u7528\u4e86\u9519\u8bef\u7684\u76f8\u5bf9\u8def\u5f84\u3002<\/p>\n<p>\u4fee\u590d\u4ee3\u7801\u7247\u6bb5&#xff1a;\u786e\u4fdd\u6587\u4ef6\u8def\u5f84\u6b63\u786e\u4e14\u4e3a\u7eaf\u82f1\u6587&#xff0c;\u5e76\u5728\u7f16\u8bd1\u524d\u5207\u6362\u5230\u6587\u4ef6\u6240\u5728\u76ee\u5f55&#xff1a;<\/p>\n<p># \u5207\u6362\u5230\u6e90\u6587\u4ef6\u6240\u5728\u76ee\u5f55<br \/>\ncd C:\/fpga_projects\/counter_demo<br \/>\n# \u786e\u8ba4\u6587\u4ef6\u5b58\u5728<br \/>\nls counter.v<br \/>\n# \u91cd\u65b0\u7f16\u8bd1<br \/>\nvlog counter.v <\/p>\n<h5>\u9519\u8bef\u4e8c&#xff1a;\u7aef\u53e3\u8fde\u63a5\u4e0d\u5339\u914d<\/h5>\n<p>\u9519\u8bef\u4fe1\u606f\u793a\u4f8b&#xff1a;<\/p>\n<p># ** Error: (vlog-2110) Illegal reference to net &#034;count&#034;.<br \/>\n# ** Error: (vlog-13069) Port &#039;count&#039; (output) of &#039;counter&#039; has illegal connection. <\/p>\n<p>\u539f\u56e0\u5206\u6790&#xff1a;\u8be5\u9519\u8bef\u901a\u5e38\u53d1\u751f\u5728\u6d4b\u8bd5\u6587\u4ef6\u4e2d\u5b9e\u4f8b\u5316\u6a21\u5757\u65f6&#xff0c;\u7aef\u53e3\u8fde\u63a5\u7684\u6570\u91cf\u3001\u987a\u5e8f\u6216\u7c7b\u578b\u4e0e\u8bbe\u8ba1\u6a21\u5757\u7684\u7aef\u53e3\u5b9a\u4e49\u4e0d\u4e00\u81f4\u3002\u4f8b\u5982&#xff0c;\u5c06 output \u7aef\u53e3\u8fde\u63a5\u5230 reg \u7c7b\u578b\u53d8\u91cf&#xff0c;\u6216\u8005\u7aef\u53e3\u987a\u5e8f\u5199\u9519\u3002<\/p>\n<p>\u4fee\u590d\u4ee3\u7801\u7247\u6bb5&#xff1a;\u4f7f\u7528\u663e\u5f0f\u7aef\u53e3\u8fde\u63a5&#xff08;\u6309\u540d\u79f0\u8fde\u63a5&#xff09;&#xff0c;\u5e76\u786e\u4fdd\u7aef\u53e3\u7c7b\u578b\u5339\u914d&#xff1a;<\/p>\n<p>\/\/ \u9519\u8bef&#xff1a;\u7aef\u53e3\u987a\u5e8f\u548c\u7c7b\u578b\u4e0d\u5339\u914d<br \/>\n\/\/ counter uut (clk, rst_n, count);  \/\/ count \u662f wire&#xff0c;\u4f46\u8fd9\u91cc\u53ef\u80fd\u8bef\u7528<br \/>\n\/\/ \u6b63\u786e&#xff1a;\u4f7f\u7528\u663e\u5f0f\u7aef\u53e3\u8fde\u63a5&#xff0c;count \u58f0\u660e\u4e3a wire<br \/>\nmodule counter_tb;<br \/>\nreg clk;<br \/>\nreg rst_n;<br \/>\nwire [3:0] count;  \/\/ \u8f93\u51fa\u7aef\u53e3\u5fc5\u987b\u7528 wire \u63a5\u6536<br \/>\ncounter uut (<br \/>\n    .clk(clk),<br \/>\n    .rst_n(rst_n),<br \/>\n    .count(count)<br \/>\n);<br \/>\nendmodule <\/p>\n<h5>\u9519\u8bef\u4e09&#xff1a;\u672a\u58f0\u660e\u4fe1\u53f7<\/h5>\n<p>\u9519\u8bef\u4fe1\u606f\u793a\u4f8b&#xff1a;<\/p>\n<p># ** Error: (vlog-2163) Signal &#039;data_out&#039; is not declared.<br \/>\n# ** Error: (vlog-2163) Signal &#039;clk_tb&#039; is not declared. <\/p>\n<p>\u539f\u56e0\u5206\u6790&#xff1a;\u8be5\u9519\u8bef\u901a\u5e38\u662f\u56e0\u4e3a\u5728\u4ee3\u7801\u4e2d\u4f7f\u7528\u4e86\u672a\u58f0\u660e\u7684\u4fe1\u53f7&#xff0c;\u53ef\u80fd\u662f\u62fc\u5199\u9519\u8bef\u3001\u9057\u6f0f\u4e86 reg\/wire \u58f0\u660e&#xff0c;\u6216\u8005\u4fe1\u53f7\u540d\u4e0e\u6a21\u5757\u7aef\u53e3\u540d\u4e0d\u4e00\u81f4\u3002<\/p>\n<p>\u4fee\u590d\u4ee3\u7801\u7247\u6bb5&#xff1a;\u5728\u6a21\u5757\u6216\u6d4b\u8bd5\u6587\u4ef6\u4e2d\u663e\u5f0f\u58f0\u660e\u6240\u6709\u4fe1\u53f7&#xff1a;<\/p>\n<p>module counter_tb;<br \/>\n    reg clk;          \/\/ \u58f0\u660e\u65f6\u949f\u4fe1\u53f7<br \/>\n    reg rst_n;        \/\/ \u58f0\u660e\u590d\u4f4d\u4fe1\u53f7<br \/>\n    wire [3:0] count; \/\/ \u58f0\u660e\u8ba1\u6570\u8f93\u51fa\u4fe1\u53f7<br \/>\n    \/\/ \u5176\u4ed6\u4fe1\u53f7\u5728\u4f7f\u7528\u524d\u5fc5\u987b\u58f0\u660e<br \/>\n    \/\/ reg data_out;   \/\/ \u5982\u679c\u7528\u5230 data_out&#xff0c;\u5fc5\u987b\u5148\u58f0\u660e<br \/>\ncounter uut (<br \/>\n    .clk(clk),<br \/>\n    .rst_n(rst_n),<br \/>\n    .count(count)<br \/>\n);<br \/>\nendmodule <\/p>\n<h3>8. \u8fdb\u9636\u6280\u5de7&#xff1a;\u8ba9\u4eff\u771f\u6548\u7387\u7ffb\u500d<\/h3>\n<p>\u5f53\u4f60\u638c\u63e1\u4e86\u57fa\u7840\u64cd\u4f5c\u540e&#xff0c;\u4ee5\u4e0b\u8fdb\u9636\u6280\u5de7\u80fd\u8fdb\u4e00\u6b65\u63d0\u5347\u4f60\u7684\u4eff\u771f\u6548\u7387\u3002<\/p>\n<h4>8.1 \u4f7f\u7528 Do \u6587\u4ef6\u7ba1\u7406\u590d\u6742\u6d41\u7a0b<\/h4>\n<p>\u5c06\u5e38\u7528\u7684\u7f16\u8bd1\u3001\u4eff\u771f\u3001\u6ce2\u5f62\u64cd\u4f5c\u5199\u5165 Do \u6587\u4ef6&#xff0c;\u914d\u5408\u53c2\u6570\u4f20\u9012&#xff0c;\u53ef\u4ee5\u5b9e\u73b0\u4e0d\u540c\u6d4b\u8bd5\u573a\u666f\u7684\u5feb\u901f\u5207\u6362\u3002\u4f8b\u5982&#xff0c;\u901a\u8fc7\u53d8\u91cf\u63a7\u5236\u4eff\u771f\u65f6\u95f4&#xff1a;<\/p>\n<p>set sim_time 2us<br \/>\nrun $sim_time <\/p>\n<h4>8.2 \u5229\u7528\u65ad\u70b9\u8c03\u8bd5<\/h4>\n<p>\u5728 ModelSim \u4e2d&#xff0c;\u4f60\u53ef\u4ee5\u5728\u6e90\u7801\u7a97\u53e3\u8bbe\u7f6e\u65ad\u70b9&#xff0c;\u4eff\u771f\u8fd0\u884c\u5230\u65ad\u70b9\u5904\u4f1a\u6682\u505c&#xff0c;\u65b9\u4fbf\u4f60\u68c0\u67e5\u4e2d\u95f4\u72b6\u6001\u3002\u8fd9\u5bf9\u4e8e\u5b9a\u4f4d\u590d\u6742\u903b\u8f91\u9519\u8bef\u975e\u5e38\u6709\u5e2e\u52a9\u3002<\/p>\n<h4>8.3 \u6279\u91cf\u56de\u5f52\u6d4b\u8bd5<\/h4>\n<p>\u5bf9\u4e8e\u9700\u8981\u9a8c\u8bc1\u591a\u4e2a\u6d4b\u8bd5\u7528\u4f8b\u7684\u573a\u666f&#xff0c;\u53ef\u4ee5\u7f16\u5199\u811a\u672c\u5faa\u73af\u6267\u884c\u4e0d\u540c\u6d4b\u8bd5\u5411\u91cf&#xff0c;\u5e76\u81ea\u52a8\u6bd4\u5bf9\u8f93\u51fa\u7ed3\u679c&#xff0c;\u5b9e\u73b0\u56de\u5f52\u6d4b\u8bd5\u7684\u81ea\u52a8\u5316\u3002<\/p>\n<h3>9. \u603b\u7ed3\u4e0e\u5b66\u4e60\u5efa\u8bae<\/h3>\n<p>ModelSim \u662f\u6570\u5b57\u7535\u8def\u9a8c\u8bc1\u7684\u57fa\u77f3\u5de5\u5177&#xff0c;\u638c\u63e1\u5b83\u4e0d\u4ec5\u80fd\u63d0\u5347\u4f60\u7684\u5f00\u53d1\u6548\u7387&#xff0c;\u66f4\u80fd\u5e2e\u52a9\u4f60\u5efa\u7acb\u4e25\u8c28\u7684\u9a8c\u8bc1\u601d\u7ef4\u3002\u672c\u6559\u7a0b\u4ece\u73af\u5883\u642d\u5efa\u5230\u811a\u672c\u81ea\u52a8\u5316&#xff0c;\u8986\u76d6\u4e86 ModelSim \u7684\u6838\u5fc3\u4f7f\u7528\u573a\u666f\u3002\u5efa\u8bae\u4f60\u6309\u7167\u6559\u7a0b\u4e2d\u7684\u793a\u4f8b\u4eb2\u624b\u64cd\u4f5c\u4e00\u904d&#xff0c;\u518d\u5c1d\u8bd5\u4fee\u6539\u4ee3\u7801\u3001\u589e\u52a0\u6d4b\u8bd5\u7528\u4f8b&#xff0c;\u9010\u6b65\u52a0\u6df1\u7406\u89e3\u3002<\/p>\n<p>\u540e\u7eed\u4f60\u53ef\u4ee5\u8fdb\u4e00\u6b65\u5b66\u4e60 SystemVerilog \u65ad\u8a00\u3001\u529f\u80fd\u8986\u76d6\u7387\u5efa\u6a21\u3001\u4ee5\u53ca ModelSim \u4e0e Quartus \u7684\u8054\u5408\u4eff\u771f\u6d41\u7a0b&#xff0c;\u8fd9\u4e9b\u90fd\u662f\u5728\u5b9e\u9645\u9879\u76ee\u4e2d\u975e\u5e38\u5b9e\u7528\u7684\u8fdb\u9636\u6280\u80fd\u3002\u5e0c\u671b\u8fd9\u4efd\u6559\u7a0b\u80fd\u6210\u4e3a\u4f60 FPGA \u5f00\u53d1\u4e4b\u8def\u4e0a\u7684\u6709\u529b\u52a9\u624b\u3002<\/p>\n<h4>9.1 SystemVerilog \u65ad\u8a00&#xff08;SVA&#xff09;\u5165\u95e8<\/h4>\n<p>SystemVerilog \u65ad\u8a00&#xff08;SVA&#xff09;\u662f\u9a8c\u8bc1\u6570\u5b57\u8bbe\u8ba1\u884c\u4e3a\u7684\u91cd\u8981\u5de5\u5177&#xff0c;\u5b83\u5141\u8bb8\u4f60\u5728\u4eff\u771f\u8fc7\u7a0b\u4e2d\u81ea\u52a8\u68c0\u67e5\u4fe1\u53f7\u4e4b\u95f4\u7684\u65f6\u5e8f\u5173\u7cfb\u3002\u5728 ModelSim \u4e2d\u542f\u7528 SystemVerilog \u8bed\u6cd5\u975e\u5e38\u7b80\u5355&#xff0c;\u53ea\u9700\u5728\u7f16\u8bd1\u65f6\u52a0\u4e0a -sv \u9009\u9879\u5373\u53ef\u3002\u4f8b\u5982&#xff0c;\u5728\u547d\u4ee4\u884c\u4e2d\u6267\u884c&#xff1a;<\/p>\n<p>vlog -sv counter.v counter_tb.sv <\/p>\n<p>\u4e0b\u9762\u4ee5\u7b2c 4 \u8282\u4e2d\u7684 counter \u6a21\u5757\u4e3a\u4f8b&#xff0c;\u7f16\u5199\u4e00\u4e2a\u7b80\u5355\u7684\u65ad\u8a00&#xff0c;\u68c0\u67e5\u590d\u4f4d\u91ca\u653e\u540e count \u5728\u6bcf\u4e2a\u65f6\u949f\u4e0a\u5347\u6cbf\u9012\u589e 1\u3002\u9996\u5148&#xff0c;\u5c06\u6d4b\u8bd5\u6587\u4ef6\u4fdd\u5b58\u4e3a counter_tb.sv&#xff0c;\u5e76\u5728\u5176\u4e2d\u6dfb\u52a0\u65ad\u8a00\u4ee3\u7801&#xff1a;<\/p>\n<p>&#096;timescale 1ns \/ 1ps<br \/>\nmodule counter_tb;<br \/>\nreg clk;<br \/>\nreg rst_n;<br \/>\nwire [3:0] count;<br \/>\ncounter uut (<br \/>\n.clk(clk),<br \/>\n.rst_n(rst_n),<br \/>\n.count(count)<br \/>\n);<br \/>\n\/\/ \u65ad\u8a00&#xff1a;\u590d\u4f4d\u91ca\u653e\u540e&#xff0c;\u6bcf\u4e2a\u65f6\u949f\u4e0a\u5347\u6cbf count \u9012\u589e 1<br \/>\nproperty count_increment;<br \/>\n&#064;(posedge clk) disable iff (!rst_n)<br \/>\ncount &#061;&#061; $past(count) &#043; 1;<br \/>\nendproperty<br \/>\nassert property (count_increment)<br \/>\nelse $error(&#034;\u65ad\u8a00\u5931\u8d25&#xff1a;count \u672a\u6309\u9884\u671f\u9012\u589e&#xff01;&#034;);<br \/>\ninitial begin<br \/>\nclk &#061; 0;<br \/>\nrst_n &#061; 0;<br \/>\n#100;<br \/>\nrst_n &#061; 1;<br \/>\n#500;<br \/>\n$finish;<br \/>\nend<br \/>\nalways #10 clk &#061; ~clk;<br \/>\nendmodule <\/p>\n<p>\u4e0a\u8ff0\u65ad\u8a00\u4f7f\u7528 assert property \u8bed\u53e5&#xff0c;\u5728\u65f6\u949f\u4e0a\u5347\u6cbf\u68c0\u67e5 count \u662f\u5426\u7b49\u4e8e\u4e0a\u4e00\u4e2a\u65f6\u949f\u5468\u671f\u7684 count \u52a0 1\u3002\u5176\u4e2d disable iff (!rst_n) \u8868\u793a\u590d\u4f4d\u6709\u6548\u65f6\u7981\u7528\u8be5\u65ad\u8a00&#xff0c;\u907f\u514d\u5728\u590d\u4f4d\u671f\u95f4\u8bef\u62a5\u3002\u5f53\u65ad\u8a00\u5931\u8d25\u65f6&#xff0c;$error \u4f1a\u5728 Transcript \u7a97\u53e3\u4e2d\u8f93\u51fa\u9519\u8bef\u4fe1\u606f\u3002<\/p>\n<p>\u5728 ModelSim \u4e2d\u67e5\u770b\u65ad\u8a00\u62a5\u544a\u7684\u65b9\u6cd5\u5982\u4e0b&#xff1a;<\/p>\n<ul>\n<li>\u7f16\u8bd1\u5e76\u4eff\u771f&#xff1a;\u4f7f\u7528 vlog -sv counter.v counter_tb.sv \u7f16\u8bd1&#xff0c;\u7136\u540e vsim work.counter_tb \u542f\u52a8\u4eff\u771f\u3002<\/li>\n<li>\u8fd0\u884c\u4eff\u771f&#xff1a;\u5728\u547d\u4ee4\u884c\u8f93\u5165 run 1us \u6267\u884c\u4eff\u771f\u3002<\/li>\n<li>\u67e5\u770b\u65ad\u8a00\u7ed3\u679c&#xff1a;\u4eff\u771f\u7ed3\u675f\u540e&#xff0c;\u5728 Transcript \u7a97\u53e3\u4e2d\u53ef\u4ee5\u770b\u5230\u65ad\u8a00\u901a\u8fc7\u6216\u5931\u8d25\u7684\u62a5\u544a\u3002\u82e5\u65ad\u8a00\u901a\u8fc7&#xff0c;\u901a\u5e38\u4e0d\u4f1a\u8f93\u51fa\u989d\u5916\u4fe1\u606f&#xff1b;\u82e5\u65ad\u8a00\u5931\u8d25&#xff0c;\u4f1a\u663e\u793a Error: \u65ad\u8a00\u5931\u8d25&#xff1a;count \u672a\u6309\u9884\u671f\u9012\u589e&#xff01; \u4ee5\u53ca\u5bf9\u5e94\u7684\u4eff\u771f\u65f6\u95f4\u3002<\/li>\n<li>\u4f7f\u7528\u65ad\u8a00\u7a97\u53e3&#xff1a;\u5728 ModelSim \u83dc\u5355\u680f\u9009\u62e9 View \u2192 Assertions&#xff0c;\u53ef\u4ee5\u6253\u5f00\u65ad\u8a00\u7a97\u53e3&#xff0c;\u67e5\u770b\u6240\u6709\u65ad\u8a00\u7684\u901a\u8fc7\/\u5931\u8d25\u72b6\u6001\u3001\u89e6\u53d1\u6b21\u6570\u7b49\u8be6\u7ec6\u4fe1\u606f\u3002<\/li>\n<\/ul>\n<p>\u901a\u8fc7\u4e0a\u8ff0\u65b9\u6cd5&#xff0c;\u4f60\u53ef\u4ee5\u5728 ModelSim \u4e2d\u8f7b\u677e\u542f\u7528 SystemVerilog \u65ad\u8a00&#xff0c;\u5e76\u5229\u7528\u65ad\u8a00\u62a5\u544a\u5feb\u901f\u5b9a\u4f4d\u8bbe\u8ba1\u4e2d\u7684\u529f\u80fd\u7f3a\u9677&#xff0c;\u63d0\u5347\u9a8c\u8bc1\u6548\u7387\u3002<\/p>\n<h3>\u53c2\u8003\u8d44\u6599<\/h3>\n<p>\u4ee5\u4e0b\u6574\u7406\u4e86\u4e0e ModelSim \u4eff\u771f\u3001Verilog \u8bbe\u8ba1\u4ee5\u53ca SystemVerilog \u65ad\u8a00\u76f8\u5173\u7684\u5b98\u65b9\u6587\u6863\u3001\u4e66\u7c4d\u548c\u9ad8\u8d28\u91cf\u6559\u7a0b&#xff0c;\u4f9b\u4f60\u5728\u5b66\u4e60\u8fc7\u7a0b\u4e2d\u6309\u9700\u67e5\u9605\u3002<\/p>\n<ul>\n<li>ModelSim User&#039;s Manual&#xff08;\u5b98\u65b9\u7528\u6237\u624b\u518c&#xff09;&#xff1a;Siemens EDA \u5b98\u65b9\u53d1\u5e03\u7684\u5b8c\u6574\u53c2\u8003\u624b\u518c&#xff0c;\u6db5\u76d6\u7f16\u8bd1\u3001\u4eff\u771f\u3001\u6ce2\u5f62\u8c03\u8bd5\u3001Tcl \u811a\u672c\u7b49\u5168\u90e8\u529f\u80fd&#xff0c;\u9002\u5408\u4f5c\u4e3a\u65e5\u5e38\u67e5\u8bc1\u7684\u5de5\u5177\u4e66\u3002\u8bbf\u95ee\u5b98\u65b9\u624b\u518c<\/li>\n<li>Intel Quartus Prime \u4e0e ModelSim \u8054\u5408\u4eff\u771f\u6307\u5357&#xff1a;Intel \u5b98\u65b9\u6587\u6863&#xff0c;\u4ecb\u7ecd\u5982\u4f55\u5728 Quartus Prime \u4e2d\u914d\u7f6e\u5e76\u8c03\u7528 ModelSim \u8fdb\u884c RTL \u4eff\u771f&#xff0c;\u9002\u5408\u9700\u8981\u4e0e Quartus \u8054\u52a8\u7684 FPGA \u5f00\u53d1\u8005\u3002\u8bbf\u95ee\u5b98\u65b9\u6307\u5357<\/li>\n<li>IEEE 1800-2017 SystemVerilog \u6807\u51c6&#xff1a;SystemVerilog \u8bed\u8a00\u7684\u6743\u5a01\u89c4\u8303&#xff0c;\u5176\u4e2d\u5305\u542b\u65ad\u8a00&#xff08;SVA&#xff09;\u7684\u5b8c\u6574\u8bed\u6cd5\u4e0e\u8bed\u4e49\u5b9a\u4e49&#xff0c;\u9002\u5408\u9700\u8981\u6df1\u5165\u7406\u89e3\u65ad\u8a00\u673a\u5236\u7684\u9a8c\u8bc1\u5de5\u7a0b\u5e08\u3002\u8bbf\u95ee IEEE \u6807\u51c6<\/li>\n<li>Verilog HDL: A Guide to Digital Design and Synthesis&#xff08;\u4e66\u7c4d&#xff09;&#xff1a;Samir Palnitkar \u6240\u8457\u7684 Verilog \u5165\u95e8\u7ecf\u5178&#xff0c;\u7cfb\u7edf\u8bb2\u89e3\u8bed\u6cd5\u3001\u5efa\u6a21\u4e0e\u4eff\u771f\u65b9\u6cd5&#xff0c;\u9002\u5408\u521a\u63a5\u89e6 Verilog \u7684\u521d\u5b66\u8005\u3002\u67e5\u770b\u4e66\u7c4d\u4fe1\u606f<\/li>\n<li>SystemVerilog Assertions and Functional Coverage&#xff08;\u4e66\u7c4d&#xff09;&#xff1a;Ashok Mehta \u64b0\u5199\u7684 SVA \u4e0e\u529f\u80fd\u8986\u76d6\u7387\u4e13\u8457&#xff0c;\u7ed3\u5408\u5927\u91cf\u5b9e\u4f8b\u8bb2\u89e3\u65ad\u8a00\u7f16\u5199\u4e0e\u8986\u76d6\u7387\u5efa\u6a21&#xff0c;\u9002\u5408\u5e0c\u671b\u7cfb\u7edf\u63d0\u5347\u9a8c\u8bc1\u80fd\u529b\u7684\u5de5\u7a0b\u5e08\u3002\u67e5\u770b\u4e66\u7c4d\u4fe1\u606f<\/li>\n<li>ModelSim Tcl \u811a\u672c\u81ea\u52a8\u5316\u6559\u7a0b&#xff1a;\u793e\u533a\u6574\u7406\u7684 Tcl \u811a\u672c\u5165\u95e8\u6559\u7a0b&#xff0c;\u901a\u8fc7\u53ef\u590d\u73b0\u7684\u793a\u4f8b\u8bb2\u89e3 do \u6587\u4ef6\u7f16\u5199\u3001\u53d8\u91cf\u63a7\u5236\u4e0e\u6279\u91cf\u56de\u5f52&#xff0c;\u9002\u5408\u5e0c\u671b\u7528\u811a\u672c\u63d0\u5347\u4eff\u771f\u6548\u7387\u7684\u5f00\u53d1\u8005\u3002\u8bbf\u95ee\u6559\u7a0b<\/li>\n<li>Verilog \u4e0e SystemVerilog \u5728\u7ebf\u53c2\u8003\u624b\u518c&#xff1a;\u63d0\u4f9b Verilog \u4e0e SystemVerilog \u8bed\u6cd5\u901f\u67e5\u3001\u5e38\u7528\u7cfb\u7edf\u4efb\u52a1\u4e0e\u65ad\u8a00\u793a\u4f8b\u7684\u5728\u7ebf\u8d44\u6e90&#xff0c;\u9002\u5408\u7f16\u5199\u4ee3\u7801\u65f6\u5feb\u901f\u67e5\u9605\u3002\u8bbf\u95ee\u5728\u7ebf\u624b\u518c<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>\u76ee\u5f55<br \/>\n1. \u4e3a\u4ec0\u4e48\u4f60\u4e00\u5b9a\u8981\u5b66\u4f1a ModelSim \u4eff\u771f&#xff1f;2. ModelSim \u662f\u4ec0\u4e48&#xff1f;\u5b83\u80fd\u505a\u4ec0\u4e48&#xff1f;3. \u73af\u5883\u51c6\u5907&#xff1a;\u5b89\u88c5\u4e0e\u914d\u7f6e\u8be6\u89e3 3.1 \u83b7\u53d6\u5b89\u88c5\u53053.2 \u5b89\u88c5\u6b65\u9aa43.3 \u73af\u5883\u53d8\u91cf\u914d\u7f6e 4. \u7b2c\u4e00\u4e2a\u4eff\u771f\u5de5\u7a0b&#xff1a;\u4ece\u521b\u5efa\u5230\u8fd0\u884c 4.1 \u521b\u5efa\u5de5\u7a0b\u76ee\u5f55\u4e0e\u6e90\u6587\u4ef64.2 \u5728 ModelSim \u4e2d\u521b\u5efa\u5de5\u7a0b4.3 \u7f16\u8bd1\u8bbe\u8ba1\u6587\u4ef64.4 \u542f\u52a8\u4eff\u771f4.5 \u6dfb\u52a0\u6ce2\u5f62\u5e76\u8fd0\u884c4.6 \u5b9e\u6218\u4f8b\u7a0b&#xff1a;\u5e26\u4f7f\u80fd\u7684\u53ef\u9006\u8ba1\u6570\u56684.7 <\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[13301,13215,2639,1740,941],"topic":[],"class_list":["post-117286","post","type-post","status-publish","format-standard","hentry","category-server","tag-sdr","tag-13215","tag-dsp","tag-fpga"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v20.3 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>ModelSim \u4eff\u771f\u4ece\u5165\u95e8\u5230\u7cbe\u901a\uff1a\u4e00\u4efd\u8ba9\u4f60\u5c11\u8d70 3 \u5e74\u5f2f\u8def\u7684\u5b8c\u6574\u5b9e\u6218\u6559\u7a0b - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.wsisp.com\/helps\/117286.html\" \/>\n<meta property=\"og:locale\" content=\"zh_CN\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"ModelSim \u4eff\u771f\u4ece\u5165\u95e8\u5230\u7cbe\u901a\uff1a\u4e00\u4efd\u8ba9\u4f60\u5c11\u8d70 3 \u5e74\u5f2f\u8def\u7684\u5b8c\u6574\u5b9e\u6218\u6559\u7a0b - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\" \/>\n<meta property=\"og:description\" content=\"\u76ee\u5f55 1. \u4e3a\u4ec0\u4e48\u4f60\u4e00\u5b9a\u8981\u5b66\u4f1a ModelSim \u4eff\u771f&#xff1f;2. ModelSim \u662f\u4ec0\u4e48&#xff1f;\u5b83\u80fd\u505a\u4ec0\u4e48&#xff1f;3. \u73af\u5883\u51c6\u5907&#xff1a;\u5b89\u88c5\u4e0e\u914d\u7f6e\u8be6\u89e3 3.1 \u83b7\u53d6\u5b89\u88c5\u53053.2 \u5b89\u88c5\u6b65\u9aa43.3 \u73af\u5883\u53d8\u91cf\u914d\u7f6e 4. \u7b2c\u4e00\u4e2a\u4eff\u771f\u5de5\u7a0b&#xff1a;\u4ece\u521b\u5efa\u5230\u8fd0\u884c 4.1 \u521b\u5efa\u5de5\u7a0b\u76ee\u5f55\u4e0e\u6e90\u6587\u4ef64.2 \u5728 ModelSim \u4e2d\u521b\u5efa\u5de5\u7a0b4.3 \u7f16\u8bd1\u8bbe\u8ba1\u6587\u4ef64.4 \u542f\u52a8\u4eff\u771f4.5 \u6dfb\u52a0\u6ce2\u5f62\u5e76\u8fd0\u884c4.6 \u5b9e\u6218\u4f8b\u7a0b&#xff1a;\u5e26\u4f7f\u80fd\u7684\u53ef\u9006\u8ba1\u6570\u56684.7\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.wsisp.com\/helps\/117286.html\" \/>\n<meta property=\"og:site_name\" content=\"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\" \/>\n<meta property=\"article:published_time\" content=\"2026-10-24T08:16:40+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/img-blog.csdnimg.cn\/placeholder_modelsim_wave_counter.png\" \/>\n<meta name=\"author\" content=\"admin\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u4f5c\u8005\" \/>\n\t<meta name=\"twitter:data1\" content=\"admin\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4\" \/>\n\t<meta name=\"twitter:data2\" content=\"9 \u5206\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/117286.html\",\"url\":\"https:\/\/www.wsisp.com\/helps\/117286.html\",\"name\":\"ModelSim \u4eff\u771f\u4ece\u5165\u95e8\u5230\u7cbe\u901a\uff1a\u4e00\u4efd\u8ba9\u4f60\u5c11\u8d70 3 \u5e74\u5f2f\u8def\u7684\u5b8c\u6574\u5b9e\u6218\u6559\u7a0b - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\",\"isPartOf\":{\"@id\":\"https:\/\/www.wsisp.com\/helps\/#website\"},\"datePublished\":\"2026-10-24T08:16:40+00:00\",\"dateModified\":\"2026-10-24T08:16:40+00:00\",\"author\":{\"@id\":\"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41\"},\"breadcrumb\":{\"@id\":\"https:\/\/www.wsisp.com\/helps\/117286.html#breadcrumb\"},\"inLanguage\":\"zh-Hans\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.wsisp.com\/helps\/117286.html\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/117286.html#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\u9996\u9875\",\"item\":\"https:\/\/www.wsisp.com\/helps\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"ModelSim \u4eff\u771f\u4ece\u5165\u95e8\u5230\u7cbe\u901a\uff1a\u4e00\u4efd\u8ba9\u4f60\u5c11\u8d70 3 \u5e74\u5f2f\u8def\u7684\u5b8c\u6574\u5b9e\u6218\u6559\u7a0b\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/#website\",\"url\":\"https:\/\/www.wsisp.com\/helps\/\",\"name\":\"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\",\"description\":\"\u9999\u6e2f\u670d\u52a1\u5668_\u9999\u6e2f\u4e91\u670d\u52a1\u5668\u8d44\u8baf_\u670d\u52a1\u5668\u5e2e\u52a9\u6587\u6863_\u670d\u52a1\u5668\u6559\u7a0b\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.wsisp.com\/helps\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"zh-Hans\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41\",\"name\":\"admin\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery\",\"contentUrl\":\"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery\",\"caption\":\"admin\"},\"sameAs\":[\"http:\/\/wp.wsisp.com\"],\"url\":\"https:\/\/www.wsisp.com\/helps\/author\/admin\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"ModelSim \u4eff\u771f\u4ece\u5165\u95e8\u5230\u7cbe\u901a\uff1a\u4e00\u4efd\u8ba9\u4f60\u5c11\u8d70 3 \u5e74\u5f2f\u8def\u7684\u5b8c\u6574\u5b9e\u6218\u6559\u7a0b - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.wsisp.com\/helps\/117286.html","og_locale":"zh_CN","og_type":"article","og_title":"ModelSim \u4eff\u771f\u4ece\u5165\u95e8\u5230\u7cbe\u901a\uff1a\u4e00\u4efd\u8ba9\u4f60\u5c11\u8d70 3 \u5e74\u5f2f\u8def\u7684\u5b8c\u6574\u5b9e\u6218\u6559\u7a0b - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","og_description":"\u76ee\u5f55 1. \u4e3a\u4ec0\u4e48\u4f60\u4e00\u5b9a\u8981\u5b66\u4f1a ModelSim \u4eff\u771f&#xff1f;2. ModelSim \u662f\u4ec0\u4e48&#xff1f;\u5b83\u80fd\u505a\u4ec0\u4e48&#xff1f;3. \u73af\u5883\u51c6\u5907&#xff1a;\u5b89\u88c5\u4e0e\u914d\u7f6e\u8be6\u89e3 3.1 \u83b7\u53d6\u5b89\u88c5\u53053.2 \u5b89\u88c5\u6b65\u9aa43.3 \u73af\u5883\u53d8\u91cf\u914d\u7f6e 4. \u7b2c\u4e00\u4e2a\u4eff\u771f\u5de5\u7a0b&#xff1a;\u4ece\u521b\u5efa\u5230\u8fd0\u884c 4.1 \u521b\u5efa\u5de5\u7a0b\u76ee\u5f55\u4e0e\u6e90\u6587\u4ef64.2 \u5728 ModelSim \u4e2d\u521b\u5efa\u5de5\u7a0b4.3 \u7f16\u8bd1\u8bbe\u8ba1\u6587\u4ef64.4 \u542f\u52a8\u4eff\u771f4.5 \u6dfb\u52a0\u6ce2\u5f62\u5e76\u8fd0\u884c4.6 \u5b9e\u6218\u4f8b\u7a0b&#xff1a;\u5e26\u4f7f\u80fd\u7684\u53ef\u9006\u8ba1\u6570\u56684.7","og_url":"https:\/\/www.wsisp.com\/helps\/117286.html","og_site_name":"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","article_published_time":"2026-10-24T08:16:40+00:00","og_image":[{"url":"https:\/\/img-blog.csdnimg.cn\/placeholder_modelsim_wave_counter.png"}],"author":"admin","twitter_card":"summary_large_image","twitter_misc":{"\u4f5c\u8005":"admin","\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4":"9 \u5206"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.wsisp.com\/helps\/117286.html","url":"https:\/\/www.wsisp.com\/helps\/117286.html","name":"ModelSim \u4eff\u771f\u4ece\u5165\u95e8\u5230\u7cbe\u901a\uff1a\u4e00\u4efd\u8ba9\u4f60\u5c11\u8d70 3 \u5e74\u5f2f\u8def\u7684\u5b8c\u6574\u5b9e\u6218\u6559\u7a0b - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","isPartOf":{"@id":"https:\/\/www.wsisp.com\/helps\/#website"},"datePublished":"2026-10-24T08:16:40+00:00","dateModified":"2026-10-24T08:16:40+00:00","author":{"@id":"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41"},"breadcrumb":{"@id":"https:\/\/www.wsisp.com\/helps\/117286.html#breadcrumb"},"inLanguage":"zh-Hans","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.wsisp.com\/helps\/117286.html"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.wsisp.com\/helps\/117286.html#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"\u9996\u9875","item":"https:\/\/www.wsisp.com\/helps"},{"@type":"ListItem","position":2,"name":"ModelSim \u4eff\u771f\u4ece\u5165\u95e8\u5230\u7cbe\u901a\uff1a\u4e00\u4efd\u8ba9\u4f60\u5c11\u8d70 3 \u5e74\u5f2f\u8def\u7684\u5b8c\u6574\u5b9e\u6218\u6559\u7a0b"}]},{"@type":"WebSite","@id":"https:\/\/www.wsisp.com\/helps\/#website","url":"https:\/\/www.wsisp.com\/helps\/","name":"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","description":"\u9999\u6e2f\u670d\u52a1\u5668_\u9999\u6e2f\u4e91\u670d\u52a1\u5668\u8d44\u8baf_\u670d\u52a1\u5668\u5e2e\u52a9\u6587\u6863_\u670d\u52a1\u5668\u6559\u7a0b","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.wsisp.com\/helps\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"zh-Hans"},{"@type":"Person","@id":"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41","name":"admin","image":{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/image\/","url":"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery","contentUrl":"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery","caption":"admin"},"sameAs":["http:\/\/wp.wsisp.com"],"url":"https:\/\/www.wsisp.com\/helps\/author\/admin"}]}},"_links":{"self":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/posts\/117286","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/comments?post=117286"}],"version-history":[{"count":0,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/posts\/117286\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/media?parent=117286"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/categories?post=117286"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/tags?post=117286"},{"taxonomy":"topic","embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/topic?post=117286"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}