Recently there has been increased interest in the development of computer-aided design programs to support the system level designer of integrated circuits more

After long years of work that have seen little industrial application, high-level synthesis is finally on the verge of becoming a practical tool. The state of h

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Aus

Over the past decade there has been a dramatic change in the role played by design automation for electronic systems. Ten years ago, integrated circuit (IC) des

"This comprehensive reference work provides immediate, fingertip access to state-of-the-art technology in nearly 700 self-contained articles written by over 900