About Mike Bartley

Dr Mike Bartley has over 30 years of experience in software testing and hardware verification. He has built and managed state-of-the-art test and verification teams inside several companies (including STMicroelectronics, Infineon, Panasonic, and the start-up ClearSpeed) and also advised several companies on organisational verification strategies (ARM, NXP, and multiple start-ups). Mike successfully founded and grew a software test and hardware verification services company to 450+ engineers globally, delivering services and solutions to over 50+ clients in various technologies and industries. The company was acquired by Tessolve Semiconductors, a global company with 3000+ employees supporting clients in VLSI, silicon test and qualification, PCB, and embedded product development in multiple vertical industries. Mike is currently a Senior VP at Tessolve supporting VLSI globally, focusing on helping companies incorporate the latest verification techniques and strategies into their verification flows and building verification teams to support these companies in implementing them on IP and SoC projects. He is also responsible for the Tessolve Centres of Excellence running all R&D projects with Tessolve, including building a new AI capability across all Tessolve products and services. Mike has a PhD in Mathematics (Bristol University), and 9 MSc in various subjects including management (MBA), software engineering, computer security robotics and AI, corporate finance, and blockchain and digital currency. He is currently studying part-time for an MSc in quantum computing at the University of Sussex and the use of technology in healthcare at the University of Glasgow.

Thales – RESAuto and the Economics of Hardware Cyber Security

Understanding RESAuto and Its Role in Cybersecurity The RESAuto project is a groundbreaking initiative to assess the economic implications of adopting CHERI (Capability Hardware Enhanced RISC Instructions) in engineering and regulated industries, according to Davies and Thales, (2024). Spearheaded by Thales-UK, a global leader in cybersecurity and critical infrastructure solutions, RESAuto seeks to integrate "Digitally

Sundance – Pioneering COTS FPGA Solutions for Embedded Systems

Introduction Sundance has been at the forefront of embedded computing for over 35 years, delivering Commercial Off-The-Shelf (COTS) FPGA modules designed for high- performance applications, as mentioned by Christensen and Sundance, (2024). Established in 1989, Sundance is an employee-owned company that is continuously evolving, leveraging its expertise in FPGA technology, AI acceleration, and embedded computing.

Microchip – FPGA System and Device Level Security Considerations

Strengthening Embedded System Security with a Holistic Approach Embedded systems are integral to modern technology, but their growing adoption across industries increases their exposure to cyber threats, according to Pearson and Microchip, (2024). Securing these systems requires a holistic approach integrating protection at every level, from hardware design to software implementation. Microchip Technology Inc. has

Beetlebox – Securing FPGA Development Pipelines with DevSecOps

The Growing Need for Secure FPGA Development According to Swirski and Beetlebox, (2024), Field Programmable Gate Arrays (FPGAs) are at the forefront of modern hardware innovation, providing unparalleled flexibility and performance. However, this adaptability comes with inherent security risks that can expose hardware and software components to malicious attacks. Security threats such as substitution attacks,

EmLogic – FPGA Requirements Tracking and the Requirements Traceability Matrix

The New Era of FPGA Design and Verification In the ever-evolving world of FPGA development, efficiency and accuracy are critical for delivering high-quality designs, as highlighted by EmLogic, (2024). EmLogic, a leading Norwegian Embedded Systems, and FPGA Design Centre, spearheads innovation by adopting the Universal VHDL Verification Methodology (UVVM). This robust, open-source verification framework sets

Synopsys – Securing FPGAs Beyond the Bitstream

The Growing Need for FPGA Security In today's digital landscape, cybersecurity threats continue to evolve, targeting vulnerabilities across various hardware and software domains, as mentioned by Adryan et al., (2024). Field Programmable Gate Arrays (FPGAs), widely used in critical applications like cloud computing, automotive, and IoT, require robust security measures to prevent tampering and data

An Introduction to Rolls-Royce-The Past, Present, and Future

A Legacy of Excellence: The History of Rolls- Royce Rolls-Royce Motor Cars Limited has been a symbol of unparalleled luxury and engineering brilliance since its founding in 1904 by Henry Royce and Charles Rolls, according to Atul Garg, (2015). The union of Royce's engineering ingenuity and Roll's business expertise gave birth to a brand synonymous

Cocotb is making verification fun – Cocotb

What is Cocotb? Cocotb, short for Coroutine-based Cosimulation Testbench, is an innovative open- source Python library designed to revolutionize digital logic verification by enabling testbench development in Python, as mentioned by Rosser et al., (2019). Unlike traditional verification methods that rely on Verilog, System Verilog, or VHDL, Cocotb leverages Python's flexibility and simplicity to control

Introduction to FPGA and Verification of FPGA-based designs

The Evolution of FPGA Technology The evolution of FPGA technology is a testament to innovation and perseverance in the semiconductor industry, according to FpgaKey, (2020). Introduced by Xilinx in 1985 with the release of the XC2064, the first FPGA product featured a 2μm process, 64 logic modules, and 85,000 transistors—an "ugly duckling" by today's standards.

Ultra Maritime – Integration of Atlassian Bamboo with MathWorks Tools for FPGA Development

Introduction: Elevating Software Development Practices In the fast-paced world of software development, staying ahead of the competition requires continuous improvement and innovative methodologies, as highlighted by Amor and Ultra Maritime, (2024). Integrating Model-Based Design (MBD), Agile/Scrum methodologies and Continuous Integration (CI) has become crucial in enhancing collaboration, increasing productivity, and ensuring high-quality software output. This