Juin-Yeu Lu

Publication Activity (10 Years)

Years Active: 1993-1994
Publications (10 Years): 0

Publications

Juin-Yeu Lu, Shiu-Kai Chin
Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics. TPHOLs (1994)
Juin-Yeu Lu, Shiu-Kai Chin
Linking HOL to a VLSI CAD System. HUG (1993)