K
kslim
Guest
Що ж воріт рівні моделювання, GLS, кришки, що статичний аналіз термінів, STA не поширюється? Чи можу я пропустити GLS на всіх? kslim
Navigation
Install the app
How to install the app on iOS
Follow along with the video below to see how to install our site as a web app on your home screen.
Note: This feature may not be available in some browsers.
More options
You are using an out of date browser. It may not display this or other websites correctly.
You should upgrade or use an alternative browser.
You should upgrade or use an alternative browser.
D
dr_dft
Guest
Залежить від ваших обмежень STA, і скільки ви покриву в GLS. Але в цілому, GLS може виявити проблеми з хрестом годинник доменних меж, скидання послідовності і X-propatation.
B
bc70
Guest
STA тільки настільки ж гарні, як зусилля, докладені в contstraints. Для складної конструкції, з декількома доменами годинник, Сіми ворота рівня завжди корисна для пошуку тих помилкових шляхів, які ви вважали помилковими, але насправді такими не є.
S
seanwu
Guest
Ви можете пропустити моделювання ворота рівня, коли у вас достатньо впевненості в собі.
R
rakeshnunna
Guest
Асинхронна логіка може бути зроблено шляхом GLS, оскільки STA оленяча шкіра покриття цього.
J
joe2moon
Guest
Ворота рівня моделювання може допомогти виявити ті тимчасові виключення, такі як: 1) false_path (и) отл. областях хрест години 2) мульти-велосипедна доріжка (и) отл. відновлення синхронізації шляхом синтезу інструмент Через цих строків виняток, може бути, не правильно описано в терміни обмеження для STA.