You are not currently logged into the website.                                                                                    

You are here

Vermont EPSCoR Publications

Found 3 results
Filters: Author is Xia, Tian  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
Zheng H, Ahrens J, Xia T. A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems [Internet]. 2008;27(7):1343 - 1347. Available from: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4544873
H
Smith JR, Xia T. High-Resolution Delay Testing of Interconnect Paths in Field-Programmable Gate Arrays. IEEE Transactions on Instrumentation and Measurement [Internet]. 2009;58(1):187 - 195. Available from: http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=04559395