S
sam536
Guest
W moim Design, dwukierunkowe porty tworzą problem weryfikacji formalnej. Próbowałem ustawić set_direction jako wyjścia w realizacji i starała się sprawdzić i jeszcze verifcation nie jest przekazywana w portach. Czy musimy dbać kilka rzeczy na dwukierunkowe porty?. Czy muszę ustawić set_direction zarówno ref i realizacji?. jak dbać o bramkowania zegara zatrzaski realizowane z kompilatora władzy w netlist realizacji. Czy mogę dodać na wszystkie zatrzaski jak set_dont_verify?. Państwa sugestie będą mile widziane. Pozdrawiam, Samba