реклама на сайте
подробности
 
 Wiki Wiki  Photo Photo  Forum Forum  Reviews Reviews  Help (!) Help (!)
 
> Эквивалентность двух схем, Если ли подобные утилиты?
des333
сообщение Mar 23 2009, 18:10
Сообщение #1


Профессионал
*****

Группа: Свой
Сообщений: 1 129
Регистрация: 19-07-08
Из: Санкт-Петербург
Пользователь №: 39 079
Существуют ли программы, позволяющие сравнить функциональность нескольких проектов и сделать вывод об их эквивалентности?


--------------------
Мои публикации на Хабре
Моя работа
Go to the top of the page
 
+Quote Post
 
 Start new topic
Ответов
Sefo
сообщение Mar 24 2009, 07:37
Сообщение #2


Местный
***

Группа: Свой
Сообщений: 429
Регистрация: 11-08-05
Из: Санкт-Петербург
Пользователь №: 7 537
Существуют Formal Verification тулы, но они предназначены для проверки соответствия RTL и синтезированного из него Nenlist (и то и другое обычно на каком-либо HDL языке). Искать надо у Ментора, Синопсиса и Каденса. Попробовать, думаю стоит, но совсем не факт, что они подойдут к вашему случаю. Если дойдет до экспериментов, то интесесно узнать результаты.
Go to the top of the page
 
+Quote Post

Сообщений в этой теме
- des333   Эквивалентность двух схем   Mar 23 2009, 18:10
- - Maverick   Цитата(des333 @ Mar 23 2009, 22:10) Сущес...   Mar 24 2009, 05:27
- - cdg   Цитата(des333 @ Mar 23 2009, 21:10) Сущес...   Mar 24 2009, 10:08
|- - des333   Цитата(cdg @ Mar 24 2009, 13:08) Смотря о...   Mar 24 2009, 16:08
- - SM   Ну елки-палки, как это нету таких программ? Forma...   Mar 24 2009, 19:06
|- - vitan   Цитата(SM @ Mar 24 2009, 22:06) Formality...   Mar 24 2009, 19:15
||- - SM   Цитата(vitan @ Mar 24 2009, 22:15) Вроде ...   Mar 24 2009, 19:18
||- - vitan   Ну да, это все правильно. Просто, des333 вроде бы,...   Mar 24 2009, 19:22
||- - SM   Цитата(vitan @ Mar 24 2009, 22:22) От син...   Mar 24 2009, 20:15
||- - disel   Цитата(SM @ Mar 24 2009, 23:15) Скачать -...   Mar 24 2009, 20:28
||- - atlantic   Цитата(SM @ Mar 24 2009, 23:15) И... Если...   Mar 24 2009, 20:36
||- - SM   Цитата(atlantic @ Mar 24 2009, 23:36) Ага...   Mar 24 2009, 20:42
||- - Maverick   Спасибо , просветили!!! Я честно не з...   Mar 25 2009, 06:12
|- - yes   Цитата(SM @ Mar 24 2009, 22:06) Ну елки-п...   Mar 25 2009, 17:32
|- - SM   Цитата(yes @ Mar 25 2009, 20:32) то есть ...   Mar 26 2009, 10:35
|- - yes   Цитата(SM @ Mar 26 2009, 13:35) Два полно...   Mar 26 2009, 17:36
- - des333   SM: Огромное спасибо! Осталось только найти...   Mar 24 2009, 19:15
- - SM   Хренасе, до чего дошел прогресс.... http://www.s...   Mar 24 2009, 20:31

 

Reply to this topicStart new topic
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0

 

RSS Текстовая версия Сейчас: 30th July 2025 - 14:32
Рейтинг@Mail.ru


Страница сгенерированна за 0.01379 секунд с 7
ELECTRONIX ©2004-2016