Я кодирую a search and replace method, который использует методы поиска, удаления и вставки. Я вызываю эти три метода в то время, и я не уверен, о каких предварительных условиях я должен использовать.
Я хочу написать свойство в SVA, чтобы официально проверить поведение. Вот что я хочу: property prop1(sig1,sig2,sig3,sig4);
@(posedge clk)
$fell(sig1) ##[1:$] first_match($fell(sig2)) ##0 sig
Мне интересно, есть ли оператор для записей в z3, аналогичный оператору «store» для массивов. То есть, учитывая запись, есть ли способ вернуть новую запись, в которой мы изменили один элемент, и все о