Showing 1 - 4 results of 4 for search '"High-level verification"', query time: 0.04s Refine Results
  1. 1
    High-Level Verification Methods and Tools for Verification of System-Level Designs /
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Constraint-Based Verification
    by Yuan, Jun, Pixley, Carl, Aziz, Adnan
    Published 2006
    Table of Contents: “…Constrained Random Simulation -- High Level Verification Languages -- Assertion Languages…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Automated Deduction - CADE-17 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings /
    Published 2000
    Table of Contents: “…Invited Talk: -- High-Level Verification Using Theorem Proving and Formalized Mathematics…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    System Verilog for Verification A Guide to Learning the Testbench Language Features /
    by Spear, Chris
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search