Showing 1 - 5 results of 5 for search 'Bertacco, Valeria', query time: 0.02s Refine Results
  1. 1
    Scalable Hardware Verification with Symbolic Simulation
    by Bertacco, Valeria
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Scalable Hardware Verification with Symbolic Simulation
    by Bertacco, Valeria
    Published 2006
    Get full text
    Electronic Kit Book
  3. 3
    Post-Silicon and Runtime Verification for Modern Processors
    by Wagner, Ilya, Bertacco, Valeria
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
    Published 2013
    Other Authors: “…Bertacco, Valeria…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search