Matches in SemOpenAlex for { <https://semopenalex.org/work/W2156910727> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2156910727 abstract "This paper presents a practical methodology for the application of formal verification to the industrial design environment Our verification flow is to first create a testbench and simulate the design. Then we modify the testbench and perform a formal verification technique called assertion checking. The examples are taken from the networking arena. The first is a simplified RS232 transceiver, the second a pipelined FIFO-like buffer written in Verilog. We show that assertion checking fits well into the design flow and is easy to use within Protocol Compiler." @default.
- W2156910727 created "2016-06-24" @default.
- W2156910727 creator A5022638628 @default.
- W2156910727 creator A5027086973 @default.
- W2156910727 date "2002-11-13" @default.
- W2156910727 modified "2023-09-26" @default.
- W2156910727 title "Applying formal verification with protocol compiler" @default.
- W2156910727 cites W1984428784 @default.
- W2156910727 cites W1997018187 @default.
- W2156910727 cites W2012001501 @default.
- W2156910727 cites W2061438988 @default.
- W2156910727 cites W2078974709 @default.
- W2156910727 cites W2080267935 @default.
- W2156910727 cites W2109957573 @default.
- W2156910727 cites W2134976264 @default.
- W2156910727 doi "https://doi.org/10.1109/dsd.2001.952270" @default.
- W2156910727 hasPublicationYear "2002" @default.
- W2156910727 type Work @default.
- W2156910727 sameAs 2156910727 @default.
- W2156910727 citedByCount "3" @default.
- W2156910727 crossrefType "proceedings-article" @default.
- W2156910727 hasAuthorship W2156910727A5022638628 @default.
- W2156910727 hasAuthorship W2156910727A5027086973 @default.
- W2156910727 hasConcept C110251889 @default.
- W2156910727 hasConcept C111498074 @default.
- W2156910727 hasConcept C118524514 @default.
- W2156910727 hasConcept C142724271 @default.
- W2156910727 hasConcept C149091818 @default.
- W2156910727 hasConcept C149635348 @default.
- W2156910727 hasConcept C169590947 @default.
- W2156910727 hasConcept C186846655 @default.
- W2156910727 hasConcept C199360897 @default.
- W2156910727 hasConcept C202973057 @default.
- W2156910727 hasConcept C204787440 @default.
- W2156910727 hasConcept C2777145635 @default.
- W2156910727 hasConcept C2777904410 @default.
- W2156910727 hasConcept C2779030575 @default.
- W2156910727 hasConcept C2780385302 @default.
- W2156910727 hasConcept C3406870 @default.
- W2156910727 hasConcept C40422974 @default.
- W2156910727 hasConcept C41008148 @default.
- W2156910727 hasConcept C42935608 @default.
- W2156910727 hasConcept C62460635 @default.
- W2156910727 hasConcept C71924100 @default.
- W2156910727 hasConcept C75606506 @default.
- W2156910727 hasConcept C96654402 @default.
- W2156910727 hasConceptScore W2156910727C110251889 @default.
- W2156910727 hasConceptScore W2156910727C111498074 @default.
- W2156910727 hasConceptScore W2156910727C118524514 @default.
- W2156910727 hasConceptScore W2156910727C142724271 @default.
- W2156910727 hasConceptScore W2156910727C149091818 @default.
- W2156910727 hasConceptScore W2156910727C149635348 @default.
- W2156910727 hasConceptScore W2156910727C169590947 @default.
- W2156910727 hasConceptScore W2156910727C186846655 @default.
- W2156910727 hasConceptScore W2156910727C199360897 @default.
- W2156910727 hasConceptScore W2156910727C202973057 @default.
- W2156910727 hasConceptScore W2156910727C204787440 @default.
- W2156910727 hasConceptScore W2156910727C2777145635 @default.
- W2156910727 hasConceptScore W2156910727C2777904410 @default.
- W2156910727 hasConceptScore W2156910727C2779030575 @default.
- W2156910727 hasConceptScore W2156910727C2780385302 @default.
- W2156910727 hasConceptScore W2156910727C3406870 @default.
- W2156910727 hasConceptScore W2156910727C40422974 @default.
- W2156910727 hasConceptScore W2156910727C41008148 @default.
- W2156910727 hasConceptScore W2156910727C42935608 @default.
- W2156910727 hasConceptScore W2156910727C62460635 @default.
- W2156910727 hasConceptScore W2156910727C71924100 @default.
- W2156910727 hasConceptScore W2156910727C75606506 @default.
- W2156910727 hasConceptScore W2156910727C96654402 @default.
- W2156910727 hasLocation W21569107271 @default.
- W2156910727 hasOpenAccess W2156910727 @default.
- W2156910727 hasPrimaryLocation W21569107271 @default.
- W2156910727 hasRelatedWork W1484851744 @default.
- W2156910727 hasRelatedWork W1569184876 @default.
- W2156910727 hasRelatedWork W1948000064 @default.
- W2156910727 hasRelatedWork W1979921403 @default.
- W2156910727 hasRelatedWork W2004066214 @default.
- W2156910727 hasRelatedWork W2034526989 @default.
- W2156910727 hasRelatedWork W2041473616 @default.
- W2156910727 hasRelatedWork W2062390281 @default.
- W2156910727 hasRelatedWork W2100259118 @default.
- W2156910727 hasRelatedWork W2109924472 @default.
- W2156910727 hasRelatedWork W2119898505 @default.
- W2156910727 hasRelatedWork W2123598699 @default.
- W2156910727 hasRelatedWork W2128513456 @default.
- W2156910727 hasRelatedWork W2149609054 @default.
- W2156910727 hasRelatedWork W2155506245 @default.
- W2156910727 hasRelatedWork W2167613249 @default.
- W2156910727 hasRelatedWork W2475557998 @default.
- W2156910727 hasRelatedWork W2477025673 @default.
- W2156910727 hasRelatedWork W2539433646 @default.
- W2156910727 hasRelatedWork W3142856423 @default.
- W2156910727 isParatext "false" @default.
- W2156910727 isRetracted "false" @default.
- W2156910727 magId "2156910727" @default.
- W2156910727 workType "article" @default.