component specification verification