Anatol URSU

En résumé

Entreprises

• Lycée Jean Mermoz, Montpellier, France - Teacher on Information Systems

  2015 - 2015 Teacher on Information Systems

• Cortus SAS, Montpellier, France - R&D Engineer

  2014 - 2014 Optimisation of a microprocessor unit.

• Qualtera, Montpellier, France - Software developer

  2011 - 2013 R&D software developer. The project (SiliconDash) was the development and the testing of a complex application for high-volume semiconductor data (fables, foundry, IDM) analysis. The main development tasks were the implementation and testing of statistical analysis algorithms.

• Synopsys, Montpellier. France - Software developer

  2008 - 2009 R&D software developer of EDA (Electronic Design Automation) tools for the synthesis, the verification and the testing of FPGA/ASIC designs. The main tasks were the development of the tools Synplify, Identify, Certify, etc. Synposys acquired Synplicity in May 2008. See my activities in Synplicity Inc below

• Synplicity, Montpellier, France - Software developer

  2001 - 2008 R&D software developer of EDA (Electronic Design Automation) tools for the synthesis, the verification and the testing of FPGA/ASIC designs. The main projects were the tools Synplify, Identify, Certify, etc.
  The main development tasks:
  • an equivalence checking tool for ASIC and FPGA designs. In implementing this tool I was mainly involved in a boolean matching technique that extracts equivalent points in two designs. I have good experience in using BDD, AIG and SAT solvers code in equivalence checking and optimization techniques;
  • a tool to insert debugging modules in FPGA designs for RTL debugging with Indentify tool (RTL debugging tool using FPGA hardware emulation and HDL simulation),
  • a RAM extraction tool for ASIC designs at RTL level for Synplify DSP tool,
  • a TCL interface for a schematic netlist editor for Certify, which is an FPGA-based ASIC prototyping tool,
  • a design for test (DFT) tool for scan insertion in ASIC designs,
  • a power estimation technique for ASIC designs.
  

• Technical University of Moldavia (Moldavia - former USSR republic) - Computer Science Teacher

  1984 - 2001 Teaching object oriented programming, concurrent programming, network programming, communication interfaces (buses), network protocols, information systems design, information technologies, operating systems, etc. The research projects: formal verification using temporal logic.
  

Formations

Réseau

• Cédric VILLENEUVE

• Christophe FRAYSSE

• David KERR-MUNSLOW

• Elodie BORD

• Julien BENZIMRA

• Mario PICARD