Verification Techniques for System-Level Design (Systems on Silicon)A must-read in formal and semi-formal verification!
This book will explain how to verify SoC logic designs using formal and semi-formal verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the... | | The Physical Tourist: A Science Guide for the TravelerTypical travel guides have sections on architecture, art, literature, music and cinema. Rarely are any science-related sites identified. For example, a current travel guide for Germany contains one tidbit on science: Einstein is identified as the most famous citizen of Ulm. By contrast, this travel guide walks a tourist through Berlin and... | | Inside Microsoft SharePoint 2013 (Developer Reference)
Build custom SharePoint solutions with architectural insights from the experts.
Take a deep dive into SharePoint 2013, and master the intricacies for designing and implementing robust apps and other business solutions for your organization. Led by an author team with in-depth knowledge of SharePoint architecture,... |