US7313772B2 - Systems, Methods, and Media for Block-Based Assertion Generation, Qualification and Analysis