Scalable Hardware Verification with Symbolic Simulation

Materias

• Electronic circuits
• System design
• Integrated circuits

Ediciones (2)

• Scalable Hardware Verification with Symbolic Simulation (2010)

  Springer · ISBN 9781441937391

• Scalable Hardware Verification with Symbolic Simulation (2006)

  Springer · ISBN 9780387299068

Más obras de Valeria Bertacco