L. Claesen

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A proof of the nonrestoring division algorithm and its implementation on an ALU

D. Verkest and others (1994) · Formal Methods in System Design · Springer Science and Business Media LLC

On the comparison of HOL and Boyer-Moore for formal hardware verification

C. M. Angelo and others (1993) · Formal Methods in System Design · Springer Science and Business Media LLC

CHARME: Towards formal design and verification for provably correct VLSI hardware

L. Claesen and others (1992) · Proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies

A formal approach towards electrical verification of synchronous MOS circuits

I. Bolsens and others (1988) · IEEE