Падает программа CMPA при этом коде:

unsigned __in __bits(4) X = 3 ;
unsigned __out __bits(4) Y = 0;


void main()	{
  int size = 4;
 unsigned __bits(4) sss = 3 ;
  unsigned __bits(4) var = 0;
  int count = 0;
  for(int i = 0; i < size; i++) {
    if ( (sss &(1<<i)) != 0)
      count++;
  }

  for(i = 0; i <= count; i++) {


 }
}

 

int __in __bits(1) x1=0;
int __in __bits(1) x2=1;
int __in __bits(1) x3=1;
int __in __bits(1) x4=1;
int __out __bits(1) y1;
int	__out __bits(1) y2;
int __out __bits(1) y3;
int __out __bits(1) y4;

void main()
{
  y1 = x1  ;
  y2 = ~x2 ;
  y3 = x3&~x2 | ~x3&x2 ;
  y4 = x4&~x2 | ~x4&x3&x2 | x4&~x3 ;
}

int __in __bits(8) a=4;
int __in __bits(8) b=6;
int __in __bits(8) c=5;
int __in __bits(8) d=5;

int __out __bits(16) z;
int __out __bits(16) reg;

void main(){
	if (c+d == a+b) z = reg;
	else if (c+d > a+b) {reg=0; z=0;}
	else if (c+d < a+b){
		if (a>=b && c>=d) {reg=c+a; z=b+d;}
		else if (a>=b && d>c) {reg = a*d; z = b-c;}
		else if (b>a && c>=d) {reg = c+d; z = a+b;}
		else if (b>a && d>c) {reg = (a+b)/(c+d); z = (a+b)/(c+d);}
	}
}

unsigned __in __bits(1) x1;
unsigned __in __bits(1) x2;
unsigned __in __bits(1) x3;
unsigned __in __bits(1) x4;
unsigned __in __bits(1) x5;
unsigned __out __bits(1) y1;
unsigned __out __bits(1) y2;
unsigned __out __bits(1) y3;
unsigned __out __bits(1) y4;
unsigned __out __bits(1) y5;

void main()
{
  int k = 0;
  if (x1) k++;
  if (x2) k++;
  if (x3) k++;
  if (x4) k++;
  if (x5) k++;
  y1 = y2 = y3 = y4 = y5 = 0;
  if (k >= 1) y1 = 1;
  if (k >= 2) y2 = 1;
  if (k >= 3) y3 = 1;
  if (k >= 4) y4 = 1;
  if (k >= 5) y5 = 1;
}

unsigned __in __bits(5) IN;
unsigned __out __bits(1) OUT;

void main()
{
  unsigned __bits(1) x1;
  unsigned __bits(1) x2;
  unsigned __bits(1) x3;
  unsigned __bits(1) x4;
  unsigned __bits(1) x5;
  unsigned __bits(1) y1;
  unsigned __bits(1) y2;

  x1 = IN >> 4 ;
  x2 = IN >> 3 ;
  x3 = IN >> 2 ;
  x4 = IN >> 1 ;
  x5 = IN;

y1 = x2&x3&x5 | x2&x3&x4 | x3&x4&x5 | x2&x4&x5;
y2 = x3&x4&x5 | x2&x4&x5 | x4&x5 | x2&x3 | x3&x4&~x5 | x2&x4&~x5;
OUT	= ~x1&y1 | x1&y2;
}

unsigned __in __bits(3) in_0;
unsigned __out __bits(3) out_0;


void main() {
  unsigned __bits(3) var = in_0 - 1;
  out_0 = 0;
  while((var > 1) && (in_0 != 0)) {
    if (in_0 % var == 0)
	  out_0 += var;
    var--;
  }
}

Архитектура вычислительных систем (ПО4/ИТ3/ПИ2) - 2022
Обучение\Подготовка к контролю практики\К5. Подводящие упражнения\2\5 - "Грибочки" (53950)
http://dl.gsu.by/task.jsp?nid=2245752&cid=1282

int __in __bits(1) x1=0;
int __in __bits(1) x2=1;
int __in __bits(1) x3=1;
int __in __bits(1) x4=1;
int __out __bits(1) y1;
int	__out __bits(1) y2;
int __out __bits(1) y3;
int __out __bits(1) y4;

void main()
{
  y1 = x1  ;
  y2 = ~x2 ;
  y3 = x3&~x2 | ~x3&x2 ;
  y4 = x4&~x2 | ~x4&x3&x2 | x4&~x3 ;
}

 

Архитектура вычислительных систем (ПО4/ИТ3/ПИ2) - 2022
Командные олимпиады\Супер-компьютеры \Контрольный срез (Пример 11)\Проектирование\ПА - "Сравнить" (55851)
http://dl.gsu.by/task.jsp?nid=2245152&cid=1282

в WINTERE проверил все вручную, все работает, на DL не принимает
29.11 11:16 ПА. Сравнить 0 / 100 Ошибка: Несовпадение reg:1=42 [70 ns]

int __in __bits(8) a=4;
int __in __bits(8) b=6;
int __in __bits(8) c=5;
int __in __bits(8) d=5;

int __out __bits(16) z;
int __out __bits(16) reg;

void main(){
	if (c+d == a+b) z = reg;
	else if (c+d > a+b) {reg=0; z=0;}
	else if (c+d < a+b){
		if (a>=b && c>=d) {reg=c+a; z=b+d;}
		else if (a>=b && d>c) {reg = a*d; z = b-c;}
		else if (b>a && c>=d) {reg = c+d; z = a+b;}
		else if (b>a && d>c) {reg = (a+b)/(c+d); z = (a+b)/(c+d);}
	}
}

 

Сохраняйте значения входных при решении задач с памятью
 

Архитектура вычислительных систем (ПО4/ИТ3/ПИ2) - 2022
Командные олимпиады\Супер-компьютеры \Контрольный срез (Пример 11)\Проектирование\ЛФ - "Функция" (44466)
http://dl.gsu.by/task.jsp?nid=2245149&cid=1282

29.11 13:42 ЛФ. Функция 0 / 100 Ошибка: Несовпадение y2:0=1 [5 ns]

unsigned __in __bits(1) x0;
unsigned __in __bits(1) x1;
unsigned __in __bits(1) x2;
unsigned __in __bits(1) x3;
unsigned __in __bits(1) x4;
unsigned __in __bits(1) x5;
unsigned __out __bits(1) y1;
unsigned __out __bits(1) y2;

void main(){
y1=(~x0^x1)&x2;
y2=~(x3&x4|x5);
}

 

void main(){
y1=((~x0)+x1)&x2;
y2=~(x3^x4|x5);
}

Архитектура вычислительных систем (ПО4/ИТ3/ПИ2) - 2022
Контрольные срезы\31 октября\Проектирование\По таблицам истинности\8 - "Sort 5" (98801)
http://dl.gsu.by/task.jsp?nid=2241708&cid=1282

unsigned __in __bits(1) x1;
unsigned __in __bits(1) x2;
unsigned __in __bits(1) x3;
unsigned __in __bits(1) x4;
unsigned __in __bits(1) x5;
unsigned __out __bits(1) y1;
unsigned __out __bits(1) y2;
unsigned __out __bits(1) y3;
unsigned __out __bits(1) y4;
unsigned __out __bits(1) y5;

void main()
{
  int k = 0;
  if (x1) k++;
  if (x2) k++;
  if (x3) k++;
  if (x4) k++;
  if (x5) k++;
  y1 = y2 = y3 = y4 = y5 = 0;
  if (k >= 1) y1 = 1;
  if (k >= 2) y2 = 1;
  if (k >= 3) y3 = 1;
  if (k >= 4) y4 = 1;
  if (k >= 5) y5 = 1;
}

2.12 15:33 8. Sort 5 0 / 1000 Ошибка: Несовпадение y1:0=1 [42 ns] DelTA3 at NIT8 HLCCAD project

; 13
x1 = 0, 2 at 39001
x2 = 0, 2 at 39001
x3 = 1, 2 at 39001
x4 = 1, 2 at 39001
x5 = 0, 2 at 39001
assert y5 = 0, 2 at 42000
assert y4 = 0, 2 at 42000
assert y3 = 0, 2 at 42000
assert y2 = 1, 2 at 42000
assert y1 = 1, 2 at 42000


В программе правильный ответ, проект не принимается 

4. Неоднократное занесение значений на выходные контакты.
http://dl/NForum/posts/topicshow/46.dl?postid=224#224
http://dl/NForum/posts/topicshow/46.dl?postid=1937#1937
http://dl/NForum/posts/topicshow/46.dl?postid=3550#3550
http://dl/NForum/posts/topicshow/46.dl?postid=34228#34228
http://dl/NForum/posts/topicshow/46.dl?postid=44944#44944
http://dl/NForum/posts/topicshow/46.dl?postid=77048#77048
http://dl/NForum/posts/topicshow/46.dl?postid=92167#92167
http://dl.gsu.by/NForum/posts/topicshow/46.dl?postid=93833#93833
 

Архитектура вычислительных систем (ПО4/ИТ3/ПИ2) - 2022
Контрольные срезы\21 ноября\Проектирование\По таблицам истинности\3 - "Сумма делителей" (41229)
http://dl.gsu.by/task.jsp?nid=2242231&cid=1282

unsigned __in __bits(3) in_0;
unsigned __out __bits(3) out_0;


void main() {
  unsigned __bits(3) var = in_0 - 1;
  out_0 = 0;
  while((var > 1) && (in_0 != 0)) {
    if (in_0 % var == 0)
	  out_0 += var;
    var--;
  }
}

Не проходит тесты!!! 

4. Неоднократное занесение значений на выходные контакты.
http://dl/NForum/posts/topicshow/46.dl?postid=224#224
http://dl/NForum/posts/topicshow/46.dl?postid=1937#1937
http://dl/NForum/posts/topicshow/46.dl?postid=3550#3550
http://dl/NForum/posts/topicshow/46.dl?postid=34228#34228
http://dl/NForum/posts/topicshow/46.dl?postid=44944#44944
http://dl/NForum/posts/topicshow/46.dl?postid=77048#77048
http://dl/NForum/posts/topicshow/46.dl?postid=92167#92167
http://dl.gsu.by/NForum/posts/topicshow/46.dl?postid=93833#93833
 

unsigned __in __bits(2) A;
unsigned __in __bits(2) B;
unsigned __in __bits(2) C;
unsigned __out __bits(8) RES;
unsigned __bits(8) reg;

void main() {
    if (A*B < C+1) RES = reg = 0;
    else if (A*B > C+1) RES = reg = (A*B-C);
    else RES = reg;
}

unsigned __in __bits(2) A;
unsigned __in __bits(2) B;
unsigned __in __bits(2) C;
unsigned __out __bits(8) RES;
unsigned __bits(8) reg;

void main() {
    if (A*B < C+1) reg = 0;
    else if (A*B > C+1) reg = (A*B-C);
    RES = reg;
}

char str[64];

char __out out1;

void main()
{
	int g = 0;
	for(int i = 0; i < 64; i++)
	{
		if (str[i] != '#')
			g++;
		else
			break;
	}

	for(int k = 0, j = g; j >= 0; j--, k++)
	{
		if (str[k] == str[j])
		{
			out1 = "yes";
		}
		else
		{
			out1 = "no";
			break;
		}
	}
}

char str[100];

char out1[10];

void main()
{
    int i = 0;
    int count = 0;
    int flag = 1;

    while (str[i] != '#')
    {
        i++;
    }

    count = i;
    i = 0;

    while (str[i] != '#')
    {
		int n = count - i;
        char s = str[n];

        if (str[i] != s)
        {
            flag = 0;
        }

        i++;
    }

    if (flag == 1)
    {
        out1 = "yes";
    }
    else
    {
        out1 = "no";
    }
}