acronyms.md

Proposal Acronyms (Acronyms)

A list of words formed by combining the initial letters of a multipart name.

ISO ANSI C Specification Language (ACSL)

The ANSI/ISO C Specification Language (ACSL) is a behavioral specification language for C programs.

Application Programming Interface (API)

A system access point or library function that has a well-defined syntax and is accessible from application programs or user code to provide well-defined functionality.

Application-Specific Integrated Circuit (ASIC)

Custom-designed and/or custom-manufactured integrated circuits.

Commercial Off The Shelf (COTS)

Software and hardware that already exists and is available from commercial sources.

Central Processing Unit (CPU)

A CPU is the electronic circuitry that executes instructions comprising a computer program.

Continuous Verification (CV)

@todo kiniry Add an explanation.

Communicating Sequential Processes (CSP)

@todo kiniry Add an explanation.

Digital Engineering (DE)

@todo kiniry Add an explanation.

Digital Instrumentation & Control (diandc)

@todo kiniry Add an explanation.

Defense Industrial Base (DIB)

@todo kiniry Add an explanation.

Department of Defense (DoD)

@todo kiniry Add an explanation.

Domain Specific Language (DSL)

@todo kiniry Add an explanation.

Electronic Design Automation (EDA)

@todo kiniry Add an explanation.

Field Programmable Gate Array (FPGA)

@todo kiniry Add an explanation.

Gnu Compiler Collection (GCC)

@todo kiniry Add an explanation.

Government Furnished Equipment (GFE)

@todo kiniry Add an explanation.

Galois Low-energy Asynchronous Secure SoC for Computer Vision (GLASS-CV)

@todo kiniry Add an explanation.

General Purpose I/O (GPIO)

@todo kiniry Add an explanation.

High-Assurance Rigorous Digital Engineering for Nuclear Safety (HARDENS)

@todo kiniry Add an explanation.

Hardware Description Language (HDL)

@todo kiniry Add an explanation.

Hash-based Message Authentication Code (HMAC)

@todo kiniry Add an explanation.

Higher-Order Logic (HOL)

@todo kiniry Add an explanation.

Hardware Security Module (HSM)

@todo kiniry Add an explanation.

Intelligence Community (IC)

@todo kiniry Add an explanation.

Integrated Development Environment (IDE)

@todo kiniry Add an explanation.

Intellectual Property (IP)

@todo kiniry Add an explanation.

Instruction Set Architecture (ISA)

@todo kiniry Add an explanation.

Intermediate Representation (IR)

@todo kiniry Add an explanation.

Java Modeling Language (JML)

@todo kiniry Add an explanation.

Low Level Virtual Machine (LLVM)

@todo kiniry Add an explanation.

Model-Based Engineering (MBE)

@todo kiniry Add an explanation.

Model-Based Systems Engineering (MBSE)

@todo kiniry Add an explanation.

Natural Language Processing (NLP)

@todo kiniry Add an explanation.

Nuclear Regulatory Commission (NRC)

@todo kiniry Add an explanation.

National Security Agency (NSA)

@todo kiniry Add an explanation.

Nuclear Power Plant (NPP)

@todo kiniry Add an explanation.

Object Constraint Language (OCL)

@todo kiniry Add an explanation.

Open Systems Architecture (OSA)

@todo kiniry Add an explanation.

Power Performance Area and Security (PPAS)

@todo kiniry Add an explanation.

Rigorous Digital Engineering (RDE)

@todo kiniry Add an explanation.

Register Transfer Level (RTL)

@todo kiniry Add an explanation.

Reactor Trip System (RTS)

@todo kiniry Add an explanation.

Software Analysis Workbench (SAW)

@todo kiniry Add an explanation.

Safety Critical Application Development Environment (SCADE)

@todo kiniry Add an explanation.

Secure Hash Algorithm (SHA)

@todo kiniry Add an explanation.

Satisfiability Modulo Theories (SMT)

@todo kiniry Add an explanation.

Secret Ninja Formal Methods (SNFM)

@todo kiniry Add an explanation.

Statement of Work (SoW)

@todo kiniry Add an explanation.

SystemVerilog (SV)

@todo kiniry Add an explanation.

SystemVerilog Assertions (SVA)

@todo kiniry Add an explanation.

Size Weight and Power (SWaP)

@todo kiniry Add an explanation.

System Modeling Language (SysML)

@todo kiniry Add an explanation.

System-on-Chip (SoC)

@todo kiniry Add an explanation.

System Security Integration Through Hardware and Firmware (SSITH)

@todo kiniry Add an explanation.

User Interface (UI)

@todo kiniry Add an explanation.

Unified Modeling Language (UML)

@todo kiniry Add an explanation.

Universal Serial Bus (USB)

@todo kiniry Add an explanation.

United States Government (USG)

@todo kiniry Add an explanation.

Unified Theories of Programming (UTP)

@todo kiniry Add an explanation.

Universal Verification Methodology (UVM)

@todo kiniry Add an explanation.

User eXperience (UX)

@todo kiniry Add an explanation.

Verilog

@todo kiniry Add an explanation.

Vienna Development Method (VDM)

@todo kiniry Add an explanation.

Very High Speed Integrated Circuit (VHSIC)

@todo kiniry Add an explanation.

VHSIC Hardware Description Language (VHDL)

@todo kiniry Add an explanation.