1.Проектирование цифровых устройств/Логические элементы, задача "Подпоследовательность". Пишет "Чекер снят по времени" за программу ... 

if ((In>>temp)==S) k=1; 

2. Проектирование цифровых устройств/По логическим функциям, задача "Логика". Надо вычислить выражение:
out_0 = ~( ~((~in_0 & in_1) + (in_2 V in_0)) + ~((~in_2 & in_1) + in_2)) V (in_0 & in_1 & in_2)  

3. Из сконвертированных заданий думаю что все, оставшиеся сейчас нерешёнными, неправильные. 

Перечислю только те, что у меня не прошли:
Схема по программе 81713
Схема по программе 81730
Схема по программе 81731
Схема по программе 81715
Схема по программе 81722  

Я не нытик, просто я не могу прорешать вс DL в поисках неглючных задач.  

Мне кажется, обучение состоит в том, чтобы заранее узнать о правилах игры, а не методом тыка выяснять, что и на какие величины можно сдвигать. 

В лекциях я не видел информации о том, что нельзя сдвигать на переменное число бит, догадаться сам не мог - в Винтере-то работает. Это обучение?  

Это поиск ошибок в HLC-CADе, или в тестах на DL-ке, но никак не обучение. 

Я ничего полезного из знания, что HLCCAD генерирует плохие схемы при сдвиге на переменное число бит, не получил, и в жизни это знание навряд ли будет полезным.  

unsigned __in __bits(64) In;

unsigned __out __bits(1) Out;
void main()
{
  unsigned __bits(8) temp=0;
  unsigned __bits(64) k;
  unsigned __bits(1) t=0;
  k=In;
  for (temp=0;temp<64;temp++) {
    k=k>>1;
	t^=k;
  }
  Out=t;
}

Смещение на константу 1. И что же мы видим в протоколе? "Чекер снят по памяти (>268652544 bytes)" НУ ГДЕ Я ТУТ ИСПОЛЬЗОВАЛ СТОЛЬКО??? 

Короче буду дальше решать, что-то с этой задачей не везёт. 

Вообще только что задумался: а какой нам смысл сдавать hlccad проекты? Всё равно суть c-mpa - это программа на C, как там генерируется схема, это вообще не наши проблемы. Так почему же не сдавать С-шные исходники?  

k=k>>1;

k>>=1;

unsigned __in __bits(4) IN_1;
unsigned __out __bits(4) OUT_1;

void main()
{
  OUT_1=IN_1+3;
}

unsigned __in __bits(8) In;
unsigned __in __bits(4) S;

unsigned __out __bits(1) Out;
void main()
{
  unsigned __bits(8) temp;
  unsigned __bits(4) tmp;
  unsigned __bits(3) i;
  unsigned __bits(1) t=0;
  temp=In;
  for (i=0;i<5;i++)
    {
	  tmp=temp;
	  if (S==tmp){
	    t=1;
		break;
		}
	  temp>>=1;
	}
  Out=t;
}

На вход подаются 3 целых числа в диапазоне от 0 до 31. Определить максимальное число.

Пример1:
A: 0
B: 14
C: 13
A0: 0
B0: 1
C0: 0
EQ: 0

Пример2:
A: 3
B: 25
C: 25
A0: 0
B0: 0
C0: 0
EQ: 1
 

A=25,10 after 1 ps
B=10,10
C=10,10
assert A0=0,2 after 1000 ps
assert B0=0,2 ;after 10 ps
assert C0=0,2 ;after 10 ps
assert EQ=1,2 ;after 10 ps
 

unsigned __in __bits(5) A;
unsigned __in __bits(8) in_0;
unsigned __in __bits(8) in_1;
unsigned __in __bits(3) in_2;

unsigned __out __bits(8) out;

void main()
{
  unsigned __bits(8) temp;
  if ((in_0&(1<<in_2))==(in_1&(1<<in_2)))
    temp=~in_0;
  else temp=~in_1;
  out=temp;
}

Не проходит какой-то тест. Прохожу в отладке в Винтере - всё идеально. 

Тест не найден 

Дальше. Задача Проектирование цифровых устройств\Обработка битов\24 - "Равные биты"
Пишу код:

unsigned __in __bits(5) A;
unsigned __in __bits(8) in_0;
unsigned __in __bits(8) in_1;
unsigned __in __bits(3) in_2;

unsigned __out __bits(8) out;

void main()
{
  unsigned __bits(8) temp;
  if ((in_0&(1<<in_2))==(in_1&(1<<in_2)))
    temp=~in_0;
  else temp=~in_1;
  out=temp;
}

Не проходит какой-то тест. Прохожу в отладке в Винтере - всё идеально.