H. De Man

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

Optimized synthesis of asynchronous control circuits from graph-theoretic specifications

P. Vanbekbergen and others (1990) · International Conference on Computer Aided Design

A formal approach towards electrical verification of synchronous MOS circuits

I. Bolsens and others (1988) · IEEE

Mixed-Mode Circuit Simulation Techniques and their Implementation in DIANA

H. De Man and others (1981) · Springer Netherlands