Andrew Piziali's New Text on Coverage-Driven Verification Leads Over 40 New Titles from Kluwer Academic Publishers Prepared for the Upcoming Design Automation Conference.Business Editors/High-Tech Writers Design Automation Conference 2004 NEW YORK--(BUSINESS WIRE)--May 20, 2004 -- Leading Publisher of Scientific Texts Announces the Release of Piziali's Functional Verification Functional verification, in electronic design automation, is the task of verifying that the logic design conforms to specification. In everyday terms, functional verification attempts to answer the question "Does this proposed design do what is intended?" This is a complex task, Coverage Measurement and Analysis that Tackles One of the Most Important Issues in Hardware and Software Design - With the upcoming Design Automation Conference in sight, leading industry publisher Kluwer Academic Publishers today announced the impending im·pend intr.v. im·pend·ed, im·pend·ing, im·pends 1. To be about to occur: Her retirement is impending. 2. release of forty new titles that will be on display at the conference in San Diego San Diego (săn dēā`gō), city (1990 pop. 1,110,549), seat of San Diego co., S Calif., on San Diego Bay; inc. 1850. San Diego includes the unincorporated communities of La Jolla and Spring Valley. Coronado is across the bay. , June 7-10. Headlining the group is the much anticipated text by Andrew Piziali, titled Functional Verification Coverage Measurement and Analysis. Piziali's work is slated to become the definitive work on hardware and software verification Software verification is a broad and complex discipline of software engineering whose goal is to assure that a software fully satisfies all the expected requirements. There are two fundamental approaches to verification:
Piziali's book addresses the subject of coverage measurement and analysis, a means of quantitatively assessing functional verification progress. In the absence of this process, design and verification engineers (and their management) are left guessing whether or not they have completed verifying the device they are designing. Piziali's book describes techniques engineers can use to build a toolset which, when applied to the verification of their device, allows them to know how close they are to functional closure. Currently a Senior Product Engineer at Verisity Design (NASDAQ NASDAQ in full National Association of Securities Dealers Automated Quotations U.S. market for over-the-counter securities. Established in 1971 by the National Association of Securities Dealers (NASD), NASDAQ is an automated quotation system that reports on :VRST VRST Virtual Reality Software and Technology VRST Virtual Reality System Testing ), Piziali is well known in the area of design verification, including having participated in the verification of S/370 mainframes for STC STC Supplemental Type Certificate (FAA) STC Society for Technical Communication STC Subject to Change STC Surf the Channel (website) STC Sound Transmission Class STC Singapore Turf Club Computer Research and Amdahl, supercomputers with Evans and Sutherland, and microprocessors with Cyrix, Texas Instruments See TI. (company) Texas Instruments - (TI) A US electronics company. A TI engineer, Jack Kilby invented the integrated circuit in 1958. Three TI employees left the company in 1982 to start Compaq. and Transmeta. According to Harry Foster of Jasper Design Automation and Co-Author of Assertion-Based Design, Piziali's new text is the first to introduce a useful taxonomy for coverage metric classification. "In the last few years, coverage has become a must in hardware verification and software testing," adds Shmuel Ur, Research Scientist for IBM (International Business Machines Corporation, Armonk, NY, www.ibm.com) The world's largest computer company. IBM's product lines include the S/390 mainframes (zSeries), AS/400 midrange business systems (iSeries), RS/6000 workstations and servers (pSeries), Intel-based servers (xSeries) . "Because we have had to push people to use coverage, the situation has been exacerbated and is expressed in weekly requests from new projects for help on which coverage models to use, relationship to regression, correct usage in the project cycle and other issues. Piziali's excellent and comprehensive book on coverage, the first of its kind, could not have come at a better time." Kluwer Academic Publishers, the publishers of the new text, is proud to announce the release of the new book and feels it will become an essential tool in every designer's library. In addition to the new text, Kluwer will be rolling out over forty other titles at this year's Design Automation Conference. Interested parties can visit Kluwer at booth number 2124 at the conference and see Engineering Publishing Director Carl Harris on the panel of Session 32: Were the Good Old Days All That Good? For additional information, visit www.wkap.com. About Kluwer Academic Publishers Kluwer Academic Publishers (KAP) is a leading publisher of scientific information, specializing in numerous fields within science, technology, medicine, humanities and social sciences. KAP provides high quality online products and services and annually publishes 650 journals and 1200 books featuring leading authors and researchers from around the world. Located in Dordrecht, Boston, New York Boston is a town in Erie County, New York, United States. The population was 7,897 at the 2000 census. The town is named after Boston, Massachusetts. The Town of Boston is an interior town of the county and one of the county's "Southtowns. and London, the company has 550 employees. The company was acquired by Candover and Cinven in January 2003. For more information on Kluwer, visit www.wkap.com. About Verisity Verisity Ltd. (NASDAQ: VRST) is the leading supplier of process automation solutions for the functional verification market. The Company addresses customers' critical business issues with its market-leading software and intellectual property (IP) that effectively and efficiently verify the design of electronic systems and complex integrated circuits for the communications, computing and consumer electronics global markets. Verisity's VPA VPA Valproate VPA Vancouver Port Authority (Canada) VPA Virtual Population Analysis VPA Voluntary Partnership Agreement VPA Voluntary Placement Agreement VPA Volume Purchase Agreement VPA Vermont Principals' Association solutions enable projects to move from executable verification plans to unit, chip/system and project level 'total coverage' and verification closure, while maximizing productivity, product quality and predictability of schedules. The Company's strong market presence is driven by its proven technology, methodology and solid strategic partnerships and programs. Verisity's customer list includes leading companies in all strategic technology sectors. Verisity is a global organization with offices throughout Asia, Europe, and North America. Verisity's principal executive offices are located in Mountain View, California For the census-designated place, see Mountain View, Contra Costa County, California. For other places called "Mountain View", see . Mountain View is a city in Santa Clara County, in the U.S. state of California. The city gets its name from the views of the Santa Cruz Mountains. , with its principal research and development offices located in Rosh Ha'ain, Israel. For more information, visit www.verisity.com. |
|
||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion