wyszukanych pozycji: 2
Formal Methods in Automated Design Debugging
ISBN: 9783639245738 / Angielski / Miękka / 2010 / 152 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. The relentless growth in size and
complexity of integrated circuits over the past decades continues to present new challenges to the electronic design community. Today, debugging is a bottleneck that jeopardizes the efficiency of the design industry. To alleviate this burden, scalable and practical automated solutions are required. This book presents novel techniques and methodologies to bridge the gap between current capabilities of debuggers and the strict industry ... The relentless growth in size and
complexity of integrated circuits over the past decades continues to present new ch... |
|
cena:
271,34 zł |
Finding Your Way Through Formal Verification 2nd Edition
ISBN: 9798374027136 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
|
cena:
114,11 zł |