CHƯƠNG 4: BEHAVIORAL MODELING
VARIABLE ASSIGNMENT STATEMENT:
wait-statement if-statement case- statement loop- statement null- statement exit- statement next- statement assertion- statement report- statement procedure-call- statement return- statement end process[process-label]
Architecture body ,AOI_SEQUENTIAL,hiên diện sớm hơn ,chứa một phát biểu quá trình .Phát biểu quá trình này cĩ 4 tín hiệu trong danh sách độ nhạy của nĩ và một khai báo biến .nếu 1 sự kiện xảy ra trên một tín hiệu nào đĩ thì quá trình được thực thi.Điều này được hồn thành bởi phát biểu thực thi 1 đầu tiên ,kế đĩ là phát biểu 2 ,sau nữa là phát biểu 3,rồi đến phát biểu 4 .Sau đĩ ,quá trình trì hỗn vơ hạn định và chờ cho đến một sự kiện khác xảy ra trên trên một tín hiệu trong danh sách độ nhạy .
4.4
VARIABLE ASSIGNMENT STATEMENT:
Biến cĩ thể được khai báo vàsử dụng bên trong một phát biểu quá trình .một biến được gán một giá trị sử dụng phát biểu gán biến ,mà phát biểu này cĩ hình thức như sau :
variable-object:=expression;
Biểu thức được xác định giá trị khi phát biểu được thực thi và giá trị được tính tốn được gán cho biến 1 cách tức thời.
Biến được tạo tại thời điểm sản sinh và duy trì giá trị của nĩ trong suốt thời gian chạy chương trình (như trong C ).Điều này bởi vì quá trình khơng bao giờ được thốt trong mỗi trạng thái active,nghĩa là được thực thi,hoặc trong 1 trạng thái trì hỗn ,nghĩa là ,chờ cho đến khi một sự kiện chắc chắn xảy ra.Một quá trình bắt đầu bước vào tại điểm khởi đầu của simulation.tại thời điểm này nĩ được thực thi cho đến khi bị trì hỗn bởi 1 phát biểu wait hoặc 1 sensitivity list .
Xem thí dụ về phát biểu quá trình sau : process(A)
variable EVENT_ON_A:INTEGER:= -1; begin
EVENT_ON_A:=EVENT_ON_A+1; end process;
Tại điểm đầu của simulation,Quá trình được thực thi một lần .Biến EVENT_ON_A được gán giá trị -1 sau đĩ tăng lên 1 .Sau đĩ ,thời điểm bất kỳ xảy ra sự kiện trên tín hiệu A,quá trình cĩ hiệu lực và phát biểu gán biến đơn được thực thi.Nĩ làm cho biến EVENT_ON_A tăng lên 1 .Tại thời điểm kết thúc của simulation,biến EVENT_ON_A chứa tổng số sự kiện xảy ra trên tín hiệu A
Sau đây là một thí dụ khác của phát biểu quá trình : signal A,Z:INTEGER;
. . .
PZ:process(A); --PZ là nhãn của quá trình variable V1,V2:INTEGER; begin V1:=A-V2;--statement 1 Z<= -V1;----statement 2 V2:= Z+V1=2; --statement 3 end process PZ;
Nếu một sự kiện xảy ra trên tín hiệu A tại thời điểm T1 và biến V2 được gán giá trị là 10,trong phát biểu thứ 3,sau đĩ một sự kiện xảy ra trên tín hiệu A tại thời điểm T2, giá trị của V2 được sử dụng trong phát biểu 1 sẽ cũng là 10
Một biến cũng cĩ thể được khai báo bên ngồi 1 quá trình hoặc 1 chương trình con .Một biến cĩ thể được đọc và cập nhật bởi 1 hoặc cĩ thể nhiều quá trình ,những biến này được gọi là shared variable
4.5