Tiempo Secure offers a full development environment and secure software libraries to develop and debug secure software code on TESIC platforms.
TESIC Software Development Kit (TESIC-SDK) for TESIC with proprietary clockless CPU includes a compiler, a linker and a debugger based on GNU GCC/GDB and optimized for TESIC CPU, and is integrated into the ECLIPSE framework. Third-party RISC-V software development environments (supporting RV32IMC instruction set) can be used for TESIC RISC-V.
A CC EAL5+ PP0084 and EMVCo certified secure boot loader (TESIC-AdminLoader), a CC EAL5+ PP0084 and EMVCo certified cryptographic library (TESIC-CryptoLib), and a secure external storage manager (TESIC-ESM) are available for the secure software programmers.
Finally, Tiempo Secure offers a general-purpose security toolbox (TESIC-TBX) implementing the typical security routines that can be called by the SoC application processor, including device identification/authentication, secure boot, secure firmware update, secure storage and secure debug routines.
TESIC JavaCard 3.0.5 is a government grade, interoperable execution platform for high secure applications, such as payment and identification/authentication
TESIC is a CC EAL5+ PP0084 proven/certification-ready secure element IP that is delivered as hard macro for plug-and-play System-on Chip (SoC) integration