Ruey-Sing Wei

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

Collaborative distances:

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

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

1987

Logic Verification Algorithms and Their Parallel Implementation.

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

Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28, 1987

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

1985

PLATYPUS: a PLA test pattern generation tool.

Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 22nd ACM/IEEE conference on Design automation, 1985