trust
high-level synthesis (HLS) code analysis
Semiconductor
EDA
software
FPGA
programmable logic
SoC
Electronics
heterogeneous computing
security
ASIC
formal verification
SystemC/C++
nuclear
mil/aero
IC Integrity
safety-critical
Big Data
Software
electronic design automation
metric-driven verification
automotive
equivalence checking