Kong Woei Susanto, Wayne Luk: Automating formal verification of customized soft-processors. FPT 2011: 1-8