Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569184876> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1569184876 abstract "In recent years, Assertion-Based Verification (ABV) is being widely accepted as a key technology in the pre-silicon validation of chips. Developing test sequences that trigger non-vacuous interpretations of the assertions is a complex problem, and is considered to be one of the major challenges in ABV. In this paper we present a language called Open-LTL for specifying temporal specifications and input constraints in a unified way and a formal methodology for generating interactive test-benches from these specifications that drive protocol compliant inputs to the Design-Under-Test (DUT)." @default.
- W1569184876 created "2016-06-24" @default.
- W1569184876 creator A5033329960 @default.
- W1569184876 creator A5035897283 @default.
- W1569184876 creator A5076542292 @default.
- W1569184876 creator A5079269181 @default.
- W1569184876 date "2006-02-15" @default.
- W1569184876 modified "2023-09-25" @default.
- W1569184876 title "Interactive Test-Bench Synthesis for Assertion-Based Verification" @default.
- W1569184876 cites W1493721853 @default.
- W1569184876 cites W1513039750 @default.
- W1569184876 cites W1555280138 @default.
- W1569184876 cites W1896160926 @default.
- W1569184876 cites W1903629970 @default.
- W1569184876 cites W1976597924 @default.
- W1569184876 cites W2007635637 @default.
- W1569184876 cites W2023808162 @default.
- W1569184876 cites W2055647675 @default.
- W1569184876 cites W2098176818 @default.
- W1569184876 cites W2118970405 @default.
- W1569184876 cites W2156195436 @default.
- W1569184876 doi "https://doi.org/10.1109/indcon.2005.1590181" @default.
- W1569184876 hasPublicationYear "2006" @default.
- W1569184876 type Work @default.
- W1569184876 sameAs 1569184876 @default.
- W1569184876 citedByCount "0" @default.
- W1569184876 crossrefType "proceedings-article" @default.
- W1569184876 hasAuthorship W1569184876A5033329960 @default.
- W1569184876 hasAuthorship W1569184876A5035897283 @default.
- W1569184876 hasAuthorship W1569184876A5076542292 @default.
- W1569184876 hasAuthorship W1569184876A5079269181 @default.
- W1569184876 hasConcept C110251889 @default.
- W1569184876 hasConcept C111498074 @default.
- W1569184876 hasConcept C111919701 @default.
- W1569184876 hasConcept C115903868 @default.
- W1569184876 hasConcept C116253237 @default.
- W1569184876 hasConcept C142724271 @default.
- W1569184876 hasConcept C149635348 @default.
- W1569184876 hasConcept C151730666 @default.
- W1569184876 hasConcept C199360897 @default.
- W1569184876 hasConcept C204787440 @default.
- W1569184876 hasConcept C26517878 @default.
- W1569184876 hasConcept C2776266606 @default.
- W1569184876 hasConcept C2777267654 @default.
- W1569184876 hasConcept C2780385302 @default.
- W1569184876 hasConcept C40422974 @default.
- W1569184876 hasConcept C41008148 @default.
- W1569184876 hasConcept C71924100 @default.
- W1569184876 hasConcept C75606506 @default.
- W1569184876 hasConcept C86803240 @default.
- W1569184876 hasConceptScore W1569184876C110251889 @default.
- W1569184876 hasConceptScore W1569184876C111498074 @default.
- W1569184876 hasConceptScore W1569184876C111919701 @default.
- W1569184876 hasConceptScore W1569184876C115903868 @default.
- W1569184876 hasConceptScore W1569184876C116253237 @default.
- W1569184876 hasConceptScore W1569184876C142724271 @default.
- W1569184876 hasConceptScore W1569184876C149635348 @default.
- W1569184876 hasConceptScore W1569184876C151730666 @default.
- W1569184876 hasConceptScore W1569184876C199360897 @default.
- W1569184876 hasConceptScore W1569184876C204787440 @default.
- W1569184876 hasConceptScore W1569184876C26517878 @default.
- W1569184876 hasConceptScore W1569184876C2776266606 @default.
- W1569184876 hasConceptScore W1569184876C2777267654 @default.
- W1569184876 hasConceptScore W1569184876C2780385302 @default.
- W1569184876 hasConceptScore W1569184876C40422974 @default.
- W1569184876 hasConceptScore W1569184876C41008148 @default.
- W1569184876 hasConceptScore W1569184876C71924100 @default.
- W1569184876 hasConceptScore W1569184876C75606506 @default.
- W1569184876 hasConceptScore W1569184876C86803240 @default.
- W1569184876 hasLocation W15691848761 @default.
- W1569184876 hasOpenAccess W1569184876 @default.
- W1569184876 hasPrimaryLocation W15691848761 @default.
- W1569184876 hasRelatedWork W1578361860 @default.
- W1569184876 hasRelatedWork W1858894527 @default.
- W1569184876 hasRelatedWork W1948000064 @default.
- W1569184876 hasRelatedWork W1972451685 @default.
- W1569184876 hasRelatedWork W1982763467 @default.
- W1569184876 hasRelatedWork W2008922830 @default.
- W1569184876 hasRelatedWork W2015809588 @default.
- W1569184876 hasRelatedWork W2038658767 @default.
- W1569184876 hasRelatedWork W2082493469 @default.
- W1569184876 hasRelatedWork W2091846435 @default.
- W1569184876 hasRelatedWork W2109924472 @default.
- W1569184876 hasRelatedWork W2119898505 @default.
- W1569184876 hasRelatedWork W2134404335 @default.
- W1569184876 hasRelatedWork W2141725526 @default.
- W1569184876 hasRelatedWork W2147740984 @default.
- W1569184876 hasRelatedWork W2163969811 @default.
- W1569184876 hasRelatedWork W2167613249 @default.
- W1569184876 hasRelatedWork W2536486944 @default.
- W1569184876 hasRelatedWork W2539433646 @default.
- W1569184876 hasRelatedWork W2118322375 @default.
- W1569184876 isParatext "false" @default.
- W1569184876 isRetracted "false" @default.
- W1569184876 magId "1569184876" @default.
- W1569184876 workType "article" @default.