verification

海外直订Formal Verification of Structurally Complex Multipliers Formal Verification of Structurally

【3-4周达】Avionics Software Verification & Validation: Ensuring Safety, Reliability, and Certification [9789999325653]

海外直订Multicore Hardware-Software Design and Verification Techniques 多核硬件软件设计与验证技术

海外直订Principles of Functional Verification 功能验证原则

海外直订Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Computer A

【3-4周达】精装 SystemVerilog for Verification : A Guide to Learning the Testbench Language Features ... [9781461407140]

【3-4周达】精装 Reasoning in Boolean Networks : Logic Synthesis and Verification Using Testing Techni... [9780792399216]

【3-4周达】精装 Design and Verification of Microprocessor Systems for High-Assurance Applications [9781441915382]

【3-4周达】精装 Comprehensive Functional Verification: The Complete Industry Cycle [9780127518039]

【3-4周达】Modular Compiler Verification : A Refinement-Algebraic Approach Advocating Stepwise Abstra... [9783540634065]

海外直订The Secd Microprocessor: A Verification Case Study 第二微处理器:验证案例研究

【3-4周达】精装 A Roadmap for Formal Property Verification [9781402047572]

海外直订Sequential Logic Testing and Verification 顺序逻辑测试与验证

【3-4周达】Writing Testbenches : Functional Verification of HDL Models (Softcover reprint of the orig... [9781475783445]

海外直订Computer Aided Verification: 8th International Conference, Cav '96, New Brunswic 计算机辅助验证:第8届国际会议

海外直订Numerical Software with Result Verification: International Dagstuhl Seminar, Dag 数值软件与结果验证:国际Dag

【3-4周达】ASIC and FPGA Verification: A Guide to Component Modeling [9780125105811]

海外直订Functional Verification Coverage Measurement and Analysis 功能验证覆盖、测量和分析

海外直订Taxonomies for the Development and Verification of Digital Systems 数字系统开发和验证的分类法

【3-4周达】Unsettled Domains Concerning Autonomous System Validation and Verification Processes [9781468601275]

【3-4周达】Design, Specification and Verification of Interactive Systems '99 : Proceedings of the Eur... [9783211834053]

海外直订Automated Technology for Verification and Analysis: 4th International Symposium, 验证与分析自动化技术:第四届国

【3-4周达】精装 Verification and Control of Hybrid Systems : A Symbolic Approach [9781441902238]

海外直订Iet Wiring Regulations: Design and Verification of Electrical Installations

海外直订Computer Aided Verification: 34th International Conference, Cav 2022, Haifa, Isr 计算机辅助验证:第34届国际

海外直订Computer Aided Verification: 18th International Conference, Cav 2006, Seattle, W 计算机辅助验证:第18届国际

海外直订Metric Driven Design Verification: An Engineer's and Executive's Guide to First 度量驱动的设计验证:工程师

海外直订Computer Aided Verification: 19th International Conference, Cav 2007, Berlin, Ge 计算机辅助验证:第19届国际

海外直订Leveraging Applications of Formal Methods, Verification and Validation. Adaptati 利用形式方法、验证和验证的

海外直订Formal Verification of Structurally Complex Multipliers 结构复杂乘数的形式化验证