Matches in SemOpenAlex for { <https://semopenalex.org/work/W2539530548> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2539530548 abstract "Decimal floating-point designs require a verification process to prove that the design is in compliance with the IEEE Standard for Floating-Point Arithmetic (IEEE Std 754-2008). Our work represents three engines, the first engine for the verification of decimal addition-subtraction operation, the second for the verification of decimal multiplication operation, and the third for the verification of decimal fused-multiple-add operation. Each engine solves constraints describing all corner cases of the operation, and generates test vectors to verify these corner cases in the tested design. The paper describes the constraints of each operation and the steps of each engine to solve these constraints." @default.
- W2539530548 created "2016-11-04" @default.
- W2539530548 creator A5069061017 @default.
- W2539530548 creator A5073738111 @default.
- W2539530548 creator A5091611480 @default.
- W2539530548 date "2010-11-01" @default.
- W2539530548 modified "2023-09-24" @default.
- W2539530548 title "Three engines to solve verification constraints of decimal Floating-Point operation" @default.
- W2539530548 cites W1647688562 @default.
- W2539530548 cites W1975089866 @default.
- W2539530548 cites W2098279788 @default.
- W2539530548 cites W2120888440 @default.
- W2539530548 cites W2123129971 @default.
- W2539530548 cites W2129383429 @default.
- W2539530548 cites W2156566607 @default.
- W2539530548 cites W2207050309 @default.
- W2539530548 cites W2547672034 @default.
- W2539530548 cites W1987248359 @default.
- W2539530548 cites W2101994710 @default.
- W2539530548 doi "https://doi.org/10.1109/acssc.2010.5757585" @default.
- W2539530548 hasPublicationYear "2010" @default.
- W2539530548 type Work @default.
- W2539530548 sameAs 2539530548 @default.
- W2539530548 citedByCount "13" @default.
- W2539530548 countsByYear W25395305482014 @default.
- W2539530548 countsByYear W25395305482015 @default.
- W2539530548 countsByYear W25395305482016 @default.
- W2539530548 countsByYear W25395305482017 @default.
- W2539530548 countsByYear W25395305482018 @default.
- W2539530548 countsByYear W25395305482019 @default.
- W2539530548 countsByYear W25395305482020 @default.
- W2539530548 crossrefType "proceedings-article" @default.
- W2539530548 hasAuthorship W2539530548A5069061017 @default.
- W2539530548 hasAuthorship W2539530548A5073738111 @default.
- W2539530548 hasAuthorship W2539530548A5091611480 @default.
- W2539530548 hasConcept C11413529 @default.
- W2539530548 hasConcept C114614502 @default.
- W2539530548 hasConcept C137231763 @default.
- W2539530548 hasConcept C2524010 @default.
- W2539530548 hasConcept C2780595030 @default.
- W2539530548 hasConcept C28719098 @default.
- W2539530548 hasConcept C33923547 @default.
- W2539530548 hasConcept C41008148 @default.
- W2539530548 hasConcept C65045869 @default.
- W2539530548 hasConcept C84211073 @default.
- W2539530548 hasConcept C9390403 @default.
- W2539530548 hasConcept C94375191 @default.
- W2539530548 hasConceptScore W2539530548C11413529 @default.
- W2539530548 hasConceptScore W2539530548C114614502 @default.
- W2539530548 hasConceptScore W2539530548C137231763 @default.
- W2539530548 hasConceptScore W2539530548C2524010 @default.
- W2539530548 hasConceptScore W2539530548C2780595030 @default.
- W2539530548 hasConceptScore W2539530548C28719098 @default.
- W2539530548 hasConceptScore W2539530548C33923547 @default.
- W2539530548 hasConceptScore W2539530548C41008148 @default.
- W2539530548 hasConceptScore W2539530548C65045869 @default.
- W2539530548 hasConceptScore W2539530548C84211073 @default.
- W2539530548 hasConceptScore W2539530548C9390403 @default.
- W2539530548 hasConceptScore W2539530548C94375191 @default.
- W2539530548 hasLocation W25395305481 @default.
- W2539530548 hasOpenAccess W2539530548 @default.
- W2539530548 hasPrimaryLocation W25395305481 @default.
- W2539530548 hasRelatedWork W1508571285 @default.
- W2539530548 hasRelatedWork W1969525170 @default.
- W2539530548 hasRelatedWork W1975089866 @default.
- W2539530548 hasRelatedWork W2050218838 @default.
- W2539530548 hasRelatedWork W2098279788 @default.
- W2539530548 hasRelatedWork W2104854882 @default.
- W2539530548 hasRelatedWork W2159557060 @default.
- W2539530548 hasRelatedWork W2187137008 @default.
- W2539530548 hasRelatedWork W2189517792 @default.
- W2539530548 hasRelatedWork W2249312336 @default.
- W2539530548 hasRelatedWork W2333337106 @default.
- W2539530548 hasRelatedWork W2405380156 @default.
- W2539530548 hasRelatedWork W2544402391 @default.
- W2539530548 hasRelatedWork W2751029103 @default.
- W2539530548 hasRelatedWork W2796677479 @default.
- W2539530548 hasRelatedWork W3124637262 @default.
- W2539530548 hasRelatedWork W3174757885 @default.
- W2539530548 hasRelatedWork W3193302311 @default.
- W2539530548 hasRelatedWork W2183733898 @default.
- W2539530548 hasRelatedWork W2847309755 @default.
- W2539530548 isParatext "false" @default.
- W2539530548 isRetracted "false" @default.
- W2539530548 magId "2539530548" @default.
- W2539530548 workType "article" @default.