Le livre est actuellement en rupture de stock
En savoir plus sur le livre
The book delves into advanced techniques for hardware verification using symbolic simulation, emphasizing scalability in complex systems. It explores innovative methods to enhance the efficiency of verification processes, addressing challenges in verifying large-scale hardware designs. Key concepts include formal verification methods and the integration of symbolic simulation in practical applications. The author presents case studies and real-world examples to illustrate the effectiveness of these techniques, making it a valuable resource for engineers and researchers in hardware development and verification.
Achat du livre
Scalable Hardware Verification with Symbolic Simulation, Valeria Bertacco
- Langue
- Année de publication
- 2005
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .