A formal presentation of a few image processing boards

Shows that an image processing board may be described formally in a manner which is suitable for design verification and documentation. The paper first presents the description of an image processing virtual board from which it then derives the specification of two industrial boards. The first one is the Matrox PIP-512; this is a single board for the IBM PC or plug-compatible computer. The second one is the Datacube VG-121, which has been designed for a Multibus environment.<
>