1vending_machine.mgf

RTL in Verilog (Vending Machine)

I 000046 55 1822          1239605352329 $root
(_unit VERILOG 6.1285.6.606 ($root 0 0 ($root 0 0 ))
	(_version v147)
	(_time 1239605351156 2009.04.13 15:49:11)
	(_use (std(standard))(vl(verilog_logic)))
	(_base (E 1))
	(_code 52565750520550440455460c07)
	(_entity
		(_time 1239605351156)
		(_use )
	)
	(_parameters top_design   dbg   accs      )
	(_attribute top_design )
	(_object
		(_subprogram
			

		)
		(_type (_external ~wire (vl verilog_logic wire)))
		(_type (_external ~reg (vl verilog_logic reg)))
		(_type (_external ~vbit (vl verilog_logic vbit)))
		(_type (_external ~event (vl verilog_logic event)))
		(_type (_external ~wand (vl verilog_logic wand)))
		(_type (_external ~wor (vl verilog_logic wor)))
		(_type (_external ~tri1 (vl verilog_logic tri1)))
		(_type (_external ~tri0 (vl verilog_logic tri0)))
		(_type (_external ~trireg (vl verilog_logic trireg)))
		(_type (_external ~supply0 (vl verilog_logic supply0)))
		(_type (_external ~supply1 (vl verilog_logic supply1)))
		(_type (_external ~real (vl verilog_logic real)))
		(_type (_external ~realtime (vl verilog_logic realtime)))
		(_type (_external ~tri (vl verilog_logic tri)))
		(_type (_external ~triand (vl verilog_logic triand)))
		(_type (_external ~trior (vl verilog_logic trior)))
		(_type (_external ~bit (vl verilog_logic bit)))
		(_type (_external ~logic (vl verilog_logic logic)))			
		(_type (_external ~logic_reg (vl verilog_logic logic)))			
		(_type (_external ~logic_bit (vl verilog_logic vbit)))
		(_type (_external ~shortreal (vl verilog_logic real)))				
		(_type (_external ~string (vl verilog_logic string)))	
		(_type (_external ~extstd.standard.integer (std standard integer)))
		(_type (_external ~extstd.standard.bit (std standard bit)))
	)
	
	
	(_defparam
	)
	(_scope
	)
	(_instantiation vending_machine 0 0 (_entity .  vending_machine)
	)
	(_model . $root 1 -1)

)
I 000056 55 5445          1239605352333 vending_machine
(_unit VERILOG 6.1285.6.606 (vending_machine 0 25 (vending_machine 0 25 ))
	(_version v147)
	(_time 1239605351156 2009.04.13 15:49:11)
	(_source (\./src/vending_machine.v\ VERILOG (\./src/vending_machine.v\ VERILOG)))
	(_use (std(standard))(vl(verilog_logic)))
	(_base (E 3))
	(_code 525355515505534407014b0856)
	(_entity
		(_time 1239605351156)
		(_use )
	)
	(_timescale 1ns 1ns)
	(_parameters    dbg   accs      )
	(_attribute nb_assign )
	(_object
		(_port (_internal return_thousand ~wire 0 25 (_architecture (_out ))) (_net  (_scalared) ) (_simple) (_flags1))
		(_port (_internal return_f_hundred ~wire 0 25 (_architecture (_out ))) (_net  (_scalared) ) (_simple) (_flags1))
		(_port (_internal return_hundred ~wire 0 25 (_architecture (_out ))) (_net  (_scalared) ) (_simple) (_flags1))
		(_type (_internal ~[3:0]reg~ 0 25 (_array ~reg ((_downto (i 3) (i 0))))))
		(_port (_internal current_total_4 ~[3:0]reg~ 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal current_total_3 ~[3:0]reg~ 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal current_total_2 ~[3:0]reg~ 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal current_total_1 ~[3:0]reg~ 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal current_total_0 ~[3:0]reg~ 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal sufficient_item_4 ~reg 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal sufficient_item_3 ~reg 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal sufficient_item_2 ~reg 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal sufficient_item_1 ~reg 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal output_item ~reg 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal clk ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_nonbaction) (_noforceassign))
		(_port (_internal return_trigger ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_flags1))
		(_port (_internal sel_item_4 ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_flags1))
		(_port (_internal sel_item_3 ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_flags1))
		(_port (_internal sel_item_2 ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_flags1))
		(_port (_internal sel_item_1 ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_flags1))
		(_port (_internal input_thousand ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_flags1))
		(_port (_internal input_f_hundred ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_flags1))
		(_port (_internal input_hundred ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_flags1))
		(_port (_internal neg_reset ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_nonbaction) (_noforceassign))
		(_type (_internal ~[2:0]reg~ 0 88 (_array ~reg ((_downto (i 2) (i 0))))))
		(_signal (_internal state ~[2:0]reg~ 0 88 (_architecture (_uni ))) (_reg ) (_flags1))
		(_signal (_internal next_state ~[2:0]reg~ 0 89 (_architecture (_uni ))) (_reg ) (_simple) (_flags1))
		(_type (_internal ~[31:0]reg~ 0 90 (_array ~reg ((_downto (i 31) (i 0))))))
		(_signal (_internal qt_coin ~[31:0]reg~ 0 90 (_architecture (_uni ))) (_reg ) (_simple) (_flags1))
		(_subprogram
			

		)
		(_type (_external ~wire (vl verilog_logic wire)))
		(_type (_external ~reg (vl verilog_logic reg)))
		(_type (_external ~vbit (vl verilog_logic vbit)))
		(_type (_external ~event (vl verilog_logic event)))
		(_type (_external ~wand (vl verilog_logic wand)))
		(_type (_external ~wor (vl verilog_logic wor)))
		(_type (_external ~tri1 (vl verilog_logic tri1)))
		(_type (_external ~tri0 (vl verilog_logic tri0)))
		(_type (_external ~trireg (vl verilog_logic trireg)))
		(_type (_external ~supply0 (vl verilog_logic supply0)))
		(_type (_external ~supply1 (vl verilog_logic supply1)))
		(_type (_external ~real (vl verilog_logic real)))
		(_type (_external ~realtime (vl verilog_logic realtime)))
		(_type (_external ~tri (vl verilog_logic tri)))
		(_type (_external ~triand (vl verilog_logic triand)))
		(_type (_external ~trior (vl verilog_logic trior)))
		(_type (_external ~bit (vl verilog_logic bit)))
		(_type (_external ~logic (vl verilog_logic logic)))			
		(_type (_external ~logic_reg (vl verilog_logic logic)))			
		(_type (_external ~logic_bit (vl verilog_logic vbit)))
		(_type (_external ~shortreal (vl verilog_logic real)))				
		(_type (_external ~string (vl verilog_logic string)))	
		(_type (_external ~extstd.standard.integer (std standard integer)))
		(_type (_external ~extstd.standard.bit (std standard bit)))
		(_process
			(@ALWAYS#104_0@ (_architecture 0 0 104 (_process 
				(_target(24)(25)(11)(10)(9)(8)(12))
				(_read(25)(11)(10)(9)(8))
				(_sensitivity(14)(15)(16)(17)(18)(19)(20)(21)(23))
				(_need_init)
			)))
			(@ALWAYS#183_1@ (_architecture 1 0 183 (_process 
				(_target(7)(6)(5)(4)(3)(25)(23))
				(_read(13)(22)(5)(4)(3)(24))
				(_need_init)
			)))
		)
	)
	
	
	(_defparam
	)
	(_scope
		(_unit define_next_state begin 0 105
		(_scope
			(_unit Idle begin 0 108
			)
			(_unit Count_Coins begin 0 113
			)
			(_unit Give_Change begin 0 126
			)
			(_unit Select_Items begin 0 130
			)
			(_unit Dispense begin 0 175
			)
		)
		)
		(_unit curr begin 0 184
		)
	)
	(_model . vending_machine 3 -1)

)
I 000046 55 1822          1239605411063 $root
(_unit VERILOG 6.1285.6.606 ($root 0 0 ($root 0 0 ))
	(_version v147)
	(_time 1239605410750 2009.04.13 15:50:10)
	(_use (std(standard))(vl(verilog_logic)))
	(_base (E 1))
	(_code 1c1a491a4d4b1e0a4a1b084249)
	(_entity
		(_time 1239605410750)
		(_use )
	)
	(_parameters top_design   dbg   accs      )
	(_attribute top_design )
	(_object
		(_subprogram
			

		)
		(_type (_external ~wire (vl verilog_logic wire)))
		(_type (_external ~reg (vl verilog_logic reg)))
		(_type (_external ~vbit (vl verilog_logic vbit)))
		(_type (_external ~event (vl verilog_logic event)))
		(_type (_external ~wand (vl verilog_logic wand)))
		(_type (_external ~wor (vl verilog_logic wor)))
		(_type (_external ~tri1 (vl verilog_logic tri1)))
		(_type (_external ~tri0 (vl verilog_logic tri0)))
		(_type (_external ~trireg (vl verilog_logic trireg)))
		(_type (_external ~supply0 (vl verilog_logic supply0)))
		(_type (_external ~supply1 (vl verilog_logic supply1)))
		(_type (_external ~real (vl verilog_logic real)))
		(_type (_external ~realtime (vl verilog_logic realtime)))
		(_type (_external ~tri (vl verilog_logic tri)))
		(_type (_external ~triand (vl verilog_logic triand)))
		(_type (_external ~trior (vl verilog_logic trior)))
		(_type (_external ~bit (vl verilog_logic bit)))
		(_type (_external ~logic (vl verilog_logic logic)))			
		(_type (_external ~logic_reg (vl verilog_logic logic)))			
		(_type (_external ~logic_bit (vl verilog_logic vbit)))
		(_type (_external ~shortreal (vl verilog_logic real)))				
		(_type (_external ~string (vl verilog_logic string)))	
		(_type (_external ~extstd.standard.integer (std standard integer)))
		(_type (_external ~extstd.standard.bit (std standard bit)))
	)
	
	
	(_defparam
	)
	(_scope
	)
	(_instantiation vending_machine 0 0 (_entity .  vending_machine)
	)
	(_model . $root 1 -1)

)
I 000056 55 5421          1239605411067 vending_machine
(_unit VERILOG 6.1285.6.606 (vending_machine 0 25 (vending_machine 0 25 ))
	(_version v147)
	(_time 1239605410750 2009.04.13 15:50:10)
	(_source (\./src/vending_machine.v\ VERILOG (\./src/vending_machine.v\ VERILOG)))
	(_use (std(standard))(vl(verilog_logic)))
	(_base (E 3))
	(_code 1c1f4b1b4a4b1d0a4913054618)
	(_entity
		(_time 1239605410750)
		(_use )
	)
	(_timescale 1ns 1ns)
	(_parameters    dbg   accs      )
	(_attribute nb_assign )
	(_object
		(_port (_internal return_thousand ~wire 0 25 (_architecture (_out ))) (_net  (_scalared) ) (_simple) (_flags1))
		(_port (_internal return_f_hundred ~wire 0 25 (_architecture (_out ))) (_net  (_scalared) ) (_simple) (_flags1))
		(_port (_internal return_hundred ~wire 0 25 (_architecture (_out ))) (_net  (_scalared) ) (_simple) (_flags1))
		(_type (_internal ~[3:0]reg~ 0 25 (_array ~reg ((_downto (i 3) (i 0))))))
		(_port (_internal current_total_4 ~[3:0]reg~ 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal current_total_3 ~[3:0]reg~ 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal current_total_2 ~[3:0]reg~ 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal current_total_1 ~[3:0]reg~ 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal current_total_0 ~[3:0]reg~ 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal sufficient_item_4 ~reg 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal sufficient_item_3 ~reg 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal sufficient_item_2 ~reg 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal sufficient_item_1 ~reg 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal output_item ~reg 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal clk ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_nonbaction) (_noforceassign))
		(_port (_internal return_trigger ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_flags1))
		(_port (_internal sel_item_4 ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_flags1))
		(_port (_internal sel_item_3 ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_flags1))
		(_port (_internal sel_item_2 ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_flags1))
		(_port (_internal sel_item_1 ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_flags1))
		(_port (_internal input_thousand ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_flags1))
		(_port (_internal input_f_hundred ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_flags1))
		(_port (_internal input_hundred ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_flags1))
		(_port (_internal neg_reset ~wire 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_nonbaction) (_noforceassign))
		(_type (_internal ~[2:0]reg~ 0 88 (_array ~reg ((_downto (i 2) (i 0))))))
		(_signal (_internal state ~[2:0]reg~ 0 88 (_architecture (_uni ))) (_reg ) (_flags1))
		(_signal (_internal next_state ~[2:0]reg~ 0 89 (_architecture (_uni ))) (_reg ) (_simple) (_flags1))
		(_type (_internal ~[31:0]reg~ 0 90 (_array ~reg ((_downto (i 31) (i 0))))))
		(_signal (_internal qt_coin ~[31:0]reg~ 0 90 (_architecture (_uni ))) (_reg ) (_simple) (_flags1))
		(_subprogram
			

		)
		(_type (_external ~wire (vl verilog_logic wire)))
		(_type (_external ~reg (vl verilog_logic reg)))
		(_type (_external ~vbit (vl verilog_logic vbit)))
		(_type (_external ~event (vl verilog_logic event)))
		(_type (_external ~wand (vl verilog_logic wand)))
		(_type (_external ~wor (vl verilog_logic wor)))
		(_type (_external ~tri1 (vl verilog_logic tri1)))
		(_type (_external ~tri0 (vl verilog_logic tri0)))
		(_type (_external ~trireg (vl verilog_logic trireg)))
		(_type (_external ~supply0 (vl verilog_logic supply0)))
		(_type (_external ~supply1 (vl verilog_logic supply1)))
		(_type (_external ~real (vl verilog_logic real)))
		(_type (_external ~realtime (vl verilog_logic realtime)))
		(_type (_external ~tri (vl verilog_logic tri)))
		(_type (_external ~triand (vl verilog_logic triand)))
		(_type (_external ~trior (vl verilog_logic trior)))
		(_type (_external ~bit (vl verilog_logic bit)))
		(_type (_external ~logic (vl verilog_logic logic)))			
		(_type (_external ~logic_reg (vl verilog_logic logic)))			
		(_type (_external ~logic_bit (vl verilog_logic vbit)))
		(_type (_external ~shortreal (vl verilog_logic real)))				
		(_type (_external ~string (vl verilog_logic string)))	
		(_type (_external ~extstd.standard.integer (std standard integer)))
		(_type (_external ~extstd.standard.bit (std standard bit)))
		(_process
			(@ALWAYS#104_0@ (_architecture 0 0 104 (_process 
				(_target(24)(25)(11)(10)(9)(8)(12))
				(_read(25)(11)(10)(9)(8))
				(_sensitivity(14)(15)(16)(17)(18)(19)(20)(21)(23))
				(_need_init)
			)))
			(@ALWAYS#183_1@ (_architecture 1 0 183 (_process 
				(_target(25)(23))
				(_read(13)(22)(24))
				(_need_init)
			)))
		)
	)
	
	
	(_defparam
	)
	(_scope
		(_unit define_next_state begin 0 105
		(_scope
			(_unit Idle begin 0 108
			)
			(_unit Count_Coins begin 0 113
			)
			(_unit Give_Change begin 0 126
			)
			(_unit Select_Items begin 0 130
			)
			(_unit Dispense begin 0 175
			)