25-03-2008 | EXPIRA LA 24-04-2008
Job expirat
Responsible for using logic simulation or formal verification techniques to validate that the
hardware DUV (design under verification) functions according to specifications. Specifications
can be given in the form of the defined instruction-set architecture, a functional bus-interface or
protocol specification, or a microarchitectural specification of the DUV. Verification on a functional
unit requires the engineer to program a test bench and checkers to validate the DUV results.
Verification on the architecture or bus-interface level requires deep knowledge of the specification
and the application of test-generation tools. Formal verification requires the application of formal
tools like model checkers.
Hardware related skills
- Verilog
- VHDL
- System Verilog
- Verification languages such as Specman, Vera or System Verilog
- Knowledge of Digital Logic Design is mandatory
- Experience with Functional Verification and/or Formal Verification is a strong plus
Software skills
- C/C++ (mandatory)
- Assembly
- Scripting languages such as PERL and/or TCL
- Working knowledge of OOP techniques
- Knowledge in UNIX and/or Linux operating systems is a plus
Education
- Electrical Engineering BSc.
- Electrical Engineering MSc. or PhD. - advantage
Compania noastra, AQUASoft activeaza in sfera dezvoltarii software si a serviciilor IT din ianuarie 2002.
In prezent, portofoliul nostru numara nume precum IBM (si clientii lor Philip Morris International, Credit Swiss, Deutsche Bank, BASF, Royal Sun Alliance, Allianz, Fortis, KLM, ZFS), S&T, ASTEC Global Consulting, Guvernul Romaniei si altii.
Alt avantaj este abilitatea de a livra solutii la nivel global; consultantii nostri au lucrat chiar la sediile clientilor, indiferent unde s-au gasit acestea (Marea Britanie, Germania, Elvetia, Olanda, Franta, Finlanda). In cadrul echipei se regasesc cunostinte foarte bune de engleza, germana, italiana, franceza, spaniola. De asemeni, am imbogatit permanent practicile de afaceri ale clientilor nostri, analizand si propunandu-le solutii pentru ridicarea standardelor calitatii, prin dezvoltarea unor instrumente de monitorizare a intregului flux productiv.
Strategia noastra este de a atinge un nivel superior de dezvoltare, utilizand in acest scop experienta anilor precedenti si extinzandu-ne portofoliul la nivel global, pe toate nivelele.
IBM Business Partner
Microsoft Certified Partner
Locul 3 - Topul National al Firmelor (Cercetare, Dezvoltare, High-Tech, intreprinderi mijlocii)