//------------------------------------------------------
//                                                        
//  File          :  assert_file.sv
//  Related Files :                                                     
//  Author(s)     :  Mueller                              
//  Email         :  muelleral82290@th-nuernberg.de       
//  Organization  :  Georg-Simon-Ohm-Hochschule Nuernberg 
//  Notes         :  Stimuli Modul 
//
//------------------------------------------------------
//                   History    
//------------------------------------------------------
//    Version| Author   | Mod. Date  | Changes Made:
//    v1.00  | Mueller  | 27/04/2023 | first code
//------------------------------------------------------


	//properties-> HIER NOCH NICHTS GEMACHT!

	/* example
	property p_ones;
		bus_m.op == 4'h1 |-> bus_m.z == 4'hf;
	endproperty

	property p_and;
		bus_m.op == 4'h4 |-> bus_m.z == (bus_m.a & bus_m.b);
	endproperty

	//assertions

	a_ones : assert property(@(posedge clk) p_ones)
		$display("%t, property asserted: a_ones", $time());
	else
		$display("%t, property failed:   a_ones", $time());

	a_and : assert property(@(posedge clk) p_and)
		$display("%t, property asserted: a_and",  $time());
	else
		$display("%t, property failed:   a_and",  $time());
	*/
