Main technologies and topics: C++, Actifsource, Tcl, Linux, Eclipse, Git, event- driven simulation, model-driven development, unit tests, low-level electronics.

Main tasks and achievements:

• Development and implementation of a simulation environment for testing the firmware of a new line of ovens and steamers.

• Implementation of basic components in an Actifsource-based model and Tcl-scripts for the exhaustive test of said components.

• Implementation of an Actifsource-based model of the physics in an oven.

Main technologies and topics: Blockchain, Python, Golang, ARM microprocessors, Debian Linux, Raspberry Pi, Asus Tinker Board, Bitcoin, Ethereum, consensus protocols, Byzantine fault tolerance.

Main tasks and achievements:

• Development and implementation of a system for blockchain demonstrations (hardware and software).

• Research in the area of blockchain development.

  • Assessment of commercially available blockchain platforms.

  • Analysis of consensus protocols for blockchain-based distributed app execution.

Main technologies and topics: C++, Git, Databases, calibration routines, linear fitting and related mathematical algorithms, computer vision, Scrum.

Main tasks and achievements:

• Development and implementation of software for a new double-dispenser system (DDI) for epoxy die-bonders.

  • Implementation in C++ of the RTOS-firmware that controls the mechanics of the DDI vision shuttle as well as camera and laser.

  • Implementation in C++, test and continuous improvement of static and dynamic calibration routines for the camera and mechanical parts of the DDI shuttle

  • Participation in development of algorithms for laser-based height measurements, as well as implementation and test

  • Participation in development of computer vision algorithms and quality assessment measures, as well as implementation and test, for example for the recognition of laser projections and geometrical features on greyscale pictures

  • Implementation of HMI elements and menus to access calibration jobs, as well as improvements in the framework for graphical feedback.

Main technologies and topics: embedded controllers, C/C++, Python, Git, Gerrit, Jenkins, GPS, GLONASS, file systems, communication protocols, encryption, Linux customisation and administration, system deployment, tools for local and remote management, CAN, USB, serial communication, microcontrollers.

Main tasks and achievements:

• SAFEmine’s Fatigue Monitoring System:

  • Customisation and optimisation of the Linux-based OS. Particular challenges: various heterogeneous hardware and software components, and networking via Ethernet, Wi-Fi and GSM in various modes.

  • Design and implementation of software management and remote maintenance.

  • Cooperation with the hardware team and the hardware vendors to customise the motherboard’s microcontroller firmware to suit the special requirements of the system.

  • Implementation of firmware deployment scripts and creation of system image for production.

• Embedded software engineering and implementation of various low-level features for the firmware of SAFEmine’s Collision Avoidance system.

  • Including file system operations, support of multiple geolocation systems, and protocols for communication with remote servers and encryption.

Main technologies and topics: MIPS assembly, Perl, GCC, Verilog, Perforce, design verification of MIPS processors.

Main tasks and achievements:

• Implementation of directed unit and system-level tests for the design verification of new MIPS processors.

  • Special achievement: successfully adapted several concepts of post-manufacturing hardware test and increased the coverage of the design verification process significantly.

• Close collaboration with design verification and RTL design at California offices. Particular challenge: Time zone difference required great amount of flexibility in order to enable real-time communication between UK and California sites.

• Design and initial implementation of new infrastructure for the automatic test of MIPS CPUs HDL code.

Main technologies and topics: C/C++, Linux, GCC, Makefile, Bash, Python, SVN, test, reliability and verification of digital systems, DfT, ATPG, timing simulation, SAT, test compaction, ATPG with optimisation targets.

Main tasks and achievements:

• Research in the general area of post-manufacturing test of digital systems. Includes:

  • research of issues currently relevant for the semiconductor industry, research of existing solutions and formulation of new solutions,

  • implementation of software and extensive experimental analysis,

  • writing of articles for publication and presentation at symposia.

  • Main topics:

    • efficient SAT-based algorithms for combinational and sequential automatic test pattern generation (ATPG),

    • SAT-based ATPG for complex fault models that require optimisation targets to be met,

    • SAT-based test compaction,

    • exact delay fault simulation,

    • test and diagnosis in nano-scale technologies,

    • test of critical components under process variations.

  See also attached publication list.

• Implementation of a highly efficient SAT-based ATPG engine especially aimed at solving problem instances that are too hard for the algorithms implemented in most commercial EDA software, and creation of a library for the use by other researchers.

• Preparation of teaching material.

• Organisation and teaching of university courses on embedded systems, VLSI design, and test and verification of digital systems.

• Administration and maintenance of institute’s website and publication database.

• Personal tutoring of Master’s and Bachelor’s candidates.

• Organisation of workshops and conferences.

Main tasks and achievements:

• Implementation of software for research in the general area of post-manufacturing test of digital systems, including occasional presentation at symposia. Main topics:

  • Test data compression for BIST.

  • Power droop testing (fault modelling and sequential ATPG).

  • Timing fault simulation.

• Tutoring (teaching assistance, homework grading, exercise classes) of fellow undergraduate students in computer architecture, embedded systems, test and reliability of digital systems, and algebra.