Skip to content

Ruey-Sing Wei

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

6

Venues

2

Active years

1985–1988

Best venue rank

A*

Where they publish

Papers

6 indexed papers, newest first.

YearVenueTitleAuthors
1988DACBridge: A Versatile Behavioral Synthesis System.Chia-Jeng Tseng, Ruey-Sing Wei, Steven G. Rothweiler, Michael M. Tong, Ajoy K. Bose
1988DACBECOME: Behavior Level Circuit Synthesis Based on Structure Mapping.Ruey-Sing Wei, Steven G. Rothweiler, Jing-Yang Jou
1987DACLogic Verification Algorithms and Their Parallel Implementation.Hi-Keung Tony Ma, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei
1986ITCPROTEUS : A Logic Verification System for Combinational Circuits.Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei
1986ITCNew Front-End and Line Justification Algorithm for Automatic Test Generation.Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli
1985DACPLATYPUS: a PLA test pattern generation tool.Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli