Matches in SemOpenAlex for { <https://semopenalex.org/work/W2151755292> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2151755292 abstract "Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verification is to define good verification scopes; we should define clearly what to be verified formally upon designs under tests. We considered the following three practical requirements when we defined the scope of formal verification. They are (a) hard to verify (b) small to handle, and (c) easy to understand. Our novel approach is to break down generic properties for system into stereotype properties in block level and to define requirements for Verifiable RTL. Consequently, each designer instead of verification experts can describe properties of the design easily, and formal model checking can be applied systematically and thoroughly to all the leaf modules. During the development of a component chip for server platforms, we focused on RAS (Reliability, Availability, and Serviceability) features and described more than 2000 properties in PSL. As a result of the formal verification, we found several critical logic bugs in a short time with limited resources, and successfully verified all of them. This paper presents a study of the functional verification methodology." @default.
- W2151755292 created "2016-06-24" @default.
- W2151755292 creator A5080825597 @default.
- W2151755292 creator A5083364310 @default.
- W2151755292 date "2005-04-01" @default.
- W2151755292 modified "2023-09-24" @default.
- W2151755292 title "A Formal Verification Methodology for Checking Data Integrity" @default.
- W2151755292 cites W2077698590 @default.
- W2151755292 cites W2082970576 @default.
- W2151755292 cites W2102096698 @default.
- W2151755292 cites W2121367682 @default.
- W2151755292 cites W2128445156 @default.
- W2151755292 cites W2137302701 @default.
- W2151755292 cites W2145716688 @default.
- W2151755292 cites W2153357921 @default.
- W2151755292 cites W2158966008 @default.
- W2151755292 doi "https://doi.org/10.1109/date.2005.15" @default.
- W2151755292 hasPublicationYear "2005" @default.
- W2151755292 type Work @default.
- W2151755292 sameAs 2151755292 @default.
- W2151755292 citedByCount "3" @default.
- W2151755292 countsByYear W21517552922017 @default.
- W2151755292 countsByYear W21517552922019 @default.
- W2151755292 countsByYear W21517552922020 @default.
- W2151755292 crossrefType "proceedings-article" @default.
- W2151755292 hasAuthorship W2151755292A5080825597 @default.
- W2151755292 hasAuthorship W2151755292A5083364310 @default.
- W2151755292 hasBestOaLocation W21517552924 @default.
- W2151755292 hasConcept C110251889 @default.
- W2151755292 hasConcept C111498074 @default.
- W2151755292 hasConcept C142284323 @default.
- W2151755292 hasConcept C149091818 @default.
- W2151755292 hasConcept C186846655 @default.
- W2151755292 hasConcept C199360897 @default.
- W2151755292 hasConcept C2777904410 @default.
- W2151755292 hasConcept C33762810 @default.
- W2151755292 hasConcept C38652104 @default.
- W2151755292 hasConcept C41008148 @default.
- W2151755292 hasConcept C75606506 @default.
- W2151755292 hasConcept C96654402 @default.
- W2151755292 hasConceptScore W2151755292C110251889 @default.
- W2151755292 hasConceptScore W2151755292C111498074 @default.
- W2151755292 hasConceptScore W2151755292C142284323 @default.
- W2151755292 hasConceptScore W2151755292C149091818 @default.
- W2151755292 hasConceptScore W2151755292C186846655 @default.
- W2151755292 hasConceptScore W2151755292C199360897 @default.
- W2151755292 hasConceptScore W2151755292C2777904410 @default.
- W2151755292 hasConceptScore W2151755292C33762810 @default.
- W2151755292 hasConceptScore W2151755292C38652104 @default.
- W2151755292 hasConceptScore W2151755292C41008148 @default.
- W2151755292 hasConceptScore W2151755292C75606506 @default.
- W2151755292 hasConceptScore W2151755292C96654402 @default.
- W2151755292 hasLocation W21517552921 @default.
- W2151755292 hasLocation W21517552922 @default.
- W2151755292 hasLocation W21517552923 @default.
- W2151755292 hasLocation W21517552924 @default.
- W2151755292 hasLocation W21517552925 @default.
- W2151755292 hasOpenAccess W2151755292 @default.
- W2151755292 hasPrimaryLocation W21517552921 @default.
- W2151755292 hasRelatedWork W1972950378 @default.
- W2151755292 hasRelatedWork W2103336723 @default.
- W2151755292 hasRelatedWork W2105710452 @default.
- W2151755292 hasRelatedWork W2106507440 @default.
- W2151755292 hasRelatedWork W2115240397 @default.
- W2151755292 hasRelatedWork W2152637332 @default.
- W2151755292 hasRelatedWork W2152752131 @default.
- W2151755292 hasRelatedWork W2162615969 @default.
- W2151755292 hasRelatedWork W2367198932 @default.
- W2151755292 hasRelatedWork W2096723742 @default.
- W2151755292 isParatext "false" @default.
- W2151755292 isRetracted "false" @default.
- W2151755292 magId "2151755292" @default.
- W2151755292 workType "article" @default.