Matches in SemOpenAlex for { <https://semopenalex.org/work/W1623421902> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1623421902 abstract "In this work, an improvement of the traditional digital design methodology is proposed. The major change is the use of a semiformal specification for the code implementation, the use of a verification tool and the establishment of properties for the formal verification of Finite State Machines (FSM). From semi‐formal specifications, assertions were written using Property Specification Language (PSL) for an alignment circuit. Finally, a set of properties for the verification of this module were established and proved using a model checking tool. Our statistics proved that the whole design process was improved and considerable design time was saved." @default.
- W1623421902 created "2016-06-24" @default.
- W1623421902 creator A5029149406 @default.
- W1623421902 creator A5057827905 @default.
- W1623421902 creator A5059544786 @default.
- W1623421902 date "2009-04-01" @default.
- W1623421902 modified "2023-09-23" @default.
- W1623421902 title "Semi‐formal specifications and formal verification improving the digital design: some statistics" @default.
- W1623421902 doi "https://doi.org/10.22201/icat.16656423.2009.7.01.498" @default.
- W1623421902 hasPublicationYear "2009" @default.
- W1623421902 type Work @default.
- W1623421902 sameAs 1623421902 @default.
- W1623421902 citedByCount "2" @default.
- W1623421902 countsByYear W16234219022012 @default.
- W1623421902 countsByYear W16234219022014 @default.
- W1623421902 crossrefType "journal-article" @default.
- W1623421902 hasAuthorship W1623421902A5029149406 @default.
- W1623421902 hasAuthorship W1623421902A5057827905 @default.
- W1623421902 hasAuthorship W1623421902A5059544786 @default.
- W1623421902 hasBestOaLocation W16234219021 @default.
- W1623421902 hasConcept C110251889 @default.
- W1623421902 hasConcept C111498074 @default.
- W1623421902 hasConcept C115903868 @default.
- W1623421902 hasConcept C116253237 @default.
- W1623421902 hasConcept C167822520 @default.
- W1623421902 hasConcept C177264268 @default.
- W1623421902 hasConcept C199360897 @default.
- W1623421902 hasConcept C201677973 @default.
- W1623421902 hasConcept C41008148 @default.
- W1623421902 hasConcept C48103436 @default.
- W1623421902 hasConcept C75606506 @default.
- W1623421902 hasConcept C96654402 @default.
- W1623421902 hasConcept C98045186 @default.
- W1623421902 hasConceptScore W1623421902C110251889 @default.
- W1623421902 hasConceptScore W1623421902C111498074 @default.
- W1623421902 hasConceptScore W1623421902C115903868 @default.
- W1623421902 hasConceptScore W1623421902C116253237 @default.
- W1623421902 hasConceptScore W1623421902C167822520 @default.
- W1623421902 hasConceptScore W1623421902C177264268 @default.
- W1623421902 hasConceptScore W1623421902C199360897 @default.
- W1623421902 hasConceptScore W1623421902C201677973 @default.
- W1623421902 hasConceptScore W1623421902C41008148 @default.
- W1623421902 hasConceptScore W1623421902C48103436 @default.
- W1623421902 hasConceptScore W1623421902C75606506 @default.
- W1623421902 hasConceptScore W1623421902C96654402 @default.
- W1623421902 hasConceptScore W1623421902C98045186 @default.
- W1623421902 hasLocation W16234219021 @default.
- W1623421902 hasLocation W16234219022 @default.
- W1623421902 hasOpenAccess W1623421902 @default.
- W1623421902 hasPrimaryLocation W16234219021 @default.
- W1623421902 hasRelatedWork W1984936841 @default.
- W1623421902 hasRelatedWork W2037706509 @default.
- W1623421902 hasRelatedWork W2060361804 @default.
- W1623421902 hasRelatedWork W2063238028 @default.
- W1623421902 hasRelatedWork W2106507440 @default.
- W1623421902 hasRelatedWork W2109337044 @default.
- W1623421902 hasRelatedWork W2118572231 @default.
- W1623421902 hasRelatedWork W2125353931 @default.
- W1623421902 hasRelatedWork W2134877784 @default.
- W1623421902 hasRelatedWork W2137182662 @default.
- W1623421902 hasRelatedWork W2141443374 @default.
- W1623421902 hasRelatedWork W2152752131 @default.
- W1623421902 hasRelatedWork W2162615969 @default.
- W1623421902 hasRelatedWork W2167022220 @default.
- W1623421902 hasRelatedWork W2367198932 @default.
- W1623421902 hasRelatedWork W2386892903 @default.
- W1623421902 hasRelatedWork W2749272025 @default.
- W1623421902 hasRelatedWork W2963177068 @default.
- W1623421902 hasRelatedWork W3083826291 @default.
- W1623421902 hasRelatedWork W3142399658 @default.
- W1623421902 isParatext "false" @default.
- W1623421902 isRetracted "false" @default.
- W1623421902 magId "1623421902" @default.
- W1623421902 workType "article" @default.