Dolphin Integration brings relief to Assertion-Based Verification
Grenoble, France -- June 10, 2011 -- New releases of SLED SDG and SMASH provide extended support of PSL, the Property Specification Language, allowing the generation of property-based random test patterns and the verification of PSL assertions on designs using multiple clocks.
SMASH 5.17 also provides state-of-the-art compliance with the subset of System Verilog Assertions (SVA) dedicated to Assertion-Based Verification.
Dolphin’s standalone waveform viewer ICD, the Interactive Curve Display rel. 1.1, will provide the capability to apply PSL assertions by post-processing existing waveforms coming from any simulator. Simulation results can be post-processed as many times as needed to design a verification plan with new assertions. New or updated assertions can be applied to the simulation results without simulating again the device under test. The screenshot below also shows how assertions can be applied and visualized in ICD.
Free discovery options of these new releases of SLED, SMASH and ICD will be available for download from Dolphin’s website before June end http://www.dolphin.fr/eda.
In the meantime, do not hesitate to contact the EDA Marketing Manager, Nathalie Dufayard, at solutions@dolphin-integration.com.
About Dolphin Integration
Dolphin Integration is up to their charter as the most adaptive and lasting creator in the Microelectronics Design Industry to "enable mixed signal Systems-on-Chip". It stars a quality management stimulating reactivity for innovation as well as independence and partnerships with Foundries. Their current mission is to supply worldwide customers with fault-free, high-yield and reliable sets of CMOS Virtual Components. The strategy is to follow product launches with evolutions addressing future needs, emphasizing resilience to noise and drastic reductions of power-consumption at SoC level, thanks to their own EDA solutions enabling Integration Hardware Modeling (IHM) and Application Hardware Modeling (AHM) as well as early Power and Noise assessment, plus engineering assistance for Risk Control.
For more information about Dolphin, visit: www.dolphin.fr/eda
|
Dolphin Design Hot IP
Related News
- DOLPHIN Integration moving ahead towards Assertion-Based Verification with SLASH
- OneSpin Delivers First SystemC Assertion-Based Formal Verification Solution
- OneSpin Solutions Offers Full Availability of its Cloud Computing System After Successful Beta Program
- OneSpin launches industry’s first comprehensive solution for automatic metric-driven formal assertion-based verification coverage analysis and measurement
- NextOp Reduces Engineering Development Time with BugScope Assertion Synthesis for Assertion-Based Verification
Breaking News
- Ubitium Debuts First Universal RISC-V Processor to Enable AI at No Additional Cost, as It Raises $3.7M
- TSMC drives A16, 3D process technology
- Frontgrade Gaisler Unveils GR716B, a New Standard in Space-Grade Microcontrollers
- Blueshift Memory launches BlueFive processor, accelerating computation by up to 50 times and saving up to 65% energy
- Eliyan Ports Industry's Highest Performing PHY to Samsung Foundry SF4X Process Node, Achieving up to 40 Gbps Bandwidth at Unprecedented Power Levels with UCIe-Compliant Chiplet Interconnect Technology
Most Popular
- Cadence Unveils Arm-Based System Chiplet
- CXL Fabless Startup Panmnesia Secures Over $60M in Series A Funding, Aiming to Lead the CXL Switch Silicon Chip and CXL IP
- Esperanto Technologies and NEC Cooperate on Initiative to Advance Next Generation RISC-V Chips and Software Solutions for HPC
- Eliyan Ports Industry's Highest Performing PHY to Samsung Foundry SF4X Process Node, Achieving up to 40 Gbps Bandwidth at Unprecedented Power Levels with UCIe-Compliant Chiplet Interconnect Technology
- Arteris Selected by GigaDevice for Development in Next-Generation Automotive SoC With Enhanced FuSa Standards
E-mail This Article | Printer-Friendly Page |