will be under maintenance from Friday, Oct. 3rd at 6pm (PST) thru Sunday, Oct 5th at 11pm (PST). login, registration, community posting and commenting functionalities will be disabled.
Home > Community > Blogs > Industry Insights > calypto ceo interview why system realization needs sequential analysis
Login with a Cadence account.
Not a member yet?
Create a permanent login account to make interactions with Cadence more convenient.

Register | Membership benefits
Get email delivery of the Industry Insights blog (individual posts).


* 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: *

Calypto CEO Interview: Why System Realization Needs Sequential Analysis

Comments(0)Filed under: DAC, High-level Synthesis, HLS, verification, C-to-Silicon, Formal, Industry Insights: ARM, EDA360, Sandoval, sequential, Calypto, analysis

One important enabling technology of a transaction-level modeling (TLM) based design flow is an ability to verify the results of high-level synthesis. Calypto Design Systems, a member of the recently-formed Cadence System Realization Alliance, is playing an important role by closely integrating its SLEC sequential equivalence checker with the Cadence C-to Silicon Compiler.

The following video interview with Tom Sandoval, Calypto CEO, was taken right after a talk given by Sandoval at the Cadence booth at the June Design Automation Conference. In the video clip, Sandoval tells why sequential checking is a must for high-level synthesis, how SLEC works with C-to-Silicon in a fairly automated fashion, and how sequential optimization fits into the EDA360 vision.


If video fails to open, click here.

In an additional comment, Sandoval noted that sequential equivalence checking has a role to play in the RTL space as well. If you optimize an RTL design for power or performance, he noted, you'll very likely make sequential changes - such as adding pipeline stages or using sequential clock gating. A sequential checker is needed to verify such changes. Calypto's PowerPro product, in fact, optimizes RTL designs for power and is based on the company's sequential analysis technology.

In his presentation at the Cadence booth, Sandoval noted that "next-generation EDA" will need to move "from combinational analysis to sequential analysis as a technology basis." It's an interesting thought that goes beyond just formal equivalence checking and extends into implementation and optimization, with potential applications from concept through gates.

Richard Goering



Leave a Comment

E-mail (will not be published)
 I have read and agree to the Terms of use and Community Guidelines.
Community Guidelines
The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.