ПРОЦЕСС ПРОВЕРКИ ДОСТОВЕРНОСТИ ОГРАНИЧЕНИЙ

1. Реализуемый компьютером способ проверки достоверности ограничений в проекте электронного устройства, содержащий этапы, на которых:
принимают, в одном или более вычислительных устройств, проект электронного устройства в приложении для автоматизации проектирования электронных устройств;
анализируют, по меньшей мере, часть проекта электронного устройства в инструментальном средстве проверки достоверности ограничений, выполненном с возможностью анализировать одно или более физических ограничений в проектной схеме размещения, ассоциированной с проектом электронного устройства; и
применяют одно или более правил программируемой проверки соблюдения электрических норм (PERC) и одно или более ограничений к проекту электронного устройства, при этом одно или более PERC-правил выполнены с возможностью выполнять одну или более проверок соблюдения электрических норм.
2. Реализуемый компьютером способ по п. 1, в котором одно или более ограничений включают в себя виртуальные ограничения.
3. Реализуемый компьютером способ по п. 1, в котором одно или более ограничений включают в себя пользовательские электрические ограничения.
4. Реализуемый компьютером способ по п. 3, в котором применение одного или более пользовательских электрических ограничений включает в себя этап, на котором принимают файл задания пользовательских электрических ограничений.
5. Реализуемый компьютером способ по п. 3, дополнительно содержащий этап, на котором: формируют, по меньшей мере, одно пользовательское ограничение в средстве управления ограничениями, ассоциированном с приложением для автоматизации проектирования электронных устройств.
6. Реализуемый компьютером способ по п. 3, в котором применение одного или более PERC-правил включает в себя этап, на котором применяют одно или более PERC-правил в качестве функции проверки достоверности ограничений.
7. Реализуемый компьютером способ по п. 3, дополнительно содержащий этап, на котором обеспечивают многонаправленную передачу данных, по меньшей мере, между двумя из приложения для автоматизации проектирования электронных устройств, инструментального средства проверки достоверности ограничений и одного или более PERC-правил.
8. Реализуемый компьютером способ по п. 2, дополнительно содержащий этап, на котором указывают интересующую топологическую структуру, ассоциированную с проектом электронного устройства.
9. Реализуемый компьютером способ по п. 8, в котором виртуальные ограничения включают в себя, по меньшей мере, одну сеть или устройство, ассоциированное с топологической структурой.
10. Реализуемый компьютером способ по п. 9, в котором одно или более PERC-правил включают в себя, по меньшей мере, одну команду, выполненную с возможностью обеспечивать возможность поиска топологических шаблонов в выгруженном списке соединений, ассоциированном с проектом электронного устройства.
11. Реализуемый компьютером способ по п. 9, дополнительно содержащий этапы, на которых:
преобразуют одно или более виртуальные ограничения в фактические ограничения; и
формируют базу данных, включающую в себя, по меньшей мере, частично, фактические ограничения.
12. Система, содержащая вычислительное устройство, выполненное с возможностью принимать проект электронного устройства в приложении для автоматизации проектирования электронных устройств, причем вычислительное устройство дополнительно выполнено с возможностью анализировать, по меньшей мере, часть проекта электронного устройства в инструментальном средстве проверки достоверности ограничений, выполненном с возможностью анализировать одно или более физических ограничений в проектной схеме размещения, ассоциированной с проектом электронного устройства, причем
вычислительное устройство дополнительно выполнено с возможностью применять одно или более правил программируемой проверки соблюдения электрических норм (PERC) и одно или более ограничений к проекту электронного устройства, при этом одно или более PERC-правил выполнены с возможностью выполнять одну или более проверок соблюдения электрических норм.
13. Система по п. 12, в которой одно или более ограничений включают в себя виртуальные ограничения.
14. Система по п. 12, в которой одно или более ограничений включают в себя пользовательские электрические ограничения.
15. Система по п. 14, в которой применение одного или более пользовательских электрических ограничений включает в себя прием файла задания пользовательских электрических ограничений.
16. Система по п. 14, в которой вычислительное устройство дополнительно выполнено с возможностью формировать, по меньшей мере, одно пользовательское ограничение в средстве управления ограничениями, ассоциированном с приложением для автоматизации проектирования электронных устройств.
17. Система по п. 14, в которой применение одного или более PERC-правил включает в себя применение одного или более PERC-правил в качестве функции проверки достоверности ограничений.
18. Система по п. 14, в которой вычислительное устройство дополнительно выполнено с возможностью обеспечивать многонаправленную передачу данных, по меньшей мере, между двумя из приложения для автоматизации проектирования электронных устройств, инструментального средства проверки достоверности ограничений и одного или более PERC-правил.
19. Система по п. 13, в которой вычислительное устройство дополнительно выполнено с возможностью указывать интересующую топологическую структуру, ассоциированную с проектом электронного устройства.
20. Система по п. 19, в которой виртуальные ограничения включают в себя, по меньшей мере, одну сеть или устройство, ассоциированное с топологической структурой.
21. Система по п. 20, в которой одно или более PERC-правил включают в себя, по меньшей мере, одну команду, выполненную с возможностью обеспечивать возможность поиска топологических шаблонов в выгруженном списке соединений, ассоциированном с проектом электронного устройства.
22. Система по п. 20, в которой вычислительное устройство дополнительно выполнено с возможностью преобразовывать одно или более виртуальных ограничений в фактические ограничения и формировать базу данных, включающую в себя, по меньшей мере, частично, фактические ограничения.