Carl Johan Lillieroth

Carl Johan Lillieroth and Satnam Singh. Formal Verification of FPGA Cores. Nordic Journal of Computing, 6(3):299-319, Fall 1999. Abstract, References, etc.