Travelled to:
1 × Germany
Collaborated with:
H.Chou K.Chang D.Dobbyn S.Kuo
Talks about:
nondetermin (1) methodolog (1) scalabl (1) analysi (1) design (1) studi (1) reset (1) find (1) case (1) rtl (1)
Person: Haiqian Yu
DBLP: Yu:Haiqian
Contributed to:
Wrote 1 papers:
- DATE-2010-ChouYCDK #case study #design #nondeterminism #scalability
- Finding reset nondeterminism in RTL designs — scalable X-analysis methodology and case study (HZC, HY, KHC, DD, SYK), pp. 1494–1499.