Inspec keywords: high level synthesis; encoding; industrial property; scheduling; integrated circuit design; invasive software; resource allocation

Other keywords: IP cores; hardware threats; low-cost security-aware HLS approach; candidate datapath resource configuration; low-cost Trojan secured schedule; encoding; design space; low-cost optimised dual modular redundant design; user constraints; design process globalisation; digital integrated circuits; intellectual property cores; low-cost security aware HLS methodology; vendor allocation procedure exploration process; vendor allocation information; Trojan secured high-level synthesis methodology; third party vendors; IC

Subjects: Digital circuit design, modelling and testing; Electronic engineering computing; Data security