Automatic RTL Verification with Ascent IIV: Find Bugs Before Simulation
Join us for a Webinar on May 2
Ascent Implied Intent Verification (IIV) is an early functional verification tool that provides immediate return on investment by quickly finding elusive bugs in RTL blocks. Ascent IIV can improve verification efficiency substantially and detect up to 50% of design functional errors prior to testbench development and simulation. Ascent IIV performs comprehensive verification using automatic check formulation followed by deep-sequential formal analysis.The webinar will introduce tool setup, the kinds of difficult bugs that can be found with the tool, and demonstration of its latest features.
Automatic RTL Verification with Ascent IIV: Find Bugs Simulation Misses
Thursday, May 2, 2013
10:00 AM – 11:00 AM PDT
After registering you will receive a confirmation email containing information about joining the Webinar.
A dramatic application of digital technology has allowed researchers to recover Alexander Graham Bell’s voice from a recording held by the Smithsonian—a breakthrough announced for the first time. From the 1880s on, until his death in 1922, Bell gave an extensive collection of laboratory materials to the Smithsonian Institution, where he was a member of the Board of Regents. The donation included more than 400 discs and cylinders Bell used as he tried his hand at recording sound. Bell today is credited with the invention of the phonograph record which replaced Edison’s cylinder recordings.