adicionar à lista de desejos
Versatile Hardware Analysis Techniques
From Waveform-Based Analysis To Formal Verification
language: english
Publisher:
Springer International Publishing AG, March of 2025 ‧
see product details
113,55€
30% OFF
UkRFek5pOXpSVUZrVjJKQ09FMXFObEpHWkdGcU5VbzFRM2hHUzNGMlkwOTNVbk5WZFhaT1YyVkVRMnBCVERWMVEyNWlSR3BMVXprM2NFUjVaM3B0UlVsM2VEY3pNRTlTYTNWeVJUUjFWbk53YzNkSmVtSm5hbGhHU1VOWlVXdEtjbUpNZFdOdFZIcExVRFJQZWtOdGJWTjRiamh4VkdOWk5XSTNTWEJSZVhOeGQydGpOMmhIYzBjd2NYWm5lakpaWTB0SWVHZFRaMWN3YVV0MldFTTBLMUZZTWxoSU1VNUJlbmRSU2tRMGNrdGxZWFZxWXpkTVQwOVRabUZSWlRWQ1MzSjNTelJJYmtVeVNqUXhjSEZtUjNsNGMyRldSMWRyVFdJM2EyNVdjMEpRT0dKc1dHSlFTeTloZEZsR2FESXZhSEZuTjB3MmVEbHNWa0lyVXk5UlQxZElRMjF1VEU5WWExRkljVkJaVlhaUlRWZE5SRlZGZG5KWE9XSjZNVmQwSzNOQ1FYRlhORUpyZFhoeVRUaEhkV0ZoWjJ4ck9XRmtiREJPYW5obkwySXpTaTlQZFdkbFFuUk9ZVmRqVlN0S2NWcG5jbFUwWkRKNFZTdFhlakkwYlhocmNIQTBRMWRFVjBGbWNFbE9VemRJTkdaM0swZzRZbnBuVm05UGFUSklVV2xOYkcwMWFYTlRha1ZFWlZvcmFVUnBORVJaTmtwc1Frb3lUSGxhWXpkaE1GTjRkR04wTkZGbmRrcHlTRTFESzJGVmMyOTZNRkJFYmpKV1Ewc3lVREJ2VkROM2JsRnhZV2h1Y1d0dFJ6UjJkMnRqYmpscmFteE9WSEJyWkhWMVJYSkJhbkowZVVNNFRFazBVRzA1WWtkTllVNDRTRkpXYW1wUldUQjZWV1EzWmpOeFIwTjZNRWxZV2pkRE9XTnRlazlHUTBaWVprdEhkelZsVVUxUk1FcG9TSFptVTJab1EySk1kbFJsVld0dVdGWjZWblZ2ZWs0M2VHTk9PRGxFVDJsMVZVVmlWV1JVYVM5ek0ySkRSakpKVjJJNWN6TjRNM2d3VERkR1ZqaENUVUpOUmxsU2JWTXpUMnQ0WVZndmRqSXdja3RGTkVSdE4wUlJiVkUzVkE9PTo3dlhzTjJHaWk5ZDBsWXhCNU9wa2dRPT0=
free shipping
Sell your book
SYNOPSIS
The book covers processor verification, formal microcode verification, programmable automated waveform analysis demonstrated for a large variety of previously manual analysis tasks, as well as netlist optimization leveraging formal methods.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783031830921 |
| Publisher: | Springer International Publishing AG |
| Release Date: | March of 2025 |
| Language: | English |
| Dimensions: | 155 x 235 x 20 mm |
| Cover: | Hardcover |
| Pages: | 190 |
| Format: | Book |
| Categories: |
Books in English
>
Engineering
>
Electricity and Energy
|
| EAN: | 9783031830921 |