Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109917208> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2109917208 abstract "We present a hardware verification environment that integrates the ACL2 theorem prover and SixthSense, an IBM internal formal verification tool. In this environment, SixthSense is invoked through an ACL2 function acl2six that makes use of a general-purpose external interface added to the ACL2 theorem prover. This interface allows decision procedures and model-checkers to be connected to ACL2 by simply writing ACL2 functions. Our environment also exploits a unique approach to connect the logic of a general-purpose theorem prover with machine designs in VHDL without a language embedding. With an example of a pipelined multiplier, we show how our environment can be used to divide a large verification problem into a number of simpler problems, which can be verified using automated verification engines" @default.
- W2109917208 created "2016-06-24" @default.
- W2109917208 creator A5033341605 @default.
- W2109917208 creator A5037177984 @default.
- W2109917208 date "2006-11-01" @default.
- W2109917208 modified "2023-09-27" @default.
- W2109917208 title "ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool" @default.
- W2109917208 cites W128793516 @default.
- W2109917208 cites W1521083034 @default.
- W2109917208 cites W1531350193 @default.
- W2109917208 cites W1541769999 @default.
- W2109917208 cites W1597068544 @default.
- W2109917208 cites W1608700668 @default.
- W2109917208 cites W1637349059 @default.
- W2109917208 cites W1659048632 @default.
- W2109917208 cites W1783770095 @default.
- W2109917208 cites W1973573501 @default.
- W2109917208 cites W206030009 @default.
- W2109917208 cites W2099571283 @default.
- W2109917208 cites W2102183803 @default.
- W2109917208 cites W2112643551 @default.
- W2109917208 cites W2150802640 @default.
- W2109917208 cites W2159152974 @default.
- W2109917208 doi "https://doi.org/10.1109/fmcad.2006.3" @default.
- W2109917208 hasPublicationYear "2006" @default.
- W2109917208 type Work @default.
- W2109917208 sameAs 2109917208 @default.
- W2109917208 citedByCount "11" @default.
- W2109917208 countsByYear W21099172082013 @default.
- W2109917208 countsByYear W21099172082017 @default.
- W2109917208 countsByYear W21099172082018 @default.
- W2109917208 countsByYear W21099172082022 @default.
- W2109917208 crossrefType "proceedings-article" @default.
- W2109917208 hasAuthorship W2109917208A5033341605 @default.
- W2109917208 hasAuthorship W2109917208A5037177984 @default.
- W2109917208 hasConcept C108710211 @default.
- W2109917208 hasConcept C111498074 @default.
- W2109917208 hasConcept C154945302 @default.
- W2109917208 hasConcept C159718280 @default.
- W2109917208 hasConcept C171250308 @default.
- W2109917208 hasConcept C192562407 @default.
- W2109917208 hasConcept C199360897 @default.
- W2109917208 hasConcept C206880738 @default.
- W2109917208 hasConcept C2524010 @default.
- W2109917208 hasConcept C33923547 @default.
- W2109917208 hasConcept C41008148 @default.
- W2109917208 hasConcept C41608201 @default.
- W2109917208 hasConcept C62460635 @default.
- W2109917208 hasConcept C70388272 @default.
- W2109917208 hasConcept C80444323 @default.
- W2109917208 hasConceptScore W2109917208C108710211 @default.
- W2109917208 hasConceptScore W2109917208C111498074 @default.
- W2109917208 hasConceptScore W2109917208C154945302 @default.
- W2109917208 hasConceptScore W2109917208C159718280 @default.
- W2109917208 hasConceptScore W2109917208C171250308 @default.
- W2109917208 hasConceptScore W2109917208C192562407 @default.
- W2109917208 hasConceptScore W2109917208C199360897 @default.
- W2109917208 hasConceptScore W2109917208C206880738 @default.
- W2109917208 hasConceptScore W2109917208C2524010 @default.
- W2109917208 hasConceptScore W2109917208C33923547 @default.
- W2109917208 hasConceptScore W2109917208C41008148 @default.
- W2109917208 hasConceptScore W2109917208C41608201 @default.
- W2109917208 hasConceptScore W2109917208C62460635 @default.
- W2109917208 hasConceptScore W2109917208C70388272 @default.
- W2109917208 hasConceptScore W2109917208C80444323 @default.
- W2109917208 hasLocation W21099172081 @default.
- W2109917208 hasOpenAccess W2109917208 @default.
- W2109917208 hasPrimaryLocation W21099172081 @default.
- W2109917208 hasRelatedWork W1183828699 @default.
- W2109917208 hasRelatedWork W1535441153 @default.
- W2109917208 hasRelatedWork W1555960401 @default.
- W2109917208 hasRelatedWork W1717165987 @default.
- W2109917208 hasRelatedWork W2163719676 @default.
- W2109917208 hasRelatedWork W2407773024 @default.
- W2109917208 hasRelatedWork W2538657014 @default.
- W2109917208 hasRelatedWork W47563837 @default.
- W2109917208 hasRelatedWork W1574924379 @default.
- W2109917208 hasRelatedWork W1850964079 @default.
- W2109917208 isParatext "false" @default.
- W2109917208 isRetracted "false" @default.
- W2109917208 magId "2109917208" @default.
- W2109917208 workType "article" @default.