Models of parallel computation are outlined and compared with a view toward parallel algorithm development. Program design principles involving decomposition, load balancing, communication reduction, latency hiding, and reducing synchronization are illustrated through examples selected from applications areas including engineering and scientific simulations, databases, and optimization. Analytic results and experimental data are used to compare algorithms and evaluate the relative success of the parallelization. More than a third of the huge cost of developing a complex new digital circuit such as a microprocessor is devoted to hardware debugging and testing. A central role in this task is played by logic simulation, which employs software models and methods to verify the correctness of prototype designs.
Emulation involves the use of special hardware to assist in the verification process.
The aim of this tutorial is to provide a comprehensive survey of current practice, problems, and future trends in logic simulation and emulation. The SPI is prepared to sponsor courses of various lengths in cooperation with other non-profit organizations or public corporations to serve the needs of intellectual property professsionals, including patent attorneys. That way, attorneys and others could hear just what patent examiners are hearing, and from the very same people.