Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel...
Analytical Method Validation and Instrument Performance Verification 320 pages | English | ISBN-10: 0471259535 |...
Scalable Hardware Verification with Symbolic Simulation 200 pages | English | ISBN-10: 0387244115 | ISBN-13:...
Eliminating Weapons of Mass Destruction: Prospects for Effective International Verification (Global Issues) 242 pages |...
Hardware Verification With SystemVerilog: An Object-oriented Framework 299 pages | English | ISBN-10: 0387717382 |...
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features 302 pages | English...
Metric Driven Design Verification: An Engineer's and Executive's Guide to First Pass Success 388 pages...
Software Verification and Validation: An Engineering and Scientific Approach 182 pages | English | ISBN-10:...
Timing Verification of Application-Specific Integrated Circuits 179 pages | English | ISBN-10: 0137943482 | ISBN-13:...
ASIC and FPGA Verification: A Guide to Component Modeling (Systems on Silicon) 336 pages |...
Scientific computing with automatic result verification, Volume 189 (Mathematics in Science and Engineering) 612 pages...
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New...
Real-Time Systems: Scheduling, Analysis, and Verification 552 pages | English | ISBN-10: 0471184063 | ISBN-13:...
Embedded Systems Handbook: Embedded Systems Design and Verification (Industrial Information Technology) 666 pages | English...
Analog Circuit Design: RF Circuits: Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF...
Writing Testbenches: Functional Verification of HDL Models 508 pages | English | ISBN-10: 1402074018 |...
Specification and Verification of Object-Oriented Software Components 268 pages | English | ISBN-10: 3866440421 |...
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM...
Reliability Verification, Testing, and Analysis in Engineering Design (Mechanical Engineering (Marcel Dekker)) 416 pages |...