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
VFdZdlZtbEpWVzluYnpoNVlsZGphRGhKVG5BNWFYSlVjMnM1ZG0xWVdqWkxUazF5U1VkT1ZFNDJlbEpVT1ZkVE1DOUdVbGREY1VKTWF6ZzRVbTV5VEU1aFpGVTBkREpuYW5WeVRuY3lUMFpXVlRSUmQyTmtNbEYwZUdOQ1ZYVTBSMVJ0WkV4TloxUnJRbFpHVTNNMll6VjBUR1l4TWpSRFNVTTRURkkxYjBacldrVkZMMngzWTJadEsyMTNPREZoUVVaMFdUaElWSEFyVTNWaVV6UlZTbTVxVGxnd056TXdhM1pZZG1GUGRqaEJkRmsxY0ZsTmR6UnhWazVwWWtoclZIQkdMMk0wVFRsdVNscFNRa040ZWs1VGJ6VlhZbnAxTldSMFNHNUZjWE55YmxwSWVrTmpPVVJQWVhVeFNpdEZTREZMT0ZkU1VYUk9UMFp1VVVobWJWaGFTM2hWYTFWbk5FMDNVRTlvZURkcVZtcFlUV1ZsV2tkc2JqUldibUpoYVZSb2RscEZWREZFTUU5YVVpOVpPRkI0TUdvMGVWRTNaMlkxZDFKTVVqRTNORmcwZFRseloxbHBhV2xWT1VsTVQyMVBNakE0WWtWVlF6VkxTWGxFTlZseVIwaFRTQzlXVGxOcFlUaEtlRmQ2UTB4alIxTkJXREpZZVZZd0wwZG5PWGRHU3pSRlMwZDRXazEwU0RCblNUUXZSelZsVWpoSU16TnZSVWhpYTFkMmNsRllUVEJ5Tkdjd04yTlRWalpoZEVKM1RucHRaeTlLUjFSeE1XRnFlWFZ2VDFKQ2JuSllRMjFHTVVOUGVYYzVPRTFZV0VJeVYySmxObnAxV2k5aVQxRkdRalpLUkd0bVEwdHNTVmhvV2sxdEwzcGlObGhGUVhCT05HNUJNMmg1VDAxTFRHUjNZMDV2V25odU5FRmlhbXhFTmtFM1dGQXZjMDRyVlRoalZHMUpjbEZSUVhjMVowSlNhR0pSVVcxNWQwRk5UbUphYUhGRlVHaHNUVTlKV0Vrek5tdGFaRXRvVkhCamVVNDNRVmRFWjNCbFdYVlRRVWd4TmxsTVpGZEJibmhtVkV4b1NHd3dVbVZhVGpOT2FtVlJRbVk1Uldkd1REQkdSV1JhTlE9PTpySnExUVBseXJCNjlpSXc1bDlCWG1RPT0=
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 |