Attributes
. SMT Compatible . Values
No
(1)