Dr. Mark Aagaard

Biography

Mark Aagaard is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Waterloo. His research interests encompass formal methods, design verification, and digital hardware systems. He has developed formal theory for pipelined circuits based on conventional ideas regarding structural, control, and data hazards, as well as datapath functionality. Aagaard’s current research includes the formalization of pipeline hazards and the exploration of new design verification techniques across varying classes of hazards. His recent projects involve verifying data-hazard accuracy, utilizing off-the-shelf combinational equivalence checkers for power usability, and developing prototype design verification tools that integrate cell library control components within pipeline stages. Notably, Aagaard contributed to creating the Microbox framework that facilitates microprocessor correctness statements, resulting in 30 published verification outcomes and analyses that proved correctness statement conditions.

Research Interests