|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 192 | Farn Wang, Fang Yu 0001 |
OVL Assertion-Checking of Embedded Software with Dense-Time Semantics.  |
RTCSA  |
2003 |
DBLP DOI BibTeX RDF |
|
| 88 | Rajdeep Mukhopadhyay, Subrat Kumar Panda, Pallab Dasgupta, John Gough |
Instrumenting AMS assertion verification on commercial platforms. |
ACM Trans. Design Autom. Electr. Syst. |
2009 |
DBLP DOI BibTeX RDF |
OVL, SVA, integrated mixed signal design, verification library, simulation, Assertion |
| 39 | Wenjing Li, ZhongCheng Wu |
OVL: One-View Learning for Human Retrieval. |
AAAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 39 | Carina Silva-Fortes, Maria Antónia Amaral Turkman, Lisete Sousa |
Impact of OVL Variation on AUC Bias Estimated by Non-parametric Methods. |
ICCSA (3) |
2020 |
DBLP DOI BibTeX RDF |
|
| 39 | Anli He, Parija Sule, Youngsik Kim, Nazanin Mansouri |
Exploiting OVL standard assertions in a theorem-proving-based verification environment. |
Circuits, Signals, and Systems |
2004 |
DBLP BibTeX RDF |
|
| 25 | Mohammad Reza Kakoee, Mohammad Riazati, Siamak Mohammadi |
Enhancing the Testability of RTL Designs Using Efficiently Synthesized Assertions. |
ISQED |
2008 |
DBLP DOI BibTeX RDF |
Assertion Synthesis, Assertion Unification, Online Testing |
| 25 | Ali Habibi, Asif Iqbal Ahmed, Otmane Aït Mohamed, Sofiène Tahar |
On the Design and Verification Methodology of the Look-Aside Interface. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
| 25 | Kausik Datta, Partha Pratim Das |
Assertion Based Verification Using HDVL. |
VLSI Design |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license