and evaluation, automatic code generation, formal verification, and runtime monitoring for multicore and heterogeneous system-on-chip... applications. Application of high-level synthesis and high-level hardware abstraction languages for developing hardware...
Raytheon Technologies