Home > Products > Functional Verification > Customer Success

Share

  • Email
  • Social Web
* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 Functional Verification 

3Leaf Systems
Design Challenge
Shorten the overall design and verification process time
Incorporate a formal verification strategy into the existing flow to increase the quality of results over simulation

Cadence Solution
Introduced the design team to a formal verification strategy as part of the Assertion-based Verification flow that allowed them to accelerate ramp up and achieve desired results for both quality and efficiency
 Read Full story »

Agere Systems
Design Challenge
Adopt a new verification environment to enable hardware/software co-verification
Speed development time for 6-million-gate Link Layer Processor

Cadence Solution
Demonstrated the power of the Cadence Palladium® accelerator/ emulator by bringing up a new verification environment in only two weeks
Success of initial project convinced Agere to choose the Incisive Palladium II system for future designs
 Read Full story»

Anchor Bay
Design Challenge
Larger chips but shorter design cycles
Integrating an entire transceiver supporting multiple standards onto a single SoC

Cadence Solution
Cadence Incisive Xtreme III boosts design team verification productivity with instant "hot swap" among simulation, acceleration, and emulation
 Read Full story»

ClearSpeed
Design Challenge
Achieve better compliance measurement of verification processes
Reach coverage goals easier and faster to meet aggressive time-tomarket schedules
Improve project management capabilities

Cadence Solution
The Cadence Compliance Management System provided ClearSpeed a simple, automated path to complete compliance verification
Read Full story »

Fujitsu Microelectronics
Design Challenge
Align power design around CPF with accurate simulation
Move to smaller geometries
Reduce design time and improve QoS

Cadence Solution
Integrated, proven design solution leverages success in new applications
Accurate verification of final design improves silicon
 Read Full story»

iVivity
Design Challenge
Bring to market iDiSX, a high-performance, multi-core SoC that combines high integration with low power to accelerate the development of intelligent storage systems
Leverage proven IP to reduce risk, identify bugs, and accelerate project completion

Cadence Solution
The PCI Express IP solution, a plug-and-play component incorporating automatic stimulus generation, assertion checking, and functional coverage at the module, chip, and system levels
 Read full story »

Newport Media
Design Challenge
Expose hard-to-find bugs early in the design cycle of AHB master/ slave to verify protocol compliance
Write more extensive tests to uncover and explore corner cases

Cadence Solution
The Cadence Incisive Formal Verifier solution including Assertion Based Verification IP (VIP) were used to improve the productivity and quality of functional verification earlier in the design and verification process
 Read full story »

Novafora
Design Challenge
Architect, design, and verify an SoC design with 10s of millions of gates
Rapidly integrate and analyze third-party IP into several new architectures to maximize performance and features
Ability to assess system-level performance and validate critical HW/SW functions before silicon is available

Cadence Solution
Create, prototype and verify a new design in as little as three days
Explore dozens of design alternatives in a short period of time
Find severe bugs early with hardware/software co-verification and validation
 Read Full story»

Philips
Design Challenge
Adopt a new process that would allow the team to achieve higher productivity without disrupting their existing design flow

Cadence Solution
Deployed the Cadence Incisive® Xtreme® Server, an easy-to-use solution that integrated seamlessly into the team's existing SoC design flow
 Read full story »

Renesas
Design Challenge
Migrate Renesas engineers to a new system-level design methodology based on next-generation high-level synthesis (HLS)
Demonstrate significant productivity improvements in creation and retargeting of RTL designs

Cadence Solution
Two-year R&D partnership with Renesas engineers to adapt HLS technology developed at Cadence for production usage at Renesas
Next-generation Cadence HLS technology tailored and refined for real production based on feedback from Renesas engineers
Comprehensive design and verification methodologies/flows specified by and developed with Renesas engineers in order to integrate HLS with other Renesas production design flows
 Read Full story»

Sigma
Design Challenge
Accelerate verification schedules and provide firmware engineers with earlier access to a hardware platform to verify their designs in a pre-silicon environment
Establish a methodology that can be easily integrated into existing processes

Cadence Solution
Palladium series of hardware assisted verification technologies with both in-circuit emulation and transaction-based acceleration capabilities
 Read Full story»

Silicon Laboratories
Design Challenge
Full-chip verification was much too slow with regard to integrating the analog and digital content at the full chip level
Verification productivity must be improved by allowing users to begin the digital verification effort much sooner in the overall process

Cadence Solution
Cadence Incisive Enterprise Simulator running the Digital Mixed Signal option
Cadence Mixed-Signal Solution allows users to seamlessly connect Real Value Models to the digital content
 Read Full story»

STMicroelectronics
Design Challenge
Verify a 100-million-transistor IC on a tight schedule using existing verification environment

Cadence Solution
HW-based verification system
 Read full story »

STMicroelectronics
Laurent Mailet-Contoz
STMicroelectronics
Laurent Mailet-Contoz, Project Leader from STMicroelectronics uses the Incisive verification platform at the transaction level to reduce their design cycle and help the company to be the first to new markets.

Sun Microsystems
Design Challenge
Develop the highest throughput and most eco-responsible processor available
Employ a verification platform that could eliminate costly respins and accelerate project completion

Cadence Solution
Seamlessly integrated simulation, acceleration, and in-circuit emulation into a single verification environment
 Read full story »

Sun Microsystems
Jai Kumar
Sun Microsystems
Jai Kumar, Verification Technologist from Sun Microsystems shared his verification experience of advanced development of UltraSPARC processors with Cadence Incisive Xtreme series.

Unisys
Design Challenge
Expose hard-to-find bugs early in the design cycle of the complex ES7000 Real-Time Capacity Server Series
Verify design blocks prior to testbench simulation for faster time-to-market

Cadence Solution
The Cadence Incisive Formal Verifier technology as part an assertion-based verification flow was incorporated into the production design flow complementing Incisive Design Team Simulation and Incisive Palladium Emulation
Design with Verification in mind started with logic design teams early in the project cycle minimizing lengthy tail-end functional iterations
Productivity and product quality were dramatically increased
 Read full story »

UPEK
Design Challenge
Speed the design cycle
Incorporate an assertion-based verification methodology (across formal analysis and simulation) into an existing design and verification flow

Cadence Solution
Address key verification issues up front in the design
Add Incisive Formal Verifier (including Incisive Design Team Simulator) to UPEK's existing flow
 Read full story »