state1.vqm

人民邮电出版社<<设计与验证verilog hdl >>一书的配套光盘,包含书上所有原代码,特别是状态机部分,值得学习

//
// Written by Synplify
// Synplify 8.1.0, Build 539R.
// Fri Dec 16 14:48:22 2005
//
// Source file index table:
// Object locations will have the form <file>:<line>
// file 0 "noname"
// file 1 "\c:\eda\synplicity\fpga_81\lib\altera\altera.v "
// file 2 "\c:\eda\synplicity\fpga_81\lib\altera\stratix.v "
// file 3 "\c:\eda\synplicity\fpga_81\lib\altera\altera_mf.v "
// file 4 "\c:\eda\synplicity\fpga_81\lib\altera\altera_lpm.v "
// file 5 "\c:\prj\fsm_abc\state1\state1.v "

// VQM4.1+ 
module state1 (
  nrst,
  clk,
  i1,
  i2,
  o1,
  o2,
  err
);
input nrst ;
input clk ;
input i1 ;
input i2 ;
output o1 /* synthesis syn_tristate = 1 */;
output o2 /* synthesis syn_tristate = 1 */;
output err /* synthesis syn_tristate = 1 */;
wire nrst ;
wire clk ;
wire i1 ;
wire i2 ;
wire o1 ;
wire o2 ;
wire err ;
wire [1:0] NS;
wire VCC ;
wire GND ;
wire clk_c ;
wire i2_c ;
wire i1_c ;
wire nrst_c ;
wire errz ;
wire N_4 ;
wire N_3 ;
wire N_2 ;
wire N_1 ;
wire nrst_c_i ;
//@1:1
  assign VCC = 1'b1;
//@1:1
  assign GND = 1'b0;
// @5:27
  stratix_lcell NS_1__Z (
	.regout(NS[1]),
	.clk(clk_c),
	.dataa(i2_c),
	.datab(i1_c),
	.datac(NS[0]),
	.datad(NS[1]),
	.aclr(nrst_c_i),
	.sclr(GND),
	.sload(GND),
	.ena(VCC),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam NS_1__Z.operation_mode="normal";
defparam NS_1__Z.output_mode="reg_only";
defparam NS_1__Z.lut_mask="cba4";
defparam NS_1__Z.synch_mode="off";
defparam NS_1__Z.sum_lutc_input="datac";
// @5:27
  stratix_lcell NS_0__Z (
	.regout(NS[0]),
	.clk(clk_c),
	.dataa(i2_c),
	.datab(i1_c),
	.datac(NS[0]),
	.datad(NS[1]),
	.aclr(nrst_c_i),
	.sclr(GND),
	.sload(GND),
	.ena(VCC),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam NS_0__Z.operation_mode="normal";
defparam NS_0__Z.output_mode="reg_only";
defparam NS_0__Z.lut_mask="c17c";
defparam NS_0__Z.synch_mode="off";
defparam NS_0__Z.sum_lutc_input="datac";
// @5:27
  stratix_lcell err_Z (
	.regout(errz),
	.clk(clk_c),
	.dataa(i2_c),
	.datab(i1_c),
	.datac(NS[0]),
	.datad(NS[1]),
	.aclr(nrst_c_i),
	.sclr(GND),
	.sload(GND),
	.ena(VCC),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam err_Z.operation_mode="normal";
defparam err_Z.output_mode="reg_only";
defparam err_Z.lut_mask="c124";
defparam err_Z.synch_mode="off";
defparam err_Z.sum_lutc_input="datac";
// @5:13
  stratix_io i2_in (
	.padio(i2),
	.combout(i2_c),
	.datain(GND),
	.oe(GND),
	.outclk(GND),
	.outclkena(VCC),
	.inclk(GND),
	.inclkena(VCC),
	.areset(GND),
	.sreset(GND)
);
defparam i2_in.operation_mode = "input";
// @5:13
  stratix_io i1_in (
	.padio(i1),
	.combout(i1_c),
	.datain(GND),
	.oe(GND),
	.outclk(GND),
	.outclkena(VCC),
	.inclk(GND),
	.inclkena(VCC),
	.areset(GND),
	.sreset(GND)
);
defparam i1_in.operation_mode = "input";
// @5:12
  stratix_io clk_in (
	.padio(clk),
	.combout(clk_c),
	.datain(GND),
	.oe(GND),
	.outclk(GND),
	.outclkena(VCC),
	.inclk(GND),
	.inclkena(VCC),
	.areset(GND),
	.sreset(GND)
);
defparam clk_in.operation_mode = "input";
// @5:12
  stratix_io nrst_in (
	.padio(nrst),
	.combout(nrst_c),
	.datain(GND),
	.oe(GND),
	.outclk(GND),
	.outclkena(VCC),
	.inclk(GND),
	.inclkena(VCC),
	.areset(GND),
	.sreset(GND)
);
defparam nrst_in.operation_mode = "input";
// @5:14
  stratix_io err_out (
	.padio(err),
	.datain(errz),
	.oe(VCC),
	.outclk(GND),
	.outclkena(VCC),
	.inclk(GND),
	.inclkena(VCC),
	.areset(GND),
	.sreset(GND)
);
defparam err_out.operation_mode = "output";
// @5:14
  stratix_io o2_out (
	.padio(o2),
	.datain(NS[1]),
	.oe(VCC),
	.outclk(GND),
	.outclkena(VCC),
	.inclk(GND),
	.inclkena(VCC),
	.areset(GND),
	.sreset(GND)
);
defparam o2_out.operation_mode = "output";
// @5:14
  stratix_io o1_out (
	.padio(o1),
	.datain(NS[0]),
	.oe(VCC),
	.outclk(GND),
	.outclkena(VCC),
	.inclk(GND),
	.inclkena(VCC),
	.areset(GND),
	.sreset(GND)
);
defparam o1_out.operation_mode = "output";
//@5:27
  assign  nrst_c_i = ~ nrst_c;
endmodule /* state1 */