The Unknown Component Problem Theory and Applications /

• Main Authors: Villa, Tiziano (Author), Yevtushenko, Nina (Author), Brayton, Robert K. (Author), Mishchenko, Alan (Author), Petrenko, Alexandre (Author), Sangiovanni-Vincentelli, Alberto (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2012.
• Subjects: Engineering.; Logic design.; Electrical engineering.; Electronic circuits.; Circuits and Systems.; Logic Design.; Electrical Engineering.

The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are...