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.
- ISBN10 081868206X
- ISBN13 9780818682063
- Publish Date 31 January 1998
- Publish Status Active
- Publish Country US
- Imprint IEEE Computer Society Press,U.S.
- Format Paperback
- Pages 700
- Language English