Domain Expertise
AEROSAC Domain
Specialized verification for AEROSAC and related domains.
Advanced Verification Methodologies
We leverage constrained random techniques, formal equivalence, and GLS to verify the most complex chip designs.
Core Competencies
- Sensors: Verification of Motion sensor chips.
- Formal Equivalence: Exposure to formal equivalence technique of Jasper.
- GLS: Extensive work on Gate Level Simulation (GLS).