Matches in SemOpenAlex for { <https://semopenalex.org/work/W4289362282> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4289362282 endingPage "97" @default.
- W4289362282 startingPage "95" @default.
- W4289362282 abstract "We present a tool that primarily supports the ability to check bounded properties starting from a sequence of states in a run. The target design is compiled into an AIGNET which is then selectively and iteratively translated into an incremental SAT instance in which clauses are added for new terms and simplified by the assignment of existing literals. Additional applications of the tool can be derived by the user providing alternative attachments of constrained functions which guide the iterations and SAT checks performed. Some Verilog RTL examples are included for reference." @default.
- W4289362282 created "2022-08-02" @default.
- W4289362282 creator A5062826365 @default.
- W4289362282 date "2018-10-29" @default.
- W4289362282 modified "2023-09-28" @default.
- W4289362282 title "Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications" @default.
- W4289362282 cites W1597859737 @default.
- W4289362282 cites W1819209966 @default.
- W4289362282 cites W2038977978 @default.
- W4289362282 cites W2059688912 @default.
- W4289362282 cites W2059960896 @default.
- W4289362282 cites W2110123236 @default.
- W4289362282 cites W2121127534 @default.
- W4289362282 cites W2139691310 @default.
- W4289362282 cites W2151042827 @default.
- W4289362282 cites W2508838091 @default.
- W4289362282 cites W2809332602 @default.
- W4289362282 cites W2897407547 @default.
- W4289362282 cites W3141152287 @default.
- W4289362282 doi "https://doi.org/10.4204/eptcs.280.7" @default.
- W4289362282 hasPublicationYear "2018" @default.
- W4289362282 type Work @default.
- W4289362282 citedByCount "0" @default.
- W4289362282 crossrefType "journal-article" @default.
- W4289362282 hasAuthorship W4289362282A5062826365 @default.
- W4289362282 hasBestOaLocation W42893622821 @default.
- W4289362282 hasConcept C108710211 @default.
- W4289362282 hasConcept C11413529 @default.
- W4289362282 hasConcept C134306372 @default.
- W4289362282 hasConcept C149635348 @default.
- W4289362282 hasConcept C159718280 @default.
- W4289362282 hasConcept C199360897 @default.
- W4289362282 hasConcept C206880738 @default.
- W4289362282 hasConcept C2524010 @default.
- W4289362282 hasConcept C2778112365 @default.
- W4289362282 hasConcept C2779030575 @default.
- W4289362282 hasConcept C33923547 @default.
- W4289362282 hasConcept C34388435 @default.
- W4289362282 hasConcept C41008148 @default.
- W4289362282 hasConcept C42935608 @default.
- W4289362282 hasConcept C54355233 @default.
- W4289362282 hasConcept C80444323 @default.
- W4289362282 hasConcept C86803240 @default.
- W4289362282 hasConceptScore W4289362282C108710211 @default.
- W4289362282 hasConceptScore W4289362282C11413529 @default.
- W4289362282 hasConceptScore W4289362282C134306372 @default.
- W4289362282 hasConceptScore W4289362282C149635348 @default.
- W4289362282 hasConceptScore W4289362282C159718280 @default.
- W4289362282 hasConceptScore W4289362282C199360897 @default.
- W4289362282 hasConceptScore W4289362282C206880738 @default.
- W4289362282 hasConceptScore W4289362282C2524010 @default.
- W4289362282 hasConceptScore W4289362282C2778112365 @default.
- W4289362282 hasConceptScore W4289362282C2779030575 @default.
- W4289362282 hasConceptScore W4289362282C33923547 @default.
- W4289362282 hasConceptScore W4289362282C34388435 @default.
- W4289362282 hasConceptScore W4289362282C41008148 @default.
- W4289362282 hasConceptScore W4289362282C42935608 @default.
- W4289362282 hasConceptScore W4289362282C54355233 @default.
- W4289362282 hasConceptScore W4289362282C80444323 @default.
- W4289362282 hasConceptScore W4289362282C86803240 @default.
- W4289362282 hasLocation W42893622821 @default.
- W4289362282 hasLocation W42893622822 @default.
- W4289362282 hasOpenAccess W4289362282 @default.
- W4289362282 hasPrimaryLocation W42893622821 @default.
- W4289362282 hasRelatedWork W1512952371 @default.
- W4289362282 hasRelatedWork W1515169568 @default.
- W4289362282 hasRelatedWork W2206711905 @default.
- W4289362282 hasRelatedWork W2476186566 @default.
- W4289362282 hasRelatedWork W2538657014 @default.
- W4289362282 hasRelatedWork W2797950816 @default.
- W4289362282 hasRelatedWork W2950961618 @default.
- W4289362282 hasRelatedWork W3043102507 @default.
- W4289362282 hasRelatedWork W4297063300 @default.
- W4289362282 hasRelatedWork W898277466 @default.
- W4289362282 hasVolume "280" @default.
- W4289362282 isParatext "false" @default.
- W4289362282 isRetracted "false" @default.
- W4289362282 workType "article" @default.