SERVICES > COACHING
Project Coaching
OneSpin provides coaching services for verification projects that use OneSpin products to allow design and verification teams to efficiently switch from a bug-hunting approach to the completeness methodology of the OneSpin 360 solutions that systematically detect all errors. The coaching accelerates a customer's first project, ensures highest quality of results, advances his tool application know-how and enables him to repeat this success in future projects.Approach to Project Coaching
Coaching is a close cooperation of OneSpin application engineers with the customer's team. It is recommended that customer's engineers participate in a OneSpin training to get started. To make the best use of formal verification solutions, OneSpin personnel accompany customer engineers through all phases of a design project, assisting with:- Verification planning and project definition
- Verification set-up
- Property creation
- Property and design debugging
- Property reviews
- Completeness checking for property sets
- Equivalence checking set-up and debugging
OneSpin's Expertise
OneSpin's application engineers have an established track record in HDL design and verification and a customer-focused problem-solving attitude. Skills include:- Formal modelling and verification
- Property and assertion languages
- Verification planning
- VHDL and Verilog
- TCL, shell scripting
- Configuration management (CVS, ClearCase) and bug tracking