Ruey-Sing Wei

Publication Activity (10 Years)

Years Active: 1985-1989
Publications (10 Years): 0

Publications

Hi-Keung Tony Ma, Srinivas Devadas, Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli
Logic verification algorithms and their parallel implementation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8 (2) (1989)
Ruey-Sing Wei, Steven G. Rothweiler, Jing-Yang Jou
BECOME: Behavior Level Circuit Synthesis Based on Structure Mapping. DAC (1988)
Chia-Jeng Tseng, Ruey-Sing Wei, Steven G. Rothweiler, Michael M. Tong, Ajoy K. Bose
Bridge: A Versatile Behavioral Synthesis System. DAC (1988)
Hi-Keung Tony Ma, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei
Logic Verification Algorithms and Their Parallel Implementation. DAC (1987)
Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei
PROTEUS : A Logic Verification System for Combinational Circuits. ITC (1986)
Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli
New Front-End and Line Justification Algorithm for Automatic Test Generation. ITC (1986)
Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli
PLATYPUS: A PLA Test Pattern Generation Tool. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 5 (4) (1986)
Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli
PLATYPUS: a PLA test pattern generation tool. DAC (1985)