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
You save: £2.00
This book can be found in...
The prices displayed are for website purchases only, and may differ to the prices in Waterstones shops.