Author: "Chung Yang Huang" / Journal: iccad - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Chung Yang Huang"' showing total 4 results

Start Over Author "Chung Yang Huang" Journal iccad

4 results on '"Chung Yang Huang"'

1. Formal deadlock checking on high-level SystemC designs.

Author: Chun-Nan Chou, Chang-Hong Hsu, Yueh-Tung Chao, and Chung-Yang Huang
Published: 2010
Full Text: View/download PDF

2. A robust functional ECO engine by SAT proof minimization and interpolation techniques.

Author: Bo-Han Wu, Chun-Ju Yang, Chung-Yang Huang, and Jie-Hong Roland Jiang
Published: 2010
Full Text: View/download PDF

3. Interpolant generation without constructing resolution graph.

Author: Chih-Jen Hsu, Shao-Lun Huang, Chi-An Wu, and Chung-Yang Huang
Published: 2009
Full Text: View/download PDF

4. Scalable exploration of functional dependency by interpolation and incremental SAT solving.

Author: Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang Huang, and Alan Mishchenko
Published: 2007
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results