Надо аргументацию приводить, чтобы легче было разбираться в сути проблемы. 

unsigned __in __bits(16) x;

unsigned __out __bits(8) z;

void main()
{
if(x==0){
z=0;
} else{
unsigned __bits(16) sqrt = 1;
while(sqrt*sqrt<=x){
sqrt++;
}
unsigned __bits(8) res = sqrt - 1;
z=res;
}
}
 

Ошибка: Несовпадение z:58=255 [10 ns]
 

; [x=2]
x = 2, 10
wait for 2000
assert z = 1, 10

; [x=5]
x = 5, 10
wait for 2000
assert z = 2, 10

; [x=256]
x = 256, 10
wait for 2000
assert z = 16, 10

; [x=3475]
x = 3475, 10
wait for 2000
assert z = 58, 10

; [x=65535]
x = 65535, 10
wait for 2000
assert z = 255, 10

; [x=9876]
x = 9876, 10
wait for 2000
assert z = 99, 10

; [x=0]
x = 0, 10
wait for 2000
assert z = 0, 10
 

Экзамен\Индивидуальные задания\Сконвертированные задания на проектирование\Циклы и переменные\1 - "SQRT" 80615

при значении х=65535 в winter получается ответ 255. Компилятор посчитал 58

Ошибка: Несовпадение z:58=255 [10 ns]
 

 

http://dl.gsu.by/task.jsp?nid=1243719&cid=905
нету пояснения откуда взялись х и у, когда входные переменные IN_0 и IN_1. 

http://dl.gsu.by/task.jsp?nid=1242709&cid=905
неверно указаны стороны треугольника, гипотенуза не может быть меньше катета. Следует переменную AB заменить на AC, тогда условие и приведенный тест будут корректны. 

http://dl.gsu.by/task.jsp?nid=1242735&cid=905

неверный пример к задаче и неверный тест.

неверный тест:
; [3]
a = 0, 10
b = 0, 10
wait for 1000
assert res = 0, 10
wait for 1

a+b = 0;
0 - четное число, т.к. делится на 2 без остатка, следовательно результат должен быть равен 1, а не 0. 

Экзамен\Индивидуальные задания\С-TCPU\Программы по схемам\Комбинационные схемы\5 - "Сумматор" 83416

0 / 1 [test 1]: Размерность переменной a должна быть 2 байта. 1.tc

0 / 1 [test 1]: Ошибка компиляции (tc): Размерность не может превышать 8 бит (строка 1): unsigned __bits(16) a;. 1.tc

По условию задачи размерность переменных 16 бит, но компилятор пишет что размерность не должна превышать 8. 

http://dl.gsu.by/task.jsp?nid=1242911&cid=905

неверный тест:

; [1]
x = 0, 10
wait for 1000
assert res = 1, 10
wait for 1

0 не является простым числом.
res должен быть равен 0. 

[test 1]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


A dec[1]: 0
X dec[1]: 5

Y dec[1]: 1

unsigned __in __bits(8) a;
unsigned __in __bits(8) x;
unsigned __out __bits(8) y = 0;

void main()
{
   unsigned	a0 = 0, a1 = 0, x0 = 0, x1 = 0, x2 = 0, x3 = 0; 
   
   a0 = a & 1;
	a1 = (a & 2) >> 1;
	x0 = x & 1;
	x1 = (x & 2) >> 1;
	x2 = (x & 4) >> 2;
	x3 = (x & 8) >> 3;
	y = (a1 & a0 & x0) | (a1 & a0 & x1)	| (a1 & a0 & x2) |
	(a1 & a0 & x3);
}