Vwsim-names
Format of device and node names.
All input is processed assuming the input is ASCII text;
thus, VWSIM input should be provided as ASCII text. Once read,
VWSIM converts all names into Lisp symbols, which it uses
internally. So, some of the restrictions below concern our use of
ACL2 (Lisp) as the VWSIM implementation language.
VWSIM restricts device and node names as follows:
- The string must be non-empty.
- The string must consist only of standard-char-p.
- The string cannot be the reserved Boolean symbols, "t" or
"nil".
- The first character of the string must be alpha-char-p,
a digit from 0-9, or one of the following characters: _ @ + - . In
SPICE files, the use of + and - in names is disallowed as these
are interpreted by SPICE as arithmetic operators. Although
allowed in VWSIM HDL, we don't recommend starting a name with the
+ or - characters.
- Each node name specified for a device must be distinct.
- The device name must be distinct from its node (wire) names.
Note: In SPICE, the first character of a device name is the type.
For example, 'VS1' is the name of a voltage source.
