| Management number | 233622191 | Release Date | 2026/06/27 | List Price | US$27.62 | Model Number | 233622191 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
Verification of real-time requirements in systems-on-chip becomes more complex as more applications are integrated. Predictable and composable systems can manage the increasing complexity using formal verification and simulation. This book explains the concepts of predictability and composability and shows how to apply them to the design and analysis of a memory controller, which is a key component in any real-time system. Read more
| ASIN | B00F5U5N2U |
|---|---|
| XRay | Not Enabled |
| ISBN13 | 978-1441982070 |
| Edition | 2012th |
| Language | English |
| File size | 8.2 MB |
| Page Flip | Enabled |
| Publisher | Springer |
| Word Wise | Not Enabled |
| Print length | 235 pages |
| Accessibility | Learn more |
| Part of series | Embedded Systems |
| Publication date | September 15, 2011 |
| Enhanced typesetting | Enabled |
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form