Yirng-An Chen

6 papers and 55 indexed citations i.

Yirng-An Chen has authored 6 papers that have received a total of 55 indexed citations. This includes 6 papers in Computational Theory and Mathematics, 5 papers in Electrical and Electronic Engineering and 5 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (5 papers), VLSI and Analog Circuit Testing (4 papers) and Low-power high-performance VLSI design (3 papers). Yirng-An Chen is often cited by papers focused on Formal Methods in Verification (5 papers), VLSI and Analog Circuit Testing (4 papers) and Low-power high-performance VLSI design (3 papers) and collaborates with scholars based in United States and Taiwan. Yirng-An Chen's co-authors include Randal E. Bryant and has published in prestigious journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and International Journal on Software Tools for Technology Transfer