Примечания к исследованию дизайна цифровых ИС
Формальность
1. 基本特点
2. Reference Design 和Implementation Design
3. container
4. 读入共享技术库
5. 设置Reference Design
6. 设置Implementation Design
7. 保存及恢复所做的设置
8. 运行verify 命令
1. Основные характеристики:
Synopsys Formality - это формальный инструмент проверки. Вы можете использовать его для сравнения модифицированного проекта с его исходной версией или для того, чтобы определить, являются ли проект уровня RTL и его список соединений на уровне ворот функционально согласованными.
В дизайне IC он обычно используется для сравнения списка соединений на разных этапах: список соединений логического синтеза, список планов этажей, список соединений размещения, список соединений CTSinserted, список соединений P&R, после каждого шага в список соединений добавляется новая логика, но эта новая логика. of не может изменить логическую функцию исходного списка соединений.
2. Эталонный дизайн 和 Проект реализации ：
В формальном процессе проверки участвуют два проекта: один - это стандартный проект, логическая функция которого соответствует требованиям, который в терминологии Synopsys называется эталонным дизайном; другой - модифицированный проект, логическая функция которого еще не проверена. Дизайн
3. контейнер ：
Мы можем понимать контейнер как пространство, используемое Formality для чтения проекта, или «контейнер». Как правило, создаются два контейнера для хранения эталонного дизайна и проекта реализации соответственно.
4. Прочтите в общей технологической библиотеке:
Перед тем, как начать процесс проверки, сначала прочтите все общие технологические библиотеки, которые будут использоваться.
5. Задайте эталонный дизайн:
- 1) Создайте новый контейнер;
- 2) Прочтите список соединений начального уровня;
- 3) Подтвердите, что проект является эталонным;
- 4) Ссылка на эталонный дизайн;
6. Установить дизайн реализации:
- 1) Создайте контейнер с именем impl и прочтите файл clk_insert1.v;
- 2) Подтвердите план реализации;
- 3) Ссылка на дизайн;
- 4) Установите дизайн как текущий, а затем установите для порта test_se значение 0
7. Сохраните и восстановите настройки.
8. Запустите команду verify.
Formality проверит два дизайна в ref и impl в соответствии с заданными настройками.
Преимущества по сравнению с динамическим моделированием:
- Нет необходимости разрабатывать и проверять выкройку
- Быстрее
- 100% покрытие
- Чисто логическая проверка, без учета физической и временной информации
К недостаткам можно отнести:
- Поскольку время не учитывается, его нужно использовать с инструментами STA.
- Перепечатанный контент предоставлен пользователем Zhihu Амен, спасибо ^^: https://zhuanlan.zhihu.com/p/73307269
[Примечание]: личные заметки для изучения, если есть ошибки, пожалуйста, просветите меня, это вежливо ~~~