课程大纲:
SystemVerilog Assertion 理论和实践培训
第1节
SV_01_course_overview
第2节
SV_02_verification_environment
第3节
SV_03_interface_program
第4节
SV_04_Data_types_01
第5节
SV_04_Data_types_02
第6节
SV_05_program_basics
第7节
SV_06_OOP
第8节
SV_07_Randomization
第9节
SV_08_fork_and_communication
第10节
SV_09_threads_IPC
第11节
SV_10_assertion_summary
第12节
SV_11_sva_sequence
第13节
SV_12_assertion_property
第14节
SV_13_coverage