用Verilog编程,在quartus中用激励块验证时怎么回事?怎么用啊?请高手指教!

来源:百度知道 编辑:UC知道 时间:2024/06/17 22:44:10
//怎么用啊?我只会用矢量文件!
//主程序
module vend(newspaper,coin,clock,reset);
input [1:0] coin;
input clock;
input reset;
output newspaper;
wire newspaper;
wire [1:0]NEXT_STATE;
reg [1:0] PRES_STATE;

parameter s0=2'b00;
parameter s5=2'b01;
parameter s10=2'b10;
parameter s15=2'b11;

function [2:0] fsm;
input [1:0] fsm_coin;
input [1:0] fsm_PRES_STATE;
reg fsm_newspaper;
reg [1:0] fsm_NEXT_STATE;
begin
case(fsm_PRES_STATE)
s0:if(fsm_coin==2'b10)
begin
fsm_newspaper=1'b0;
fsm_NEXT_STATE=s10;
end
else if (fsm_coin==2'b01)
begin
fsm_newspaper=1'b0;
fsm_NEXT_STATE=s5;
end
else
begin
fsm_newspaper=1'b0;
fsm_NEXT_STATE=s0;
end
s5:
begin
if(fsm_coin==2'b10)
begin
fsm_newspaper=1'b0;
fsm_NEXT_STATE=s15;
end
else if(fsm_coin==

quartus 里不支持你这种验证方法的,要验证用modelsim 这个软件,他里面是用你写的那种方式的,具体你百度下吧,。

QuartusII本身不支持TestBench,你这种激励块验证必须使用ModelSim软件,使用方法在ModelSim软件的入门手册中写的非常容易,虽然是英文的,但是图非常多,基本不用看英文按图操作也能成功,你可以试试。