Hello, Oleg!

 It was 16 Dec 02 20:08, when Oleg Lobachev scribbled to Michael Haritonov:

 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.
 OL> That's somehow the same, we had. But we verified  some pascal program,
 OL> which was for us an algorithms implementation. I suspect hardly
 OL> verification is not very much siturbed if being hardware or software,
 OL> because it's verification of an algorithm.

Yes, that is the point. What is verified is an algorithm of [digital] data
processing.

        Best wishes,
                     Mix.

 ■ Пpиходите всей семьей... Hо оставьте детей дома! (с) Р.Макдональд

--- Try "win /t" to run Windows in text mode