Recent papers related to hardware formal verification. - View it on GitHub