Reasoning in Boolean Networks: Logic Synthesis and Verification using Testing Techniques

استدلال در شبکه‌های بولی درمان دقیقی از پیشرفت‌های تحقیقاتی اخیر در تکنیک‌های الگوریتمی برای سنتز منطق، تولید آزمایش و تأیید رسمی مدارهای دیجیتال ارائه می‌کند. این کتاب ایده اصلی نزدیک شدن به مشکلات اتوماسیون طراحی مدارهای سطح منطق را با تکنیک‌های استدلال بولی خاص ارائه می‌کند.
در حالی که تکنیک های استدلال بولی برای چندین دهه عنصر اصلی نظریه مدارهای دو سطحی بوده است استدلال در شبکه های بولی یک روش استدلال اساسی برای مدارهای چند سطحی را توصیف می کند. . این منجر به یک دیدگاه واحد در مورد سنتز منطق دو سطحی و چند سطحی می شود. تکنیک‌های استدلال ارائه‌شده برای مشکلات مختلف CAD به کار می‌روند تا سودمندی خود را برای مشکلات مرتبط صنعتی امروزی نشان دهند.
استدلال در شبکه‌های بولی توضیحات شفافی از مفاهیم پایه الگوریتمی در تولید الگوی تست خودکار، سنتز منطق و تایید ارائه می‌دهد و رابطه صمیمی آنها را برای ارائه شهود و بینش بیشتر در مورد موضوع توضیح می‌دهد. مثال های متعددی برای سهولت در درک مطالب ارائه شده است.
Reasoning in Boolean Networks برای محققان در سنتز منطق، آزمایش VLSI و تأیید رسمی و همچنین برای طراحان مدارهای مجتمع که می‌خواهند درک خود را از روش‌های اساسی CAD افزایش دهند، در نظر گرفته شده است.

Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level circuits by specific Boolean reasoning techniques.
While Boolean reasoning techniques have been a central element of two-level circuit theory for many decades Reasoning in BooleanNetworks describes a basic reasoning methodology for multi-level circuits. This leads to a unified view on two-level and multi-level logic synthesis. The presented reasoning techniques are applied to various CAD-problems to demonstrate their usefulness for today's industrially relevant problems.
Reasoning in Boolean Networks provides lucid descriptions of basic algorithmic concepts in automatic test pattern generation, logic synthesis and verification and elaborates their intimate relationship to provide further intuition and insight into the subject. Numerous examples are provide for ease in understanding the material.
Reasoning in Boolean Networks is intended for researchers in logic synthesis, VLSI testing and formal verification as well as for integrated circuit designers who want to enhance their understanding of basic CAD methodologies.