Defacto in China for Security Applications

Defacto presented this week in China, how security problems can be solved with the Defacto STAR tools
Defacto presented typical applications around security such as:
  • Design For Testability & Security
  • Secure Sensitive Blocks/Ips/SoCs
  • Extraction of Design Metrics
  • From Spaghetti-like to Structured Designs
  • Non Regression Verification with Coherency Checking
Connection