Home / About Us
About TeraSilicon IQ
Semiconductor Engineering. Built for Silicon.
TeraSilicon IQ Private Limited is a Formal Verification engineering company based in Bengaluru, India. Our formal engineers work with semiconductor product companies and ASIC/SoC teams, from property development to sign-off. Our synthesis, LEC and STA engineers support the formal team from netlist to timing sign-off.
What we do
Formal verification finds the bugs that simulation rarely reaches, and it demands a particular discipline: precise properties, justified assumptions and results that a reviewer can trust. We built our first and strongest practice around that discipline, and we extend into further engineering domains as each one reaches delivery readiness.
Our approach emphasises structured methodology, an active internal engineering programme, technical review and documented results.
Our engineering focus
- Formal Verification: primary engineering domain
- Synthesis, LEC and STA: supporting capability alongside formal
Our commitment
To build reliable engineering capability through structured methodology, hands-on technical work and continuous improvement, and to state what our results do and do not establish.
How we build capability behind our services
We are building our formal verification capability through a structured internal programme covering processor, cache coherence, protocol, security, equivalence, CDC/RDC and low-power designs. It is built around in-house reference designs, including a cache coherence subsystem under development, and selected open-source designs.
Every target follows the same sign-off discipline we use for customer work, and results are reviewed before they count. These are internal projects, not customer engagements.
The people behind TSIQ
Trinadh Goli
Chief Executive Officer
Leads TSIQ’s engineering direction and customer engagements. Brings hands-on experience from advanced-node silicon programmes.
Nag Raj
Founder
Leads business operations, finance and compliance, with over 15 years of experience across accounts, finance, compliance and business operations.
For vendor onboarding
Procurement teams can use these details to verify our company. Registration documents are available on request.
- Legal name
- TeraSilicon IQ Private Limited
- CIN
- U62099KA2026PTC215249
- GSTIN
- 29AAMCT7648C1ZV
- MSME
- Registered MSME (Udyam)
- Phone
- +91 97399 80680
- Engineering centre
- Nandi InfoTech, KIADB Plot 8, Sadaramangala Industrial Area, Mahadevapura, Bengaluru 560048, Karnataka, India
- Registered office
- Ballari, Karnataka, India (full address on request)