Shiu-Kai Chin
1 reference 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.
Summary of higher-order metafunctions for synthesizing signed-binary arithmetic hardware
Shiu-Kai Chin (1991) · 1991 International Workshop on Formal Verification in VLSI Design