Defacto presented this week in China, how security problems can be solved with the Defacto STAR tools
RTL code Analysis
- Build Security score based on an automated extraction of design and code metrics
- Mimic laser attacks through pin constraint propagation and analysis
- Check access path to sensitive blocks in complex designs
RTL code generation
- Secure RTL code exchange through sophisticated RTL obfuscation techniques
- Generate 100% secured RTL code: Verilog, VHDL and System Verilog