Explore the vast range of titles available.

\"The next generation of computer system designers will be less concerned about details of processors and memories, and more concerned about the elements of a system tailored to particular applications. These designers will have a fundamental knowledge of processors and other elements in the system, but the success of their design will depend on the skills in making system-level tradeoffs that optimize the cost, performance and other attributes to meet application requirements. This book provides a new treatment of computer system design, particularly for System-on-Chip (SOC), which addresses the issues mentioned above. It begins with a global introduction, from the high-level view to the lowest common denominator (the chip itself), then moves on to the three main building blocks of an SOC (processor, memory, and interconnect). Next is an overview of what makes SOC unique (its customization ability and the applications that drive it). The final chapter presents future challenges for system design and SOC possibilities.\"-- \"This book provides a new treatment of computer system design, particularly for System-on-Chip (SOC), which addresses the issues mentioned above\"--

Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors including Wayne Wolf and Dan Gajski explain both formal techniques (model checking, equivalence checking) and simulation-based techniques (coverage metrics, test generation). You get insights into practical issues including hardware verification languages (HVLs) and system-level debugging. The foundations of formal and simulation-based techniques are covered too, as are more recent research advances including transaction-level modeling and assertion-based verification, plus the theoretical underpinnings of verification, including the use of decision diagrams and Boolean satisfiability (SAT).

A functional, human, multiorgan, pumpless, immune system‐on‐a‐chip featuring recirculating THP‐1 immune cells with cardiomyocytes, skeletal muscle, and liver in separate compartments in a serum‐free medium is developed. This in vitro platform can emulate both a targeted immune response to tissue‐specific damage, and holistic proinflammatory immune response to proinflammatory compound exposure. The targeted response features fluorescently labeled THP‐1 monocytes selectively infiltrating into an amiodarone‐damaged cardiac module and changes in contractile force measurements without immune‐activated damage to the other organ modules. In contrast to the targeted immune response, general proinflammatory treatment of immune human‐on‐a‐chip systems with lipopolysaccharide (LPS) and interferon‐γ (IFN‐γ) causes nonselective damage to cells in all three‐organ compartments. Biomarker analysis indicates upregulation of the proinflammation cytokines TNF‐α, IL‐6, IL‐10, MIP‐1, MCP‐1, and RANTES in response to LPS + IFN‐γ treatment indicative of the M1 macrophage phenotype, whereas amiodarone treatment only leads to an increase in the restorative cytokine IL‐6 which is a marker for the M2 phenotype. This system can be used as an alternative to humanized animal models to determine direct immunological effects of biological therapeutics including monoclonal antibodies, vaccines, and gene therapies, and the indirect effects caused by cytokine release from target tissues in response to a drug's pharmacokinetics (PK)/pharmacodynamics (PD) profile. A functional, human, multiorgan, pumpless, immune system‐on‐a‐chip containing recirculating THP‐1 immune cells with cardiomyocytes, skeletal muscle, and liver compartments with a serum‐free medium is developed. This system emulates both a targeted immune response to tissue‐specific damage and a holistic immune response to proinflammatory compound exposure. These immune responses are reflected in changes to parenchymal cell functionality and cytokine release.