Linking HOL to a VLSI CAD System. - Juin-Yeu Lu; Shiu-Kai Chin (HUG, 1993)

Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics. - Juin-Yeu Lu; Shiu-Kai Chin (TPHOLs, 1994)