in the UK
Aimed at researchers, professors, practitioners, students and other computing professionals, this book looks at topics such as: industrial applications of formal verification; stimulation and power estimation; branch prediction; and new techniques for gate-sizing and retiming.
IEEE Computer Society Press,U.S.
Other books by this author See all titles
This book can be found in...
The prices displayed are for website purchases only, and may differ to the prices in Waterstones shops.