ADVISORY/April 26 Tutorial on Verifiable RTL Design Features Free Book by HP Verification Experts.Business Editors ADVISORY...for Wednesday (April 26) SAN JOSE San Jose, city, United States San Jose (sănəzā`, săn hōzā`), city (1990 pop. 782,248), seat of Santa Clara co., W central Calif.; founded 1777, inc. 1850. , Calif.--(BUSINESS WIRE)--April 4, 2000 A tutorial titled "Verifiable RTL (Register Transfer Level) A high-level hardware description language (HDL) for defining digital circuits. The circuits are described as a collection of registers, Boolean equations, control logic such as "if-then-else" statements as well as complex event sequences; Design For Verilog" will be presented by Harry Foster of Hewlett Packard on April 26, 2000 from 9 am to 11:30 am in the Grand Ballroom of the Hilton Hotel, 1250 Lakeside Drive, Sunnyvale, Calif. In an unusual collaboration between publisher and EDA (1) (Electronic Design Automation) Using the computer to design, lay out, verify and simulate the performance of electronic circuits on a chip or printed circuit board. tool provider, Kluwer Academic Publishers and Verplex Systems, Inc. have joined forces to provide a free textbook and tutorial to the first 200 qualified advanced registrants who attend. The free 272-page hardbound hard·bound adj. & n. Hardcover. Adj. 1. hardbound - having a hard back or cover; "hardback books" hardback, hardbacked, hardcover backed - having a back or backing, usually of a specified type book, which normally retails for $98, is titled Principles of Verifiable RTL Design. The book and tutorial advocate a particular Verilog coding style that provides significant verification performance and capacity advantages, as well as facilitating communication between design and verification engineers. The book, which was recently released in April, is co-authored by Lionel Bening and Harry Foster of Hewlett Packard in Richardson, Texas Richardson is a suburb in Dallas County and Collin County, Texas. As of the 2000 census, the city had a total population of 91,803, while according to a 2006 estimate, the population had grown to 99,200. . The tutorial is intended for design and verification engineers of ASICs and ICs. For advanced registration and more information visit www.verplex.com/rtl.html. After the tutorial there will be a brief presentation and demo from Verplex Systems about the latest in formal verification
In the context of hardware and software systems, formal verification technology. About Kluwer Academic Publishers Kluwer Academic Publisher (KAP) is a sector of the Wolters Kluwer Wolters Kluwer N.V. (Euronext: WKL) is a leading global information services and publishing company. The company provides products and services for professionals in the health, tax, accounting, corporate, financial services, legal and regulatory, and education sectors. publishing groups and operates world wide from offices 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 Computer Science and Electrical Engineering electrical engineering: see engineering. electrical engineering Branch of engineering concerned with the practical applications of electricity in all its forms, including those of electronics. publishing program is headquarted in Norwell, Massachusetts, a suburb of Boston. This publishing program features professional books and peer reviewed research journals. The Computer Science and Electrical Engineering publishing program publishes over 75 books per year. These books are intended for the professional seeking the most current information available. In order to provide this, Kluwer's publishing program emphasizes quality authors, fast production schedule ("time to market"), and highly effective worldwide marketing. Please visit Kluwer Academic Publishers web site at http://www.wkap.nl for all the latest information about all of our books and journals. You may order any book directly from Kluwer's web site and your order will be shipped in 2 days. You may also order from Fatbrain.Com for speedy service. Authors interested in publishing their work with Kluwer Academic Publishers are encouraged to contact: Carl Harris, Publishing Director 101 Phillip Drive Norwell, MA 02061 phone: (781) 871-6600 fax: (781) 871-6528 e-mail: carl.harris@wkap.com About Verplex Systems Verplex Systems, Inc. provides the highest performance and easiest to use formal verification products for complex system-on-a-chip ICs. Verplex aggressively develops advanced algorithms and is the superior technology provider in the functional verification market. Verplex is the first to provide a completely integrated formal verification solution from RTL through transistors. Verplex products target ASIC (Application Specific Integrated Circuit) Pronounced "a-sick." A chip that is custom designed for a specific application rather than a general-purpose chip such as a microprocessor. and IC engineers who demand formal verification tools that are both easy to use and can quickly handle multi-million gate designs from hierarchical RTL to flattened netlist. For more information, visit www.verplex.com. Verplex is a trademark of Verplex Systems, Inc. All other companies and products referenced herein are trademarks or registered trademarks of their respective holders. |
|
||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion