adicionar à lista de desejos
Advanced Bdd Optimization eBook
language: english
Publisher:
SPRINGER US, December of 2005 ‧
see product details
171,59€
10% OFF
CARD
ZW1aUmNuZFFObFpxV1VscFVUQlZjemt5VDBndlFpc3ZhalUxTUdONFYwczVaRFJQZGpkYVNYTnNiMEZVVVhscVlWUTBUekkyTHpWM1ZrMXVTRmxyV25WdmRURktPV1p0Um5acE9IaEliMHRLZW5SWmFqVnZjazFaZFVKdU1FSlRORFY2TWxoWFlraHdXbnBGTjI5ak1GUk5PVlZOVlZSb0sxQjZNV3BqVjJoMVNURTFTV0ZRTkZadmVXbFhWVFY1TVUxTGN6RXhha1ZPTWt4cFRtRjRaRlpYV0VGVWIyNXpibFZsZW1rM2FVaERPRTVuWlRRNFRFVmtZbTgxZUc1bE16VTBRVzlRYTAxT2FHOXVRMlZSUlV4cVdIcDFVM015TkVadllrTk5LMGt3VlZCUGVXVm1jVlJqYm5FNVZIaFNjazVTWjBveloxcEJNVkF2UmpaaFZreGlVMVZwS3pKRWJpOXNWbkEzVkU1d1RHOXRiRWxIT1c5UWFYQk9RalZxVEhVclltNXBWbHBKUjIxamIwSjNjRVpWZDFkM2NXeFZjVUkxZDFGVFdVSkVUa3BpUzI4M01sbEpRMWgwTW5kQ2VsTjZNbXBwVTFScVZ6VnNLM2R6VmpGeWMyUnRjVzFFU0hSMk5tNXBOUzlaVFdRM1VtRm9kSFJXVlRJMFRFRTNWMGROZHpSeFRtOXNUbWwzUTJrck5sWmFSbGRSVEROamVteFVXRFp6ZUcxVGFrbHVkMWQwV25CSFExSjBaVXcxZWpKRU0zUllUa2hoTm5SVWMwcDJNWEY2ZFVKak1GWXJkR2RPTjNWQ2J6azNiVWRxUkUxM2Eyd3ZaRmt2UlhwRGVUSnhOM2x6Y1dKM2RXVldOV2hvWlhGM2JWUk1lbkZaVTB4RmVuWklNSGRsVlRGRWIyTjJRMDU2TkRCT2NuUnhjMWxKUXpadGVEYzFlR0pKWWxCVVJrZERlVWRwVkhabFREVmxXRVl5YXpodGVEVlhTak5sVkdkWlEwSlVRbFJLWmtjNVdVdFJTRmQxTUZaNk4xQk5VSHBrVWpkSVltWmliak01Y2l0QmNrWmpiMkZyYTBKNVpXUk5SRzVzTkZkS01Ua3diblI1Y1ZGaVRsZDNlVzV1WmtSMlNYVmpjVmQyYTNjNVIzQk1ORmxHVFU1UlExTTRjM3BDZGtSRGFESlJkWEJDVW5ScFFtOUxVa3RwWVVkNlZtSTNRbUptVkVoMlExQkRNSEpYTWxJMWRGZEZlbk5LWjA0MGJGcFhWRlpKZFdSbmMxZ3pVMkkxVFUwME1HWjNOMGhtWVZab1JsRmlWa3M0UFE9PTpmUjNVbTZkOHpvckJhZ1NBcm1CVU13PT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
VLSI CAD has benefited from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of 'Boolean Satisfiability' (SAT). This book provides the results in BDD optimization, covering different aspects of paths in BDDs and the use of efficient lower bounds during optimization.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780387254548 |
| Publisher: | SPRINGER US |
| Release Date: | December of 2005 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9780387254548 |
-
Formal And Practical Techniques For The Complex System Design Process Using Virtual Prototypes30%Springer International Publishing AG104,09€
148,70€free shipping -
Formal Verification Of Structurally Complex Multipliers30%Springer International Publishing AG75,70€
108,14€free shipping