Ruey-Sing Wei

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1989
Logic verification algorithms and their parallel implementation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989

1988
BECOME: Behavior Level Circuit Synthesis Based on Structure Mapping.
Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

Bridge: A Versatile Behavioral Synthesis System.
Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1986
PLATYPUS: A PLA Test Pattern Generation Tool.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1986

New Front-End and Line Justification Algorithm for Automatic Test Generation.
Proceedings of the Proceedings International Test Conference 1986, 1986

PROTEUS : A Logic Verification System for Combinational Circuits.
Proceedings of the Proceedings International Test Conference 1986, 1986


  Loading...