-
PRACTICAL DESIGN VERIFICATION
8,820
博客來
-
DESIGN VERIFICATION WITH E
5,640
博客來
-
ANALYTICAL DESIGN AND NUMERICAL VERIFICATION
4,693
博客來
-
RECONFIGURABLE SYSTEM DESIGN AND VERIFICATION
10,200
博客來
-
VERIFICATION TECHNIQUES FOR SYSTEM-LEVEL DESIGN
3,838
博客來
-
SAFETY INSTRUMENTED SYSTEM DESIGN: TECHNIQUES AND DESIGN VERIFICATION
3,990
博客來
-
LOGIC DESIGN AND VERIFICATION USING SYSTEMVERILOG
2,468
博客來
-
HETEROGENEOUS SOC DESIGN AND VERIFICATION: HW/SW CO-EXPLORATION, CO-DESIGN, CO-VERIFICATION AND CO-DEBUGGING
3,299
博客來
-
CRYPTOGRAPHIC SECURITY ARCHITECTURE: DESIGN AND VERIFICATION
7,000
博客來
-
CRYPTOGRAPHIC SECURITY ARCHITECTURE: DESIGN AND VERIFICATION
6,599
博客來
-
MULTICORE HARDWARE-SOFTWARE DESIGN AND VERIFICATION TECHNIQUES
4,235
博客來
-
DIGITAL TIMING MACROMODELING FOR VLSI DESIGN VERIFICATION
10,199
博客來
-
SHIPBOARD POWER SYSTEMS DESIGN AND VERIFICATION FUNDAMENTALS
7,147
博客來
-
LOW-POWER DESIGN AND POWER-AWARE VERIFICATION
9,599
博客來
-
DIGITAL TIMING MACROMODELING FOR VLSI DESIGN VERIFICATION
10,199
博客來
-
LOW-POWER DESIGN AND POWER-AWARE VERIFICATION
6,599
博客來
-
HARDWARE/SOFTWARE CO-DESIGN AND CO-VERIFICATION
13,199
博客來
-
HARDWARE/SOFTWARE CO-DESIGN AND CO-VERIFICATION
13,199
博客來
-
ELECTRONIC DESIGN AUTOMATION FOR IC SYSTEM DESIGN, VERIFICATION, AND TESTING
6,000
博客來
-
COMPUTER-AIDED VERIFICATION: A SPECIAL ISSUE OF FORMAL METHODS IN SYSTEM DESIGN ON COMPUTER-AIDED VERIFICATION
10,199
博客來