Matches in SemOpenAlex for { <https://semopenalex.org/work/W2004157466> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2004157466 abstract "Assessing the correctness of a digital design is a challenging task hampered by extremely large circuit netlists, counterintuitive property descriptions and ill-defined specifications. In this paper we propose a new verification methodology, inspired by the principle of least astonishment. The underlying idea is to provide an automatic assessment of what constitutes common for a system, and use this to detect any anomaly in the design. Deviant behavior is presented to the verification engineer through intuitive, compact diagrams which lend themselves to quick inspection for correctness. To enable this methodology we introduce Inferno, a new tool which can analyze the results of a logic simulation trace and automatically extract high-level diagrams representing the design's transaction activity across any user-defined interface. In addition, Inferno can automatically generate a checker module corresponding to a given transaction, suitable for use in a wide range of verification methodologies. We envision the deployment of Inferno in a closed-loop constraint-random simulation methodology where any new transaction detected on the interface is presented to the user for analysis and, once deemed legal, it is merged into an approved transactions checker, which flags the detection of any new type of transactions. We provide a series of examples and experimental results to show the effectiveness of Inferno and some of its possible uses." @default.
- W2004157466 created "2016-06-24" @default.
- W2004157466 creator A5030335506 @default.
- W2004157466 creator A5046852450 @default.
- W2004157466 date "2006-01-01" @default.
- W2004157466 modified "2023-09-27" @default.
- W2004157466 title "Verification through the principle of least astonishment" @default.
- W2004157466 cites W1511234963 @default.
- W2004157466 cites W1511688816 @default.
- W2004157466 cites W1556247398 @default.
- W2004157466 cites W1570229058 @default.
- W2004157466 cites W2026453487 @default.
- W2004157466 cites W2043811931 @default.
- W2004157466 cites W2065160761 @default.
- W2004157466 cites W2137302701 @default.
- W2004157466 cites W2154550022 @default.
- W2004157466 cites W2295399529 @default.
- W2004157466 cites W3009331335 @default.
- W2004157466 doi "https://doi.org/10.1145/1233501.1233682" @default.
- W2004157466 hasPublicationYear "2006" @default.
- W2004157466 type Work @default.
- W2004157466 sameAs 2004157466 @default.
- W2004157466 citedByCount "10" @default.
- W2004157466 countsByYear W20041574662013 @default.
- W2004157466 countsByYear W20041574662016 @default.
- W2004157466 countsByYear W20041574662018 @default.
- W2004157466 crossrefType "proceedings-article" @default.
- W2004157466 hasAuthorship W2004157466A5030335506 @default.
- W2004157466 hasAuthorship W2004157466A5046852450 @default.
- W2004157466 hasBestOaLocation W20041574662 @default.
- W2004157466 hasConcept C41008148 @default.
- W2004157466 hasConceptScore W2004157466C41008148 @default.
- W2004157466 hasLocation W20041574661 @default.
- W2004157466 hasLocation W20041574662 @default.
- W2004157466 hasOpenAccess W2004157466 @default.
- W2004157466 hasPrimaryLocation W20041574661 @default.
- W2004157466 hasRelatedWork W2093578348 @default.
- W2004157466 hasRelatedWork W2350741829 @default.
- W2004157466 hasRelatedWork W2358668433 @default.
- W2004157466 hasRelatedWork W2376932109 @default.
- W2004157466 hasRelatedWork W2382290278 @default.
- W2004157466 hasRelatedWork W2390279801 @default.
- W2004157466 hasRelatedWork W2748952813 @default.
- W2004157466 hasRelatedWork W2766271392 @default.
- W2004157466 hasRelatedWork W2899084033 @default.
- W2004157466 hasRelatedWork W3004735627 @default.
- W2004157466 isParatext "false" @default.
- W2004157466 isRetracted "false" @default.
- W2004157466 magId "2004157466" @default.
- W2004157466 workType "article" @default.