Reference

Material to look things up in rather than to read straight through. Each page stands alone, so nothing here assumes you read the one before it.

• Rules catalog: every check rule the catalog ships (built-in, design-intent, datalog, and interface-profile), grouped by category and flagged by source, each with its full reference. Generated from the shipped catalog.
• Relations catalog: every query relation the fact base exposes, grouped by kind. Generated from the shipped fact base.
• Glossary: the terms the rest of the site uses without re-teaching, each one a hoverable popover wherever it appears.
• The software analogy: a map of EE concepts to software ones, for engineers coming from code.
• Pins and packages: why a pin number belongs to the plastic body rather than to the chip, and what that means for joining a design to a datasheet.
• EDIF netlist primer: the EDIF 2.0.0 netlist format Agni ingests.
• EDIF schematic primer: the .eds schematic export: geometry, orientation, join keys.