Massively Parallel Mining of Specifications for Hardware Designs.

Leiqi Ye, Guy Frankel, Jianyi Cheng, Elizabeth Polgreen

Browse the full CAV paper archive.