Search results for "OCCOM"

Searching for OCCOM with no syntactic query expansion in all metadata.

Found 6 publication records. Showing 6 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
79	Farzan Fallah, Pranav Ashar, Srinivas Devadas	Functional vector generation for sequential HDL models under an observability-based code coverage metric.	IEEE Trans. Very Large Scale Integr. Syst.	2002	DBLP DOI BibTeX RDF
69	Farzan Fallah, Srinivas Devadas, Kurt Keutzer	OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification.	DAC	1998	DBLP DOI BibTeX RDF	high-level synthesis, telecommunication
53	Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou	Observability Analysis on HDL Descriptions for Effective Functional Validation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
42	Farzan Fallah, Srinivas Devadas, Kurt Keutzer	OCCOM-efficient computation of observability-based code coveragemetrics for functional verification.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
36	Indradeep Ghosh, Srivaths Ravi 0001	On automatic generation of RTL validation test benches using circuit testing techniques.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	OCCOM, RTL ATPG, RTL testing, path coverage, small validation, toggle coverage, test, testing, generation, ATPG, fault coverage, code coverage, test sets, design validation, coverage metrics, universal test sets, testbench, branch coverage
26	Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou	An observability measure to enhance statement coverage metric for proper evaluation of verification completeness.	ASP-DAC	2005	DBLP DOI BibTeX RDF

Displaying result #1 - #6 of 6 (100 per page; Change: )

Maintained by L3S.

Previously maintained by Jörg Diederich.

Based upon DBLP by Michael Ley.

data released under the ODC-BY 1.0 license