Latest News
Synopsys Delivers 100X Faster Formal Verification Closure for AI, Graphics, and Processor Designs
- VC Formal Datapath Validation application delivers over 100X speed-up in formal verification between a reference C/C++ algorithm and RTL design implementation over conventional techniques
- The new app integrates VC Formal’s debug and usability features enabled through Verdi with proven HECTOR technology
Synopsys, Inc. (Nasdaq: SNPS) today introduced the Datapath Validation (DPV) app as part of its VC Formal® solution. The DPV app leverages proven HECTOR
technology to deliver exhaustive formal verification closure on datapath-intensive designs during the design and verification cycle for broad market adoption. The app also delivers over 100X speed-up in formal verification between a reference C/C++ algorithm and RTL design implementation over conventional techniques of complex system-on-chip (SoC) designs, and enables exhaustive functional verification in situations previously deemed impractical.
“Our mission is to develop high-quality CPU, GPU, and system IP for mobile SoC applications, which requires a highly competitive feature set, excellent overall performance, and very low power consumption under extremely tight schedules,” said Xiushan Feng, Formal Verification Lead for the GPU & CPU team at Samsung SARC and Advanced Computing Lab. “Formal verification of C/C++ algorithms provides exhaustive verification for our datapath-centric designs to efficiently discover corner-base bugs in minutes, where other techniques would have been impractical. VC Formal’s HECTOR technology delivers best-in-class performance and quality of results, which enabled us to successfully reduce our simulation efforts and helped catch more than 30 RTL bugs in our designs.”
Artificial intelligence (AI), graphics, and processor designs involve complex algorithmic functional blocks that are datapath heavy and require their behavior to be modeled in high-level languages such as C/C++. The implemented RTL for these designs needs to be subsequently verified for functional equivalence with the C/C++ model. The native integration of VC Formal with Synopsys’ Verdi® automated debug system enables design and verification teams to easily leverage formal technologies and automate root cause analysis of formal results. Additionally, the native integration of VCS in VC Formal facilitates easy insertion of formal analysis into the existing verification environment.
The DPV app joins the growing portfolio of VC Formal apps, including Property Verification (FPV), Sequential Equivalence Checks (SEQ), Register Verification (FRV), Formal Coverage Analyzer (FCA), Connectivity Checking (CC), X-Propogation Checks (FXP), Formal Testbench Analyzer (FTA), Automatic Extraction of Properties (AEP), and Regression Mode Accelerator (RMA).
“There is an increase in datapath-intensive designs that require specialized datapath validation techniques to achieve faster verification closure,” said Ajay Singh, senior vice president of Engineering in the Verification Group at Synopsys. “We have long collaborated with industry leaders to deliver comprehensive verification solutions for advanced SoCs. Our investment in datapath validation technology enables a faster path to verification closure and accelerate time-to-market.”
SOURCE Synopsys, Inc.
Two titans of entertainment are joining forces! UK-licensed casino and sportsbook, Casino Kings, and the legendary boxing platform, BoxNation, have announced a dynamic new partnership, set to deliver a knockout blow of exclusive content, promotions and responsible betting experiences for fans. Becoming their official boxing betting partner, Casino Kings is stepping into the ring with one of the most respected names in the fight game, promising fans a ringside seat to even better betting.
This isn’t just a bell ringing for another sponsorship deal; it’s a knockout partnership designed to bring you closer to the action than ever before. Casino Kings branding will be engrained into the boxing industry, prominent across BoxNation’s popular YouTube channel through branding and content, where the biggest names and personalities in boxing step into the spotlight for exclusive interviews.
For you savvy fight fans, Casino Kings will be rolling out a series of exclusive offers, adding even more thrill to 2025’s already-explosive boxing schedule. And here’s a great way to kick things off: Casino Kings is welcoming new members with a £35 Free Bet! Just deposit a minimum of £10 and place bets of £10 or more to grab yours. Don’t miss out!
Given BoxNation’s powerful presence in the boxing arena and Casino Kings’ reputation as a premier UK online casino and sports betting platform, this partnership is bound to be a knockout you won’t want to miss.
“We’re buzzing to partner with BoxNation—this really puts Casino Kings in the heart of the action.” Says Jack Dunn, COO of Casino Kings. “The team have been absolutely brilliant, and we’re excited to get stuck into some top-tier behind-the-scenes boxing content for the fans!”
“BoxNation is delighted to announce our partnership with Casino Kings. Casino Kings has a great reputation for delivering sports and entertainment options for users. We look forward to working together with Casino Kings to create a safe and enjoyable experience for fans.” adds Umar Ahmed, BoxNation Channel Lead.
Want to be the first to know? Follow Casino Kings and BoxNation on social media now for instant updates, special offers, and all the ringside action!
About BoxNation:
BoxNation is a dedicated boxing news and media outlet, providing fans exclusive interviews and behind the content featuring the boxing’s biggest names and personalities. With over 95k YouTube subscribers and 50 million plus views, BoxNation is delivering the best boxing content from all around the world. To find out more about BoxNation, visit: www.youtube.com/@BoxNationOfficial
About Casino Kings:
Casino Kings isn’t just another UK-licensed online casino and sportsbook – it’s a platform that puts player well-being first. Deeply committed to responsible gambling, they offer a secure environment equipped with robust tools to empower users to manage their play effectively. Beyond this dedication, Casino Kings delivers consistently fair and competitive odds across a thrilling selection of sports. Plus, the king casino team consistently provides their players with the best welcome bonuses, weekly promotions, daily offers, and much more!
Let’s keep the fun in the game. Please remember to gamble responsibly. 18+ only. For more information, visit: www.gambleaware.org.
Blockchain
India’s Fintech Market to Reach $990 Billion by 2032 at 30.2% CAGR – Fintech Firms Eye Untapped Indian Digital Payments Market with Secure, Low-Cost Digital Financial Solutions
Blockchain
Colb Asset SA Raises $7.3 Million in Oversubscribed Round to Bring Pre-IPO Giants to Blockchain
-
Blockchain Press Releases5 days agoHTX Premieres USD1 Stablecoin Globally, Partnering with World Liberty Financial to Forge a New Era of Decentralized Economy
-
Blockchain4 days ago
Colb Asset SA Raises $7.3 Million in Oversubscribed Round to Bring Pre-IPO Giants to Blockchain
-
Blockchain Press Releases3 days agoHTX and Justin Sun Launch $6M Mars Program Special Edition, Offering One User a Historic Space Journey
-
Blockchain4 days agoBlocks & Headlines: Today in Blockchain – May 7, 2025 | Coinbase, Riot Games, Curve DAO, Litecoin, AR.IO
-
Blockchain3 days ago
Blocks & Headlines: Today in Blockchain – May 9, 2025 | Robinhood, Solana, Tether, China, Women in Web3
-
Blockchain2 days ago
Bitget Blockchain4Youth sostiene l’innovazione del Web3 e dell’IA all’hackathon “Build with AI” di Google Developer Group
-
Blockchain Press Releases5 days agoJuCoin made a global impact at TOKEN2049 Dubai, advancing its ecosystem with the “Peak Experience” vision and JuChain’s robust tech.
-
Blockchain Press Releases4 days agoGRVT Launches Biggest Ever Trading Competition for Retail Traders, Offering Up to 175,000 USDT in Prizes
