Télécharger le livre :  Scalable Hardware Verification with Symbolic Simulation
Ajouter à ma liste d'envies
Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. It overviews current verification techniques, both based on logic simulation and formal verification methods,...

Editeur : Springer
Parution : 2006-05-14

PDF

94,94