Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Te
164,14 €
The book presents the central idea of approaching design automation problems for logic-level circuits by specific Boolean reasoning techniques. This leads to a unified view on two-level and multi-level logic synthesis.
Jetzt bei Ebay:
