What is the Difference Between a Concurrent SVA Property in Procedural Code and an Immediate Asserti

Опубликовано: 31 Март 2026
на канале: Cadence Design Systems
1,396
11

This video describes the differences and similarities between Immediate and Concurrent assertions. Many people would be surprised to learn that if a concurrent assertion is moved into procedural code, then the chances are that it behaves the same. However, if the concurrent assertion is moved into a conditional branch of procedural code then it will not behave the same. This video explains all the nuances and makes recommendations on how to choose whether to define behaviour using concurrent or procedural assertions.

For more information about our courses, visit: https://www.cadence.com/training
For general Product Support, visit https://www.support.cadence.com.

Find more great content from Cadence:

Subscribe to our YouTube channel:    / @cadencedesignsystems  

Connect with Cadence:
Website: http://www.cadence.com
Facebook:   / cadencedesign  
LinkedIn:   / cadence-design-systems  
Twitter:   / cadence  

About Cadence
Cadence enables electronic systems and semiconductor companies to create the innovative end products that are transforming the way people live, work and play. Cadence® software, hardware and semiconductor IP are used by customers to deliver products to market faster. The company’s Intelligent System Design strategy helps customers develop differentiated products—from chips to boards to intelligent systems—in mobile, consumer, cloud data center, automotive, aerospace, IoT, industrial and other market segments. Cadence is listed as one of Fortune Magazine's 100 Best Companies to Work For. Learn more at www.cadence.com.