BAILEY,B. & OTHERS ESL DESIGN AND VERIFICATION:PRESCRIPTION FOR ELECTRONIC SYSTEM-LEVEL METHODOLOGY - Amsterdam Elsevier 2007 - xv+462p.,24X19Cms. ISBN: 0123735515 Dewey Class. No.: 621.3815 B154