"The book covers most of the major areas of system-level design and modeling, and much of the work described has been incorporated into a commercial ESL tool . . This book's scope and range of pragmatic ideas make it valuable for a wide audience. . When combined with the extensive list of references (260!), this is a very valuable resource for anyone interested in the area . . It should resonate with students, researchers, and practical designers . ." (Grant Martin, IEEE Design and Test of Computers, May-June, 2007)