1. PRACTICAL DESIGN VERIFICATION

    PRACTICAL DESIGN VERIFICATION

    8,820

    博客來

  2. DESIGN VERIFICATION WITH E

    DESIGN VERIFICATION WITH E

    5,640

    博客來

  3. ANALYTICAL DESIGN AND NUMERICAL VERIFICATION

    ANALYTICAL DESIGN AND NUMERICAL VERIFICATION

    4,693

    博客來

  4. RECONFIGURABLE SYSTEM DESIGN AND VERIFICATION

    RECONFIGURABLE SYSTEM DESIGN AND VERIFICATION

    10,200

    博客來

  5. VERIFICATION TECHNIQUES FOR SYSTEM-LEVEL DESIGN

    VERIFICATION TECHNIQUES FOR SYSTEM-LEVEL DESIGN

    3,838

    博客來

  6. SAFETY INSTRUMENTED SYSTEM DESIGN: TECHNIQUES AND DESIGN VERIFICATION

    SAFETY INSTRUMENTED SYSTEM DESIGN: TECHNIQUES AND DESIGN VERIFICATION

    3,990

    博客來

  7. LOGIC DESIGN AND VERIFICATION USING SYSTEMVERILOG

    LOGIC DESIGN AND VERIFICATION USING SYSTEMVERILOG

    2,468

    博客來

  8. HETEROGENEOUS SOC DESIGN AND VERIFICATION: HW/SW CO-EXPLORATION, CO-DESIGN, CO-VERIFICATION AND CO-DEBUGGING

    HETEROGENEOUS SOC DESIGN AND VERIFICATION: HW/SW CO-EXPLORATION, CO-DESIGN, CO-VERIFICATION AND CO-DEBUGGING

    3,299

    博客來

  9. CRYPTOGRAPHIC SECURITY ARCHITECTURE: DESIGN AND VERIFICATION

    CRYPTOGRAPHIC SECURITY ARCHITECTURE: DESIGN AND VERIFICATION

    7,000

    博客來

  10. CRYPTOGRAPHIC SECURITY ARCHITECTURE: DESIGN AND VERIFICATION

    CRYPTOGRAPHIC SECURITY ARCHITECTURE: DESIGN AND VERIFICATION

    6,599

    博客來

  11. MULTICORE HARDWARE-SOFTWARE DESIGN AND VERIFICATION TECHNIQUES

    MULTICORE HARDWARE-SOFTWARE DESIGN AND VERIFICATION TECHNIQUES

    4,235

    博客來

  12. DIGITAL TIMING MACROMODELING FOR VLSI DESIGN VERIFICATION

    DIGITAL TIMING MACROMODELING FOR VLSI DESIGN VERIFICATION

    10,199

    博客來

  13. SHIPBOARD POWER SYSTEMS DESIGN AND VERIFICATION FUNDAMENTALS

    SHIPBOARD POWER SYSTEMS DESIGN AND VERIFICATION FUNDAMENTALS

    7,147

    博客來

  14. LOW-POWER DESIGN AND POWER-AWARE VERIFICATION

    LOW-POWER DESIGN AND POWER-AWARE VERIFICATION

    9,599

    博客來

  15. DIGITAL TIMING MACROMODELING FOR VLSI DESIGN VERIFICATION

    DIGITAL TIMING MACROMODELING FOR VLSI DESIGN VERIFICATION

    10,199

    博客來

  16. LOW-POWER DESIGN AND POWER-AWARE VERIFICATION

    LOW-POWER DESIGN AND POWER-AWARE VERIFICATION

    6,599

    博客來

  17. HARDWARE/SOFTWARE CO-DESIGN AND CO-VERIFICATION

    HARDWARE/SOFTWARE CO-DESIGN AND CO-VERIFICATION

    13,199

    博客來

  18. HARDWARE/SOFTWARE CO-DESIGN AND CO-VERIFICATION

    HARDWARE/SOFTWARE CO-DESIGN AND CO-VERIFICATION

    13,199

    博客來

  19. ELECTRONIC DESIGN AUTOMATION FOR IC SYSTEM DESIGN, VERIFICATION, AND TESTING

    ELECTRONIC DESIGN AUTOMATION FOR IC SYSTEM DESIGN, VERIFICATION, AND TESTING

    6,000

    博客來

  20. COMPUTER-AIDED VERIFICATION: A SPECIAL ISSUE OF FORMAL METHODS IN SYSTEM DESIGN ON COMPUTER-AIDED VERIFICATION

    COMPUTER-AIDED VERIFICATION: A SPECIAL ISSUE OF FORMAL METHODS IN SYSTEM DESIGN ON COMPUTER-AIDED VERIFICATION

    10,199

    博客來