MacB in the News

MacB Technical Expert to Co-Present Bitstream Verification Techniques at Conference

MacAulay-Brown, Inc. (MacB) Program Manager John Hallman, a technical expert with the company’s Secure Computing and Communications (SCC) division, has been invited to present novel Field Programmable Gate Array (FPGA) bitstream verification techniques on Tuesday, June 26 from 3:30 to 5:00 p.m. during the Design Automation Conference (DAC) in San Francisco, California.

DAC is a conference and trade show devoted to the Automation of Electronic Systems (EDA), Embedded Systems and Software (ESS), Intellectual Property (IP), Security, the Internet of Things (IoT), and Automotive applications. Representatives from more than 1,000 organizations worldwide will attend including architects and system designers, logic and circuit designers, validation engineers, senior executives, researchers, and academics from leading universities.

Mr. Hallman, along with Muhammad H. Khan from OneSpin Solutions, will present “FPGA Bitstream-to-RTL Verification: A Case Study on An IP Module for Aerospace Applications.” Both MacB and OneSpin worked together to develop tools and techniques to address third-party intellectual property (3PIP) verification challenges in the hardware and software of FPGA devices. These techniques demonstrate the use of formal methods for hardware verification, and the need for design assurance and verification of safety-critical functions in the aerospace and automotive industries.

MacB, a leading National Security company delivering advanced engineering services, cybersecurity and product solutions, is an industry leader on a number of FPGA topics including validation and verification for bitstreams, trust assessment, assurance risk and mitigation, and 3PIP. EDA vendor OneSpin Solutions provides software tools that allow engineers to create reliable, bug-free digital integrated circuits.

To view the full DAC Conference Program, visit