@HDL Enhances Functional Verification Software to Improve SoC Design Productivity; @Verifier and @Verifier-PLUS Available from Website for Evaluation.Business Editors/High-Tech Writers SAN JOSE, Calif.--(BUSINESS WIRE)--Jan. 22, 2002 @HDL (Hardware Description Language) A language used to describe the functions of an electronic circuit for documentation, simulation or logic synthesis (or all three). Although many proprietary HDLs have been developed, Verilog and VHDL are the major standards. , Inc. today introduced @Verifier version 2.5, an enhanced version of the company's functional verification software. @Verifier finds the toughest design problems by an innovative application of automatic formal model checking and automatic functional vector generation. The @Verifier version 2.5 has been enhanced to improve overall performance and capacity when running large System-on-Chip (SoC) designs. "Our team develops advanced communication SoC designs. We use extensive simulation as the basis for the functional verification of these systems," stated Dr. Vallath Nandakumar, design engineering section manager at AMD (Advanced Micro Devices, Inc., Sunnyvale, CA, www.amd.com) A major manufacturer of semiconductor devices including x86-compatible CPUs, embedded processors, flash memories, programmable logic devices and networking chips. (NYSE NYSE See: New York Stock Exchange :AMD) in Sunnyvale, California. "@Verifier used automatic property extraction and detected several state machine control logic design bugs which were not immediately uncovered during our simulation-based diagnostic testing Diagnostic testing Testing performed to determine if someone is affected with a particular disease. Mentioned in: Von Willebrand Disease ." "Today's design complexity requires not only faster simulation, but also demands intelligent verification strategies to improve productivity," stated Badru Agarwala, @HDL co-founder, President and CEO (1) (Chief Executive Officer) The highest individual in command of an organization. Typically the president of the company, the CEO reports to the Chairman of the Board. . "The AMD results validate that @Verifier can augment the existing verification flow and automatically detect complex bugs not uncovered during simulation." Specific improvements in @Verifier 2.5 include hierarchical model checking, support for both bounded and un-bounded algorithms, and an advanced algorithm to greatly speed up property checking. These improvements result in delivering over four times capacity increase and faster run times. @Verifier automatically extracts properties from Verilog 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; designs to uncover such problems as multiple clock domain synchronization errors, Finite State Machine See state machine. (mathematics, algorithm, theory) Finite State Machine - (FSM or "Finite State Automaton", "transducer") An abstract machine consisting of a set of states (including the initial state), a set of input events, a set of output events, and a state transition (FSM See finite state machine. 1. (mathematics, algorithm, theory) FSM - Finite State Machine. 2. (networking) FSM - FDDI Switching Module. (3Com implements this device on its LAN switches). ) deadlock, and Code Reachability errors. In addition to detecting these tough problems, the automatic property extraction can find an extensive set of other bugs, including one-hot drivers and decoders, parallel and full case statements, unreachable and terminal state, never reachable conditions and codes, FIFO (First In First Out) A storage method that retrieves the item stored for the longest time. Contrast with LIFO. See traffic engineering methods. FIFO - first-in first-out read/write and reset errors, index-out-of range, and stuck at zero/one. "This release of @Verifier also includes improvements to increase verification productivity by automatically identifying many other synchronization schemes during clock domain analysis. Additionally, failing properties from @Verifier can be debugged more rapidly due to the tight coupling with logic cone tracing now available in our @Designer product," stated Tarak Parikh, @HDL Vice President of Product Engineering. Availability and New Packaging Option @Verifier 2.5 is available immediately for use with engineering workstations running Solaris and Linux operating systems. The software is available for download and evaluation from the company website. In conjunction with the @Verifier version 2.5 release, @Verifier-PLUS is now also available. @Verifier-PLUS includes one network license of @Verifier and three network licenses of @Designer. @Verifier and @Verifier-PLUS are available as a time-based subscription license or as a perpetual license, starting at $30,000. Upcoming Exhibitions @HDLwill be exhibiting the @Verifier and @Designer products at two upcoming tradeshows in Japan and in California; at the Electronic Design and Solution Fair, www.edsfair.com, Yokohama, Japan, January 24 and 25, at the Innotech booth, DT-902, and at the DesignCon 2002, www.designcon.com, Santa Clara, California Santa Clara, California (IPA: /ˌsæntəˈklærə/) , founded in 1777 and incorporated in 1852, is a city in Santa Clara County, in the U.S. state of California. , January 29 and 30, at booth No. 932. About @HDL @HDL is a privately-held electronic design automation (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. ) company focused on accelerating functional verification of SOCs and silicon IP. The @Verifier and @Designer products deliver significant verification productivity improvement through system-level design analysis and debugging, automatic formal model checking, and tight integration with existing Verilog simulation environments. For more information, call 408/441-1317, visit www.atHDL.com or email to info@atHDL.com. @Verifier, @Verifier-PLUS and @Designer are trademarks of @HDL. All other trademarks are the property of their respective owners. |
|
||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion