|
Clients include:
|
|
|
|
ASIC Verification
VERIFICATION EXPERIENCE SUMMARY
-
Creation of test plans
-
full test suites
-
test benches
-
test vector generation
-
scripting in PERL, C, C++, Sed, Awk and TCL, Verisity Specman, VERA
-
Full regression testing
-
RTL debugging based on verification
-
Full circuit and system simulation RTL, behavioral, gate level
|
VHDL and Verilog, using
-
Cadence NCSim, Verilog-XL PLI, VPI Leapfrog, hal, lint;
-
Model Technology V-System VHDL Simulation
-
Mentor Design Architect, Autologic, NetEd,
-
Synopsis DC Shell, Design Analyzer, VERA, Test compiler, HDL Advisor, VSS, VCS, Timemill
|
Processor Design and Verification:
-
3D Video Graphics Processors,
-
Avionics Video Processors
-
RISC Processors
-
Memory Cache
|
|