摘要：
SystemVerilog 随机化约束速查手册 dist关键字权重分布 使用dist关键字来实现权重分布 := 表示范围内每个权重是相同的 :/ 表示权重要均分到范围的每个值 rand int src; constraint c_dist{ src dist {0:/40, [1:3] := 60; 阅读全文
摘要：
System Verilog SVA 断言速查手册 基础知识 并行断言的调度机制 在preponed阶段采样稳定的变量值 在observe阶段执行并行断言 在reactive区执行pass/fail语句 assert，property，sequence关系 assertion可以直接包含一个prop 阅读全文