|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kai-Hui Chang, Hong-Zu Chou, Igor L. Markov |
RTL analysis and modifications for improving at-speed test.  |
DATE  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Chia-Wei Chang, Hong-Zu Chou, Kai-Hui Chang, Jie-Hong Roland Jiang, Chien-Nan Jimmy Liu, Chiu-Han Hsiao, Sy-Yen Kuo |
Constraint generation for software-based post-silicon bug masking with scalable resynthesis technique for constraint optimization. |
ISQED |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo |
Facilitating unreachable code diagnosis and debugging. |
ASP-DAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo |
Accurately Handle Don't-Care Conditions in High-Level Designs and Application for Reducing Initialized Registers. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo |
Optimizing blocks in an SoC using symbolic code-statement reachability analysis. |
ASP-DAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong-Zu Chou, Haiqian Yu, Kai-Hui Chang, Dylan Dobbyn, Sy-Yen Kuo |
Finding reset nondeterminism in RTL designs - scalable X-analysis methodology and case study. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hong-Zu Chou, I-Hui Lin, Ching-Sung Yang, Kai-Hui Chang, Sy-Yen Kuo |
Enhancing bug hunting using high-level symbolic simulation. |
ACM Great Lakes Symposium on VLSI |
2009 |
DBLP DOI BibTeX RDF |
bughunter, design for verification, symbolic simulation |
| 1 | Hong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo |
Handling don't-care conditions in high-level synthesis and application for reducing initialized registers. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
RTL symbolic simulation, don't-care (DC), synthesis |
| 1 | Szu-Chi Wang, Hong-Zu Chou, David S. L. Wei, Sy-Yen Kuo |
On the fundamental performance limits of peer-to-peer data replication in wireless ad hoc networks. |
IEEE Journal on Selected Areas in Communications |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong-Zu Chou, Szu-Chi Wang, Sy-Yen Kuo |
A Randomized Distributed Algorithm for Peer-to-Peer Data Replication in Wireless Ad Hoc Networks. |
PRDC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hung-Yau Lin, Hong-Zu Chou, Fu-Min Yeh, Ing-Yi Chen, Sy-Yen Kuo |
An Efficient Algorithm for Reconfiguring Shared Spare RRAM. |
ICCD |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")