Hallo Michael!

15 дек 02 16:14, Michael Haritonov schrieb an Oleg Lobachev:

 OL>> is Q true. It's odd, bad, non-intelligent, and we had it in CS1. Butr
 OL>> it has somehow nothing in common with hardware...

 MH> Not it is really so far :) In fact, a digital hardware project is an
 MH> implementation of some data processing algorithm and, therefore, the
 MH> project could theoretically be verified against its specification.

That's somehow the same, we had. But we verified  some pascal program,
which was for us an algorithms implementation. I suspect hardly
verification is not very much siturbed if being hardware or software,
because it's verification of an algorithm. Hm... May be I should make less
practical things in CS...

Greetingz Oleg

Me1->Cnt->not_real.io(2:5030/1400.76||oleglob[at]rambler.ru||icq_uin=117481161)
--- Сейчас играет: Ария - Грязь, ибо рулеззь еси!