Synthesis from component libraries with costs

سنتز ساخت سیستم خودکار از مشخصات آن است. در زندگی واقعی، سیستم های سخت افزاری و نرم افزاری به ندرت از ابتدا ساخته می شوند. در عوض، یک سیستم معمولا از یک کتابخانه اجزای ساخته شده است. لوزیگ و وردی این شهود را رسمیت دادند و سنتز لاتین را از کتابخانه های مؤلفه مورد بررسی قرار دادند. در زندگی واقعی طراحان به دنبال سیستم های بهینه هستند. در این مقاله ملاحظات بهینه سازی را به تنظیمات اضافه می کنیم. ما بین ملاحظات کیفیت (به عنوان مثال، اندازه - کوچکتر یک سیستم، بهتر است) و قیمت گذاری (به عنوان مثال، پرداخت به شرکت که مولفه تولید). ما مشکلی در طراحی سیستم های با کمترین هزینه و هزینه کیفیت را مطالعه می کنیم. یک نکته کلیدی این است که در حالی که هزینه کیفیت فردی است - انتخاب طراح مستقل از انتخاب هایی است که توسط طراحان دیگر که از یک کتابخانه استفاده می کنند مستقل است؛ قیمت گذاری باعث ایجاد یک بازی تخصیص منابع می شود - طراحانی که از همان اجزای یکسان استفاده می کنند ، با سهم متناسب با تعداد استفاده می شود (یک جزء را می توان چندین بار در یک طرح استفاده کرد). ما هر دو تنظیمات بسته و باز را مطالعه می کنیم و در هر دو مساله یافتن یک طراحی بهینه را حل می کنیم. در یک محیط با طراحان چندگانه، ما همچنین مشکلات بازی گرا از بازی تخصیص منابع القا شده را بررسی می کنیم.