Chao Yan

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Confidence Level

Probability Theory

Top Venues

Formal Methods Syst. Des.

Publications

Chao Yan, Mark R. Greenstreet, Suwen Yang
Verifying global start-up for a Möbius ring-oscillator. Formal Methods Syst. Des. 45 (2) (2014)
Chao Yan, Mark R. Greenstreet
Oscillator verification with probability one. FMCAD (2012)
Chao Yan, Florent Ouchet, Laurent Fesquet, Katell Morin-Allory
Formal Verification of C-element Circuits. ASYNC (2011)
Daling Wang, Shi Feng, Chao Yan, Ge Yu
An Approach of Semi-automatic Public Sentiment Analysis for Opinion and District. WAIM Workshops (2011)
Chao Yan, Mark R. Greenstreet, Jochen Eisinger
Formal Verification of an Arbiter Circuit. ASYNC (2010)
Chao Yan, Mark R. Greenstreet
Faster projection based methods for circuit level verification. ASP-DAC (2008)
Chao Yan, Mark R. Greenstreet
Verifying an Arbiter Circuit. FMCAD (2008)
Chao Yan, Mark R. Greenstreet
Circuit Level Verification of a High-Speed Toggle. FMCAD (2007)