Я пытаюсь отлаживать свой код, показанный ниже. Я новичок в SystemVerilog и, надеюсь, смогу извлечь из этого уроки. Дайте мне знать о любых предложениях. ** Ошибки, которые я получаю: Error-[ICPSD] Invalid combination of drivers Variable...

2 вопроса - В формальной проверке на основе утверждений, если я получаю неубедительное утверждение, то каковы различные подходы к обработке этого утверждения или его сведению? Является ли правильным подходом разработать эталонный rtl и написать...