Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs.

If you have ever encountered an abbreviation or acronym you feel pretty sure refers to an organization but could not figure out what the actual name of the organization might be, this book will help. It is more than a beginning -- there are thousands of organizations known by their initials or acronyms included -- and it is particularly useful for smaller or more obscure organizations that were around before internet search engines changed the way we research most things for which we need a fast answer. The geographic focus here is the United States, although many organizations in other...