Matches in SemOpenAlex for { <https://semopenalex.org/work/W1552692008> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1552692008 endingPage "42" @default.
- W1552692008 startingPage "36" @default.
- W1552692008 abstract "In system-level designs, since many incremental refinements are applied to the designs, equivalence checking between each refinement should be applied. However, proving whether two concurrent designs are equivalent is a difficult task, not to mention that the concurrent design itself can be error-prone. In this paper, we propose an equivalence checking method for C-based descriptions of system-level designs by sequentializing the concurrent behaviors. Before sequentializing concurrent behaviors, we need to check that the design must not contain neither deadlock nor race condition. After the sequentialization, equivalence checking is performed by symbolic simulation. To show that our methodology can be applied to practical designs, we experiment with some SpecC designs developed by University of California Irvine (UCI). The results show that the proposed method is promising. Although the size of some designs are large, with heuristic search for concurrency and synchronization, the size of designs are reduced accordingly and hence we can perform equivalence checking with the sequentialized ones." @default.
- W1552692008 created "2016-06-24" @default.
- W1552692008 creator A5008884170 @default.
- W1552692008 creator A5027837299 @default.
- W1552692008 creator A5044331863 @default.
- W1552692008 creator A5050673369 @default.
- W1552692008 creator A5054079223 @default.
- W1552692008 date "2007-04-02" @default.
- W1552692008 modified "2023-10-03" @default.
- W1552692008 title "Equivalence checking in C-based system-level design by sequentializing concurrent behaviors" @default.
- W1552692008 cites W1497571013 @default.
- W1552692008 cites W2074290998 @default.
- W1552692008 cites W2096620499 @default.
- W1552692008 cites W2105063618 @default.
- W1552692008 cites W2109238268 @default.
- W1552692008 cites W2120180596 @default.
- W1552692008 cites W2134295479 @default.
- W1552692008 cites W2152016786 @default.
- W1552692008 cites W2158395308 @default.
- W1552692008 cites W2295903414 @default.
- W1552692008 cites W74242707 @default.
- W1552692008 hasPublicationYear "2007" @default.
- W1552692008 type Work @default.
- W1552692008 sameAs 1552692008 @default.
- W1552692008 citedByCount "4" @default.
- W1552692008 countsByYear W15526920082013 @default.
- W1552692008 crossrefType "journal-article" @default.
- W1552692008 hasAuthorship W1552692008A5008884170 @default.
- W1552692008 hasAuthorship W1552692008A5027837299 @default.
- W1552692008 hasAuthorship W1552692008A5044331863 @default.
- W1552692008 hasAuthorship W1552692008A5050673369 @default.
- W1552692008 hasAuthorship W1552692008A5054079223 @default.
- W1552692008 hasConcept C110251889 @default.
- W1552692008 hasConcept C11413529 @default.
- W1552692008 hasConcept C118615104 @default.
- W1552692008 hasConcept C193702766 @default.
- W1552692008 hasConcept C199360897 @default.
- W1552692008 hasConcept C2780069185 @default.
- W1552692008 hasConcept C33923547 @default.
- W1552692008 hasConcept C41008148 @default.
- W1552692008 hasConcept C80444323 @default.
- W1552692008 hasConcept C96654402 @default.
- W1552692008 hasConceptScore W1552692008C110251889 @default.
- W1552692008 hasConceptScore W1552692008C11413529 @default.
- W1552692008 hasConceptScore W1552692008C118615104 @default.
- W1552692008 hasConceptScore W1552692008C193702766 @default.
- W1552692008 hasConceptScore W1552692008C199360897 @default.
- W1552692008 hasConceptScore W1552692008C2780069185 @default.
- W1552692008 hasConceptScore W1552692008C33923547 @default.
- W1552692008 hasConceptScore W1552692008C41008148 @default.
- W1552692008 hasConceptScore W1552692008C80444323 @default.
- W1552692008 hasConceptScore W1552692008C96654402 @default.
- W1552692008 hasLocation W15526920081 @default.
- W1552692008 hasOpenAccess W1552692008 @default.
- W1552692008 hasPrimaryLocation W15526920081 @default.
- W1552692008 hasRelatedWork W135199158 @default.
- W1552692008 hasRelatedWork W1488219274 @default.
- W1552692008 hasRelatedWork W1520389894 @default.
- W1552692008 hasRelatedWork W1556238795 @default.
- W1552692008 hasRelatedWork W205188998 @default.
- W1552692008 hasRelatedWork W2053568314 @default.
- W1552692008 hasRelatedWork W2072625802 @default.
- W1552692008 hasRelatedWork W2109238268 @default.
- W1552692008 hasRelatedWork W2114398233 @default.
- W1552692008 hasRelatedWork W2117189826 @default.
- W1552692008 hasRelatedWork W2117930267 @default.
- W1552692008 hasRelatedWork W2172121474 @default.
- W1552692008 hasRelatedWork W2289654679 @default.
- W1552692008 hasRelatedWork W2334376961 @default.
- W1552692008 hasRelatedWork W2392617917 @default.
- W1552692008 hasRelatedWork W2405914942 @default.
- W1552692008 hasRelatedWork W2954725723 @default.
- W1552692008 hasRelatedWork W2955990267 @default.
- W1552692008 hasRelatedWork W3098557859 @default.
- W1552692008 hasRelatedWork W2123807339 @default.
- W1552692008 isParatext "false" @default.
- W1552692008 isRetracted "false" @default.
- W1552692008 magId "1552692008" @default.
- W1552692008 workType "article" @default.