This video explains the SVA followed-by Operator as defined by the SystemVerilog language Reference Manual IEEE-1800. We also show practical examples of where the operator should and should not be used when describing properties for formal verification when using JasperGold and for simulation when using Xcelium.
To read more about the course, please go to:
For more information about our courses, visit: http://www.cadence.com/training
For general Product Support, visit http://www.support.cadence.com.
Find more great content from Cadence:
Subscribe to our YouTube channel: / @cadencedesignsystems
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.
Поделиться в:
Доступные форматы для скачивания:
Скачать видео mp4
Информация по загрузке:
Скачать аудио mp3
Похожие видео
array(10) {
[0]=>
object(stdClass)#4991 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "DWWDrga4CL8"
["related_video_title"]=>
string(25) "SVA iff Property Operator"
["posted_time"]=>
string(21) "4 года назад"
["channelName"]=>
string(22) "Cadence Design Systems"
}
[1]=>
object(stdClass)#4964 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "0gt1bMIpwz0"
["related_video_title"]=>
string(95) "Quantum Machines Push Quantum Computing Boundaries with Cadence AWR Design Environment Platform"
["posted_time"]=>
string(25) "4 недели назад"
["channelName"]=>
string(22) "Cadence Design Systems"
}
[2]=>
object(stdClass)#4989 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "BT38K6NqETE"
["related_video_title"]=>
string(125) "Эксперт по кибербезопасности о ваших паролях, вирусах и кибератаках"
["posted_time"]=>
string(27) "6 месяцев назад"
["channelName"]=>
string(22) "Раскадровка"
}
[3]=>
object(stdClass)#4996 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "-Vd1aesu1lY"
["related_video_title"]=>
string(102) "Арестович: Украина и Россия перепутали врагов. @yulialatynina71"
["posted_time"]=>
string(24) "16 часов назад"
["channelName"]=>
string(17) "Alexey Arestovych"
}
[4]=>
object(stdClass)#4975 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "rp_unAZHcVo"
["related_video_title"]=>
string(115) "Шокирующее заявление президента / Выставлен резкий ультиматум"
["posted_time"]=>
string(23) "8 часов назад"
["channelName"]=>
string(10) "NEXTA Live"
}
[5]=>
object(stdClass)#4993 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "sHVuhg0ttZQ"
["related_video_title"]=>
string(45) "FPGA Tutorial 12 | Vivado Simulation Tutorial"
["posted_time"]=>
string(25) "2 недели назад"
["channelName"]=>
string(10) "Ween's Lab"
}
[6]=>
object(stdClass)#4988 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "OkytGgSD1Y0"
["related_video_title"]=>
string(175) "Пошаговый алгоритм диагностики электронного модуля для начинающих | Что такое ESR конденсатора ?"
["posted_time"]=>
string(28) "11 месяцев назад"
["channelName"]=>
string(8) "Я Fixer"
}
[7]=>
object(stdClass)#4998 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "IK6e1SFCdow"
["related_video_title"]=>
string(112) "Базы данных SQL уроки для начинающих. SELECT, JOINS, GROUP BY, INSERT, UPDATE, WHERE"
["posted_time"]=>
string(21) "4 года назад"
["channelName"]=>
string(7) "Ulbi TV"
}
[8]=>
object(stdClass)#4974 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "OI7_e41eOy0"
["related_video_title"]=>
string(166) "✓ Веревку вокруг Земли удлинили на 1 см. Пройдёт ли человек? | Ботай со мной #092 | Борис Трушин"
["posted_time"]=>
string(21) "4 года назад"
["channelName"]=>
string(23) "Борис Трушин"
}
[9]=>
object(stdClass)#4992 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "4fezP875xOQ"
["related_video_title"]=>
string(59) "4 Hours Chopin for Studying, Concentration & Relaxation"
["posted_time"]=>
string(21) "3 года назад"
["channelName"]=>
string(12) "HALIDONMUSIC"
}
}
