1vending_machine.mgf

RTL in Verilog (Vending Machine)

		)
		)
		(_unit curr begin 0 184
		)
	)
	(_model . vending_machine 3 -1)

)
I 000046 55 1822          1239605591188 $root
(_unit VERILOG 6.1285.6.606 ($root 0 0 ($root 0 0 ))
	(_version v147)
	(_time 1239605590906 2009.04.13 15:53:10)
	(_use (std(standard))(vl(verilog_logic)))
	(_base (E 1))
	(_code d8dad58bd28fdace8edfcc868d)
	(_entity
		(_time 1239605590906)
		(_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          1239605591192 vending_machine
(_unit VERILOG 6.1285.6.606 (vending_machine 0 25 (vending_machine 0 25 ))
	(_version v147)
	(_time 1239605590906 2009.04.13 15:53:10)
	(_source (\./src/vending_machine.v\ VERILOG (\./src/vending_machine.v\ VERILOG)))
	(_use (std(standard))(vl(verilog_logic)))
	(_base (E 3))
	(_code d8dfd78ad58fd9ce8dd7c182dc)
	(_entity
		(_time 1239605590906)
		(_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
			)
		)
		)
		(_unit curr begin 0 184
		)
	)
	(_model . vending_machine 3 -1)

)
I 000046 55 1883          1239606743407 $root
(_unit VERILOG 6.1285.6.606 ($root 0 0 ($root 0 0 ))
	(_version v147)
	(_time 1239606743078 2009.04.13 16:12:23)
	(_use (std(standard))(vl(verilog_logic)))
	(_base (E 1))
	(_code 848fd58b82d38692d28390dad1)
	(_entity
		(_time 1239606743078)
		(_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)
	)
	(_instantiation integer2bcd 0 0 (_entity .  integer2bcd)
	)
	(_model . $root 1 -1)

)
I 000052 55 2758          1239606743411 integer2bcd
(_unit VERILOG 6.1285.6.606 (integer2bcd 0 25 (integer2bcd 0 25 ))
	(_version v147)
	(_time 1239606743078 2009.04.13 16:12:23)
	(_source (\./src/integer2bcd.v\ VERILOG (\./src/integer2bcd.v\ VERILOG)))
	(_use (std(standard))(vl(verilog_logic)))
	(_base (E 2))
	(_code 848bd88ad5d2d492848793ded0)
	(_entity
		(_time 1239606743078)
		(_use )
	)
	(_timescale 1ns 1ns)
	(_parameters    dbg   accs      )
	(_attribute nb_assign )
	(_object
		(_type (_internal ~[31:0]wire~ 0 25 (_array ~wire ((_downto (i 31) (i 0))))))
		(_port (_internal number ~[31:0]wire~ 0 25 (_architecture (_in ))) (_net  (_scalared) ) (_flags1))
		(_type (_internal ~[3:0]reg~ 0 25 (_array ~reg ((_downto (i 3) (i 0))))))
		(_port (_internal out_bcd_1 ~[3:0]reg~ 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal out_bcd_2 ~[3:0]reg~ 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal out_bcd_3 ~[3:0]reg~ 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal out_bcd_4 ~[3:0]reg~ 0 25 (_architecture (_out ))) (_reg ) (_simple) (_flags1))
		(_port (_internal out_bcd_0 ~[3:0]reg~ 0 25 (_architecture (_out ))) (_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#43_0@ (_architecture 0 0 43 (_process 
				(_target(5)(1)(2)(3)(4))
				(_read)
				(_sensitivity(0))
				(_need_init)
			)))
		)
	)
	
	
	(_defparam
	)
	(_model . integer2bcd 2 -1)

)
I 000046 55 1883          1239606796422 $root
(_unit VERILOG 6.1285.6.606 ($root 0 0 ($root 0 0 ))
	(_version v147)
	(_time 1239606796171 2009.04.13 16:13:16)
	(_use (std(standard))(vl(verilog_logic)))
	(_base (E 1))
	(_code e9edb9bbe2beebffbfeefdb7bc)
	(_entity
		(_time 1239606796171)
		(_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)))