Design Tools For Real-Time Signal Processing Systems
J. B. Clary · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 1987
Increasingly complex electronic systems consisting of multiple programmable processors executing multiple processes in real-time require the use of modern software tools for effective design and analysis. Moreover, design and analysis methodologies suitable for realizing such complex systems must be comprehensive and integrated to provide insight into the myriad technical and cost issues attendant on such systems. These issues include system performance, reliability, and testability, all of which must be related to the specified system requirements to ensure that user needs are met. This paper identifies formal methods and supporting tools that are useful in describing, designing, and analyzing complex digital systems, beginning with user requirements and progressing to specific hardware and software implementation issues.