Lead Manager of Formal Verification Tool Testing TeamKey Responsibilities:- Develop and maintain an automated verification system that implements flow for each FPGA vendor, ensuring formal equivalence checking of intermediate netlists.- Direct the creation of a verification suite, including failure analysis to identify and troubleshoot issues effectively.- Manage bug reporting processes to FPGA vendors, ensuring continuous improvement of the verification tools.

Led research and development efforts to accelerate AI software algorithms using FPGA technology. Focused on optimizing algorithm performance through parallelization and hardware/software co-design.Key Responsibilities:- Conducted in-depth analysis of AI algorithms and FPGA architectures to identify opportunities for acceleration and optimization.- Defined the architecture for hardware/software co-execution systems to maximize performance and efficiency.- Adapted software implementations to align with High-Level Synthesis (HLS) tool requirements, ensuring compatibility and performance.- Developed and implemented a performance benchmarking environment to evaluate and validate system performance during development.

Led a team focused on the verification of Network-on-Chip (NoC) designs implemented on FPGA platforms. Oversaw the testing and performance evaluation of NoC prototypes to ensure functionality and performance.Key Responsibilities:- Managed the verification process for NoC design prototypes on FPGA, ensuring accurate implementation and compliance with design specifications.- Conducted performance analysis of NoC models loaded into FPGA clusters to assess efficiency, throughput, and latency.

Led a team managing the release process of the FPGA development kit, including planning, verification, and packaging. Coordinated efforts to ensure high-quality releases and effective customer support.Key Responsibilities:- Oversaw release planning activities based on feedback and reports from the vendor's customer support team to align with user needs and priorities.- Directed the verification and validation processes to ensure that releases met quality standards and functional requirements.- Managed the final stages of release packaging, including automation of release package creation and documentation validation for the release, ensuring they were complete and error-free.- Conducted benchmarking of Place and Route (PnR) processes to assess and optimize performance and efficiency.

Developed and automated technical writing and tutorial content generation using advanced toolsets. Focused on streamlining documentation processes and enhancing user guidance through automated solutions.Key Responsibilities:- Utilized the Instigate Application Framework 2.x to automate technical writing processes, improving efficiency and consistency in documentation.- Designed and implemented Proximus tutorial content, leveraging automated tech writing tools to structure and generate user guides and instructional materials.

Led a team responsible for quality assurance of static timing analysis (STA) tools. Focused on developing TCL command lines, creating test plans, and verifying STA tool functionality to ensure accuracy.Key Responsibilities:- Developed and optimized TCL command line for the STA tool using Instigate Application Framework 2.x, enhancing tool functionality and usability.- Created test plans to evaluate the STA tool’s accuracy, ensuring thorough testing coverage.- Oversaw the verification process for the static timing analyzer, identifying and addressing issues to ensure the tool met all quality standards.

Managed cross-functional teams in Research & Development (R&D), Application Engineering (AE) and Quality Assurance (QA) for the Proximus HDL exporter project. Led efforts in developing and verifying HDL exporting systems and enhancing the Proximus library.Key Responsibilities:- Developed and optimized the Proximus Verilog exporter.- Led the development of various components within the Proximus library, including: * Arithmetic Template Library for Scalars * Matrix Template Library- Managed the development of a Network-on-Chip (NoC) system using the Proximus library, ensuring efficient design and integration.- Led the verification of synthesizability for exported HDL to confirm compatibility across different synthesis tools.- Led the development and maintenance of the Proximus Verification Environment.

Key Responsibilities:- Designed and implemented an automated testing environment using TCL and Bash, enhancing testing efficiency and accuracy.- Verified simulators and hardware debuggers for a massively parallel proprietary system, ensuring robustness and reliability.- Maintained and updated existing test suites to align with evolving system requirements and improve test coverage.- Verified and validated the syntax and functionality of simulator commands to ensure proper execution and accuracy.

Key Responsibilities:- Designed and developed a UniPro model using ESL design techniques.- Created a verification environment for RTL synthesis, simulation, and verification, ensuring accuracy and efficiency of testing processes.- Conducted synthesizability analysis to address issues within the UniPro model, optimizing it for successful synthesis and deployment.

Key Responsibilities:Training Delivery: Conducted lectures and laboratory sessions focused on CPU architecture, delivering in-depth knowledge and practical insights to students.Curriculum Development: Developed and refined course materials and training content to align with educational standards and industry requirements.Student Engagement: Fostered a collaborative learning environment, providing guidance and support to students to enhance their understanding of CPU architecture concepts.

Key Responsibilities:Course Delivery: Delivered lectures and practical training on various advanced topics, including:CPU Architecture: Provided in-depth knowledge on CPU design and functionality.ESL Design Flow: Taught methodologies and workflows for Electronic System Level (ESL) design.SystemC: Instructed on the use of SystemC for system-level modeling and design.Proximus: Educated on Proximus tools and techniques (ensure relevance or provide more context if necessary).Build Process and Automation: Covered best practices in software build processes and automation techniques.Training Materials Development: Developed and maintained training materials and course content to ensure relevance and accuracy.Student Support: Engaged with students to address questions, provide feedback, and support their learning journey.