Matches in SemOpenAlex for { <https://semopenalex.org/work/W2031895106> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2031895106 abstract "Soft-processors, instruction processors implemented in FPGA technology, are often customizable to support domain-specific optimization. However the correctness of customized soft-processors, executing the associated machine code, is often not obvious. This paper proposes a novel approach for verifying the implementation of an application program for a customized soft-processor, based on the ACL2 theorem prover. The correctness proof involves verifying a machine code program executing on the target hardware device against a high-level specification of the application program. We illustrate the proposed approach with several case studies, showing how processors with different custom instructions and with different number of pipelined stages can be automatically produced and verified; such processors have a range of trade-offs in performance, size, power and energy consumption to meet different requirements." @default.
- W2031895106 created "2016-06-24" @default.
- W2031895106 creator A5013759760 @default.
- W2031895106 creator A5057940557 @default.
- W2031895106 date "2011-12-01" @default.
- W2031895106 modified "2023-09-26" @default.
- W2031895106 title "Automating formal verification of customized soft-processors" @default.
- W2031895106 cites W1517035691 @default.
- W2031895106 cites W1600131639 @default.
- W2031895106 cites W1863850585 @default.
- W2031895106 cites W2005344510 @default.
- W2031895106 cites W2068419076 @default.
- W2031895106 cites W2079552794 @default.
- W2031895106 cites W2097959379 @default.
- W2031895106 cites W2099633337 @default.
- W2031895106 cites W2103863800 @default.
- W2031895106 cites W2136310957 @default.
- W2031895106 cites W2167343197 @default.
- W2031895106 cites W2167897136 @default.
- W2031895106 cites W2170511114 @default.
- W2031895106 cites W2170676349 @default.
- W2031895106 cites W2185943396 @default.
- W2031895106 cites W2533368764 @default.
- W2031895106 doi "https://doi.org/10.1109/fpt.2011.6132692" @default.
- W2031895106 hasPublicationYear "2011" @default.
- W2031895106 type Work @default.
- W2031895106 sameAs 2031895106 @default.
- W2031895106 citedByCount "2" @default.
- W2031895106 countsByYear W20318951062012 @default.
- W2031895106 countsByYear W20318951062015 @default.
- W2031895106 crossrefType "proceedings-article" @default.
- W2031895106 hasAuthorship W2031895106A5013759760 @default.
- W2031895106 hasAuthorship W2031895106A5057940557 @default.
- W2031895106 hasConcept C111919701 @default.
- W2031895106 hasConcept C133162039 @default.
- W2031895106 hasConcept C134306372 @default.
- W2031895106 hasConcept C149635348 @default.
- W2031895106 hasConcept C173608175 @default.
- W2031895106 hasConcept C177264268 @default.
- W2031895106 hasConcept C199360897 @default.
- W2031895106 hasConcept C206880738 @default.
- W2031895106 hasConcept C26517878 @default.
- W2031895106 hasConcept C2776760102 @default.
- W2031895106 hasConcept C33923547 @default.
- W2031895106 hasConcept C36503486 @default.
- W2031895106 hasConcept C41008148 @default.
- W2031895106 hasConcept C42935608 @default.
- W2031895106 hasConcept C55439883 @default.
- W2031895106 hasConceptScore W2031895106C111919701 @default.
- W2031895106 hasConceptScore W2031895106C133162039 @default.
- W2031895106 hasConceptScore W2031895106C134306372 @default.
- W2031895106 hasConceptScore W2031895106C149635348 @default.
- W2031895106 hasConceptScore W2031895106C173608175 @default.
- W2031895106 hasConceptScore W2031895106C177264268 @default.
- W2031895106 hasConceptScore W2031895106C199360897 @default.
- W2031895106 hasConceptScore W2031895106C206880738 @default.
- W2031895106 hasConceptScore W2031895106C26517878 @default.
- W2031895106 hasConceptScore W2031895106C2776760102 @default.
- W2031895106 hasConceptScore W2031895106C33923547 @default.
- W2031895106 hasConceptScore W2031895106C36503486 @default.
- W2031895106 hasConceptScore W2031895106C41008148 @default.
- W2031895106 hasConceptScore W2031895106C42935608 @default.
- W2031895106 hasConceptScore W2031895106C55439883 @default.
- W2031895106 hasLocation W20318951061 @default.
- W2031895106 hasOpenAccess W2031895106 @default.
- W2031895106 hasPrimaryLocation W20318951061 @default.
- W2031895106 hasRelatedWork W1570677834 @default.
- W2031895106 hasRelatedWork W1677257538 @default.
- W2031895106 hasRelatedWork W173186743 @default.
- W2031895106 hasRelatedWork W2008373913 @default.
- W2031895106 hasRelatedWork W2077021993 @default.
- W2031895106 hasRelatedWork W2091166594 @default.
- W2031895106 hasRelatedWork W2093823361 @default.
- W2031895106 hasRelatedWork W2098283416 @default.
- W2031895106 hasRelatedWork W2117164844 @default.
- W2031895106 hasRelatedWork W2130120920 @default.
- W2031895106 hasRelatedWork W2152375156 @default.
- W2031895106 hasRelatedWork W2156191262 @default.
- W2031895106 hasRelatedWork W2162324489 @default.
- W2031895106 hasRelatedWork W2163408118 @default.
- W2031895106 hasRelatedWork W2220364193 @default.
- W2031895106 hasRelatedWork W2545912967 @default.
- W2031895106 hasRelatedWork W2568168186 @default.
- W2031895106 hasRelatedWork W1570235413 @default.
- W2031895106 hasRelatedWork W2307780514 @default.
- W2031895106 hasRelatedWork W2848653596 @default.
- W2031895106 isParatext "false" @default.
- W2031895106 isRetracted "false" @default.
- W2031895106 magId "2031895106" @default.
- W2031895106 workType "article" @default.