Matches in SemOpenAlex for { <https://semopenalex.org/work/W2907442864> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2907442864 abstract "Late detection of errors in hardware designs usually results in great costs. On the other hand, the growing advances on this field has let the complexity level to increase extensively. The problem is that the typical Hardware Description Languages (HDL) like VHDL and Verilog are made for synthesis and simulation only. But, the simulation technique could be deficient in complex designs such as the cryptographic circuits. Formal verification has became an important technique towards establishing the correctness of hardware designs. This paper presents a formal verification approach for the cryprographic circuits. It consists on using the functional language Haskell to formally describe both the behavioral and the structural descriptions. In addition, it relies on the use of the hierarchy and modularity techniques in order to reduce the complexity of the designs; and hence simplify the verification task. To show the potential features of the proposed approach, it is applied to the Data Encryption Standard (DES) circuit and its formal specification is presented." @default.
- W2907442864 created "2019-01-11" @default.
- W2907442864 creator A5030139479 @default.
- W2907442864 creator A5066631255 @default.
- W2907442864 date "2018-10-01" @default.
- W2907442864 modified "2023-09-24" @default.
- W2907442864 title "Towards formal verification of cryptographic circuits: A functional approach" @default.
- W2907442864 cites W2044100867 @default.
- W2907442864 cites W2078214592 @default.
- W2907442864 cites W2085942354 @default.
- W2907442864 cites W2102585502 @default.
- W2907442864 cites W2117635926 @default.
- W2907442864 cites W2188755491 @default.
- W2907442864 cites W2545736168 @default.
- W2907442864 cites W2751455878 @default.
- W2907442864 doi "https://doi.org/10.1109/pais.2018.8598527" @default.
- W2907442864 hasPublicationYear "2018" @default.
- W2907442864 type Work @default.
- W2907442864 sameAs 2907442864 @default.
- W2907442864 citedByCount "1" @default.
- W2907442864 countsByYear W29074428642019 @default.
- W2907442864 crossrefType "proceedings-article" @default.
- W2907442864 hasAuthorship W2907442864A5030139479 @default.
- W2907442864 hasAuthorship W2907442864A5066631255 @default.
- W2907442864 hasConcept C111498074 @default.
- W2907442864 hasConcept C113775141 @default.
- W2907442864 hasConcept C11413529 @default.
- W2907442864 hasConcept C149091818 @default.
- W2907442864 hasConcept C149635348 @default.
- W2907442864 hasConcept C178489894 @default.
- W2907442864 hasConcept C186846655 @default.
- W2907442864 hasConcept C187250869 @default.
- W2907442864 hasConcept C199360897 @default.
- W2907442864 hasConcept C2777904410 @default.
- W2907442864 hasConcept C2779030575 @default.
- W2907442864 hasConcept C2780624054 @default.
- W2907442864 hasConcept C3406870 @default.
- W2907442864 hasConcept C36941000 @default.
- W2907442864 hasConcept C41008148 @default.
- W2907442864 hasConcept C42143788 @default.
- W2907442864 hasConcept C42383842 @default.
- W2907442864 hasConcept C42935608 @default.
- W2907442864 hasConcept C55439883 @default.
- W2907442864 hasConcept C62460635 @default.
- W2907442864 hasConcept C75606506 @default.
- W2907442864 hasConcept C80444323 @default.
- W2907442864 hasConcept C96654402 @default.
- W2907442864 hasConceptScore W2907442864C111498074 @default.
- W2907442864 hasConceptScore W2907442864C113775141 @default.
- W2907442864 hasConceptScore W2907442864C11413529 @default.
- W2907442864 hasConceptScore W2907442864C149091818 @default.
- W2907442864 hasConceptScore W2907442864C149635348 @default.
- W2907442864 hasConceptScore W2907442864C178489894 @default.
- W2907442864 hasConceptScore W2907442864C186846655 @default.
- W2907442864 hasConceptScore W2907442864C187250869 @default.
- W2907442864 hasConceptScore W2907442864C199360897 @default.
- W2907442864 hasConceptScore W2907442864C2777904410 @default.
- W2907442864 hasConceptScore W2907442864C2779030575 @default.
- W2907442864 hasConceptScore W2907442864C2780624054 @default.
- W2907442864 hasConceptScore W2907442864C3406870 @default.
- W2907442864 hasConceptScore W2907442864C36941000 @default.
- W2907442864 hasConceptScore W2907442864C41008148 @default.
- W2907442864 hasConceptScore W2907442864C42143788 @default.
- W2907442864 hasConceptScore W2907442864C42383842 @default.
- W2907442864 hasConceptScore W2907442864C42935608 @default.
- W2907442864 hasConceptScore W2907442864C55439883 @default.
- W2907442864 hasConceptScore W2907442864C62460635 @default.
- W2907442864 hasConceptScore W2907442864C75606506 @default.
- W2907442864 hasConceptScore W2907442864C80444323 @default.
- W2907442864 hasConceptScore W2907442864C96654402 @default.
- W2907442864 hasLocation W29074428641 @default.
- W2907442864 hasOpenAccess W2907442864 @default.
- W2907442864 hasPrimaryLocation W29074428641 @default.
- W2907442864 hasRelatedWork W1603779471 @default.
- W2907442864 hasRelatedWork W1631441013 @default.
- W2907442864 hasRelatedWork W1977271794 @default.
- W2907442864 hasRelatedWork W2096133083 @default.
- W2907442864 hasRelatedWork W2109924472 @default.
- W2907442864 hasRelatedWork W2135756607 @default.
- W2907442864 hasRelatedWork W2380730364 @default.
- W2907442864 hasRelatedWork W2907442864 @default.
- W2907442864 hasRelatedWork W2945290399 @default.
- W2907442864 hasRelatedWork W61592148 @default.
- W2907442864 isParatext "false" @default.
- W2907442864 isRetracted "false" @default.
- W2907442864 magId "2907442864" @default.
- W2907442864 workType "article" @default.