ABSTRACT
This chapter will provide you with an introduction to the techniques used in the development, testing and verification of the very large-scale logic systems used in modern avionic equipment.
Such systems are usually fabricated on a single silicon chip and may often comprise many hundreds of thousands of individual logic elements that need to be connected in a particular way so that they fulfil the requirements of the system. However, as logic systems become increasingly more complex, a number of problems arise, including:
• the need to be able to simulate, thoroughly test and verify the logic prior to manufacturing the device in which the logic will eventually be embedded;
• the need to be able to describe the logic in a manner that is both understandable and unambiguous;
• the need to take into account the limitations (particularly those related to speed and propagation delay) of the logic elements that will be employed in the target system;
• the need to be able to create logical components suitable for reuse in other complex logic systems.
