Formal Verification of Reconfigurable Cores. - Satnam Singh; Carl Johan Lillieroth (FCCM, 1999)

Formal Verification of FPGA Cores. - Carl Johan Lillieroth; Satnam Singh (Nord. J. Comput., 1999)