Аналогичная ситуация с задачей Экзамен\Индивидуальные задания\Проектирование цифровых устройств\По таблицам истинности\6 - "Делится ли на 2.3.4.5" 28920

unsigned __in __bits(6) in;

unsigned __out __bits(1) two;
unsigned __out __bits(1) three;
unsigned __out __bits(1) four;
unsigned __out __bits(1) five;

void main()
{
	if(in%2==0) two=1; else two=0;
	if(in%3==0) three=1; else three=0;
    if(in%4==0) four=1; else four=0;
	if(in%5==0) five=1; else five=0;

}

Выдает

Ошибка: Несовпадение FOUR:0=1 [100 ps]  

Хотя при ручной прогонке в WInter'е все правильно 

http://dl.gsu.by/task.jsp?nid=322772&cid=597

замечательная задача ) 

Екатерина Боневич:

В задаче
сконвертировать задания на проектирование/вычислить выражение/умножение
неправильный тест№7 там 129*156=12700, что не верно 

Исправлено. 

тоже проблемы с тестами  

Теперь (в новой версии) на DL ведется КОНТРОЛЬ - была ли схема сгенерирована по С-МПА или нарисована вручную. Старая версия такого не умела. Вам нужно взять НОВУЮ версию (диск E:\SPRL\download). 

Конечно на С-МПА. Конвертирование использовалось для АВТОМАТИЧЕСКОГО увеличения количества задач для студентов. А то некоторые жаловаться стали, что им мало задач ... 

unsigned __in __bits(64) In;

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

Ага, отлично, только если бы они ещё работали, так было бы вообще хорошо. БОльшая часть этих задача из трёх новых "сконвертированных" разделов - вообще непонятно что. Отправляю программу, перепроверенную 10 раз, или даже отправляю программу, которая сразу прилагается к заданию - НЕ ПРОХОДИТ!!! То пишет, что неправильные ответы (хотя как может быть неправильный ответ, если в задаче всего-то надо а и b сложить), то пишет вообще загадочную фразу "Достигнут указанный предел моделирования". В общем, из каждого раздела решаемы 3-4 задачи, и они уже методом простого перебора решены. Что делать? Даже энтузиазм пропал решать задачи, раз ничего не работает.  

Или вот такое (задача Unit из раздела Проектирование цифровых устройств/Логические элементы):

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

Как на такой простой программе может мне писать "чекер снят по времени"??? Ну купите новый чекер, не знаю...  

t=In>>temp;

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

unsigned __out __bits(1) Out;
void main()
{
  unsigned __bits(8) temp=0;
  unsigned __bits(1) k=0;
  for (temp=0;temp<5;temp++)
    {
	  if ((In>>temp)==S) k=1;
	}
	Out=k;
}

unsigned __in __bits(1) in_0;
unsigned __in __bits(1) in_1;
unsigned __in __bits(1) in_2;

unsigned __out __bits(1) out_0;
void main()
{
  out_0=~(~((~in_0&in_1)^(in_2|in_0))^~((~in_2&in_1)^in_2))|(in_0&in_1&in_2);
}

Боря надо пытаться ВНИКАТЬ в суть проблем. По этой программе генерируется схема. Игорь Викторович Коршунов (разработчик программы генератора схем) ответит более точно, или поправит меня, если я не прав.
По-моему, проблема в том, что в программе используется СДВИГ НА ПЕРЕМЕННОЕ ЧИСЛО разрядов.

t=In>>temp;

Именно в этом случае программа генерации "производит на свет" схему, которая затем долго компилируется. Надеюсь Игорь Викторович просветит нас ПОЧЕМУ так происходит и можно ли оптимизировать его программу - генератор схем. А пока ты Борис ДОЛЖЕН переписать эту программу на БОЛЕЕ ЭФФЕКТИВНУЮ, не использующую сдвиг на переменное число разрядов (а Ты можешь такую схему реализовать в HLCCAD-е)? Попробуй СПРОЕКТИРОВАТЬ схему, решающую эту задачу - а уж потом напиши программу, которая делает то же самое что и схема.

ЭТО И ЕСТЬ ОБУЧЕНИЕ ....