Survey of educational programs in medical information science

The behavior of a VLSI device can be expressed in occam, a language based on communicating processes. It is then possible to establish that the design behaves as intended, by simulation and by proof techniques using the formal semantics of occam. Finally, the occam source can be directly compiled into correct silicon layout.