Bo-Han Wu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2010–2013
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | DAC | A robust constraint solving framework for multiple constraint sets in constrained random verification. | Bo-Han Wu, Chung-Yang (Ric) Huang |
| 2012 | ICCAD | A robust general constrained random pattern generator for constraints with variable ordering. | Bo-Han Wu, Chung-Yang (Ric) Huang |
| 2011 | ICCAD | Toward an extremely-high-throughput and even-distribution pattern generator for the constrained random simulation techniques. | Bo-Han Wu, Chun-Ju Yang, Chia-Cheng Tso, Chung-Yang Huang |
| 2010 | ICCAD | A robust functional ECO engine by SAT proof minimization and interpolation techniques. | Bo-Han Wu, Chun-Ju Yang, Chung-Yang Huang, Jie-Hong Roland Jiang |