Behavioural Without Runtime PC

  • The order of statements is now important,
  • More than one assignment to a variable may occur,
  • An environment of value/name pairs is needed at compile time. 
          always @(posedge clk) begin

	  v = 0;

	  if (a) begin 
		    v = 1;
		    r = 25;
	  end


	  if (v)  s = t >> 1;


	  s = s << 1 | v[0];

      end