System and IP Security Assessment, Threat Modeling, Detecting Weaknesses, Mitigation Validation, Generating Security Assertions, and Attack Triggers