Formally Verifying AXI Interfaces - Dan Gisselquist - ORConf 2019
Channel: FOSSi Foundation
Date: 12/10/2019

Gisselquist Technology, LLC, has recently developed a set of formal properties for verifying both AXI and AXI-lite interactions. The properties were then applied to many open source projects. In this talk, Dr. Gisselquist will discuss both how the property set works and some of the bugs he has found using it. 

Presenter: Dan Gisselquist 
Dr. Gisselquist is the owner of Gisselquist Technology, LLC, a services based microbusiness focused on providing superior computer engineering and signal processing services to our customers. Dr. Gisselquist has an M.D. in Computer Engineering and a Ph.D. in Electrical Engineering both from the U.S. Air Force Institute of Technology. His most recent work has involved formally verifying bus components using SymbiYosys. 

Talk recorded at ORConf 2019, the Open Source Digital Design conference, held in Bordeaux, France and organized by the FOSSi Foundation.