Travelled to:
1 × France
1 × USA
2 × Germany
Collaborated with:
M.S.Hsiao B.Li K.Takayama A.Giani V.D.Agrawal
Talks about:
effici (3) atpg (3) sequenti (2) preimag (2) comput (2) novel (2) use (2) techniqu (1) spectral (1) properti (1)
Person: Shuo Sheng
DBLP: Sheng:Shuo
Contributed to:
Wrote 4 papers:
- DATE-v1-2004-LiHS #novel #performance #satisfiability
- A Novel SAT All-Solutions Solver for Efficient Preimage Computation (BL, MSH, SS), pp. 272–279.
- DATE-2003-ShengH #novel #performance #using
- Efficient Preimage Computation Using A Novel Success-Driven ATPG (SS, MSH), pp. 10822–10827.
- DAC-2002-ShengTH #effectiveness #safety #using
- Effective safety property checking using simulation-based sequential ATPG (SS, KT, MSH), pp. 813–818.
- DATE-2001-GianiSHA #performance
- Efficient spectral techniques for sequential ATPG (AG, SS, MSH, VDA), pp. 204–208.