A new technical paper titled “An Equivalence Checking Framework for Agile Hardware Design” was published by researchers at Portland State University and Intel. “Agile hardware design enables designers ...