|
|
Verification Technology Expertise :
RTL Quality Checks
- Atrenta Spyglass
- Cadence Conformal
Simulation & Scripting Languages
- Verilog
- Vera
- System C
- System Verilog
- Perl, C/C++
Verification Platforms
- Cadence Incisive
- Synopsys VCS
- Mentor Modelsim
Domain Specific Test Environments/Test Bench Components :
- Bus functional models, checkers, and monitors
- Random packet generators
- Constraint random testing
- Multi-core and multi-threaded verification environment for cpu system verification
- Self checking random diag test generators based on architectural model of network processor
- Self checking vector generation for ATE tests of processors
- Reference models for security products
|
|
