P1223:

class process;
enum state { FINISHED, RUNNING, WAITING, SUSPENDED, KILLED };//恐らく　typedef enum { ... } STATE;の誤り

p539:

class CA;
rand byte x, y;
byte v, w;
constraint c1 { x < v && y > w );//constraint_expressionの後に;がない 
endclass