Formal Verification of Floating-Point Hardware Design
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has...
Broadband Communications, Networks, and Systems: 9th International EAI Conference, Broadnets 2018, Faro, Portugal, September 19–20, 2018, Proceedings ... and Telecommunications Engineering, 263)
This book constitutes the refereed post-conference proceedings of the 9th International Conference on Broadband Communications, Networks, and Systems, Broadnets 2018, which took place in Faro, Portugal, in September 2018.
The 30 revised full and 16 workshop papers were carefully reviewed and selected from 68...
FlexSim in Academe: Teaching and Research (EcoProduction)
This book describes a variety of teaching and academic research applications that effectively utilize FlexSim to: (1) provide guidelines, methods and tools for simulation modeling and analysis in a variety of educational settings and (2) address a variety of important design and operational issues in industry. Simulation is...
|Result Page: 467 466 465 464 463 462 461 460 459 458 |