By Topic

IEEE P1647 and P1800: two approaches to standardization and language design

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
V. Berman ; Cadence Design Syst., North Andover, MA, USA

Verification is currently the hot topic in EDA. The move to deep-submicron feature sizes in the latest IC designs has caused a paradigm shift, moving the emphasis from design to verification. Designers must create ICs with upwards of 50 million equivalent gates and still meet cost and time-to-market constraints. To do this, they are limiting new logic to a minimum and relying heavily on the reuse of existing functional blocks and embedded memory to create the required chip functionality. This trend puts even more pressure on the already difficult problem of verifying these massive chips. To cope with these increased demands, chip designers, and therefore the EDA industry, have moved to using specialized languages and tools that improve the efficiency of the verification process. Previously, verification involved writing a testbench in a hardware description language (HDL) such as Verilog (IEEE-1364) or VHDL (IEEE-1076). By using the same language for design and verification, the processes tend to be a continuum rather than distinct parts. This is a simple mechanism seemingly not requiring additional training, but it has serious shortcomings when applied to very complex problems. Large projects tend to use specialized languages and, in many cases, separate teams of verification engineers working independently from the design team. Two verification languages emerged in the mid-1990s: Verisity's e and System Science's Vera. These two languages have followed two very different paths.

Published in:

IEEE Design & Test of Computers  (Volume:22 ,  Issue: 3 )