Implementing a Design Rule Check (DRC)

[thunder-hammer]

make sure that assumptions about the netlist are held (we currently have a namespace manager but there are more rules)

These are some examples. there may be more that would be helpful. lets keep track of additional ideas in the comments section.

• wires are connected to pins within the same definition
• the top level instance and all of it's parents are not included in any definition
• all references in a definition reference the definition
• all sub elements point to the correct parent
• libraries don't contain definitions which reference a library that contains a definition that references the first library (no circular library dependencies)
• definitions don't include directly or indirectly themselves

[thunder-hammer]

will help with identifying the problem outlined in issue #102