mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 17:39:28 +02:00
specify additional parameters for a device. Any gate attribute (label ending with "^") that has an "=" in it is considered a parameter, and is output with the device in the .ext file. This gives a way to add specific parameters to a device, which otherwise have no meaning to the layout editor. Note that prior to this extension, the gate attribute was used only to set the device index. If a gate attribute is made for a device index, it cannot have "=" in the name, so it remains backwardly compatible. Only non-parameter attributes are passed on to ext2spice.