Method and system for user programmable design verification for printed circuit boards and multichip modules
First Claim
1. In an computer aided design system for the design of an electronic circuit, a method of verifying design constraints in the electronic circuit, the electronic circuit including a selected plurality of interconnected components, the method comprising the steps of:
- defining a design constraint for a component of the electronic circuit;
providing a verification engine for executing a verification procedure verifying the design constraint of the component;
providing a programming interface for defining the verification procedure verifying the design constraint;
defining the verification procedure in the programming interface, the verification procedure remaining independent of the verification engine until execution of the verification procedure; and
executing the verification procedure with the verification engine to verify the design constraint.
2 Assignments
0 Petitions
Accused Products
Abstract
A method and system for verifying design constraints on printed circuit boards and multichip modules provides for user programmability and design of new constraints and applicable verification procedures for verifying the constraints. New constraints are defined, identifying various attributes dealing with the circuit elements to which the constraint is applied, and precedence of the constraint with respect to existing constraints on circuit element. A verification procedure is defined for the constraint, and the verification procedure is registered in a constraint verification library such that it can be retrieved when an circuit element is supplied to a verification engine for verification of applicable design constraints on the circuit element.
57 Citations
9 Claims
-
1. In an computer aided design system for the design of an electronic circuit, a method of verifying design constraints in the electronic circuit, the electronic circuit including a selected plurality of interconnected components, the method comprising the steps of:
-
defining a design constraint for a component of the electronic circuit; providing a verification engine for executing a verification procedure verifying the design constraint of the component; providing a programming interface for defining the verification procedure verifying the design constraint; defining the verification procedure in the programming interface, the verification procedure remaining independent of the verification engine until execution of the verification procedure; and executing the verification procedure with the verification engine to verify the design constraint. - View Dependent Claims (2, 3, 4, 5)
-
-
6. A computer automated design system for verifying design constraints in an electronic circuit, the electronic circuit including a selected plurality of interconnected components, the system comprising:
-
a processor for executing stored verification procedures, and for retrieving data from memory; a component library memory, operatively coupled to the processor, for storing a database of components for creating an electronic circuit, each component having a component type, and a design constraint; a circuit memory, operatively coupled to the processor and the component library memory, for storing an electronic circuit as a hierarchy of interconnected components, each first component inheriting the design constraints of any second component including the first component; a constraint memory, operatively coupled to the processor, for storing a design constraint for a component of the electronic circuit; a programming interface, managed by the processor, for defining the verification procedure verifying the design constraint; a procedure memory, operatively coupled to the programming interface, for storing the defined verification procedure; and a verification engine, operatively coupled to the processor and the procedure memory, for controlling the processor to retrieve from the procedure memory and execute a verification procedure verifying the design constraint of the component. - View Dependent Claims (7, 8, 9)
-
Specification