a5c-ai/babysitter/library/specializations/fpga-programming/skills/formal-verification
用于 FPGA 设计的形式属性验证与模型检测技能。
全部 skill