Using Natural Language Documentation in the Formal Verification of Hardware Designs

Christopher B. Harris and Ian Harris, “Using Natural Language Documentation in the Formal Verification of Hardware Designs,” CECS TR 14-11.  Posted on November 17, 2014