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.
37db9e453b