Ruey-Sing Wei

According to our database, Ruey-Sing Wei authored at least 6 papers between 1986 and 1989.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1989

Logic verification algorithms and their parallel implementation.

Hi-Keung Tony Ma, Srinivas Devadas, Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989

1988

BECOME: Behavior Level Circuit Synthesis Based on Structure Mapping.

Ruey-Sing Wei, Steven G. Rothweiler, Jing-Yang Jou

Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

Bridge: A Versatile Behavioral Synthesis System.

Chia-Jeng Tseng, Ruey-Sing Wei, Steven G. Rothweiler, Michael M. Tong, Ajoy K. Bose

Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1986

PLATYPUS: A PLA Test Pattern Generation Tool.

Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1986

New Front-End and Line Justification Algorithm for Automatic Test Generation.

Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Proceedings International Test Conference 1986, 1986

PROTEUS : A Logic Verification System for Combinational Circuits.

Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei

Proceedings of the Proceedings International Test Conference 1986, 1986