FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2141556781> ?p ?o ?g. }

• W2141556781 abstract "Aggressive timed circuits, including synchronous and asynchronous self-resetting circuits, are particularly challenging to design and verify due to complicated timing constraints that must hold to ensure correct operation. Identifying a small, sufficient, and easily verifiable set of relative timing constraints simplifies both design and verification. However, the manual identification of these constraints is a complex and error-prone process. This paper presents the first systematic algorithm to generate and optimize relative timing constraints sufficient to guarantee correctness. The algorithm has been implemented in our RTCG tool and has been applied to several real-life circuits. In all cases, the tool successfully generates a sufficient set of easily verifiable relative timing constraints. Moreover the generated constraint sets are the same size or smaller than that of the hand-optimized constraints." @default.
• W2141556781 created "2016-06-24" @default.
• W2141556781 creator A5029404550 @default.
• W2141556781 creator A5041020336 @default.
• W2141556781 creator A5084205024 @default.
• W2141556781 date "2004-04-23" @default.
• W2141556781 modified "2023-10-03" @default.
• W2141556781 title "Relative timing based verification of timed circuits and systems" @default.
• W2141556781 cites W1489517620 @default.
• W2141556781 cites W1491037212 @default.
• W2141556781 cites W1491093261 @default.
• W2141556781 cites W1494451878 @default.
• W2141556781 cites W1543243434 @default.
• W2141556781 cites W1554812212 @default.
• W2141556781 cites W1568028524 @default.
• W2141556781 cites W1570043190 @default.
• W2141556781 cites W1583778827 @default.
• W2141556781 cites W1590223305 @default.
• W2141556781 cites W1793691888 @default.
• W2141556781 cites W1830487160 @default.
• W2141556781 cites W1929497867 @default.
• W2141556781 cites W1937545609 @default.
• W2141556781 cites W1948575810 @default.
• W2141556781 cites W1977272925 @default.
• W2141556781 cites W2032838513 @default.
• W2141556781 cites W2099120582 @default.
• W2141556781 cites W2100009051 @default.
• W2141556781 cites W2101508170 @default.
• W2141556781 cites W2106387547 @default.
• W2141556781 cites W2125965694 @default.
• W2141556781 cites W2127876484 @default.
• W2141556781 cites W2128000312 @default.
• W2141556781 cites W2136310485 @default.
• W2141556781 cites W2145270056 @default.
• W2141556781 cites W2148684266 @default.
• W2141556781 cites W2161331676 @default.
• W2141556781 cites W2161901477 @default.
• W2141556781 cites W2167775755 @default.
• W2141556781 cites W2293601555 @default.
• W2141556781 cites W3150838188 @default.
• W2141556781 cites W97294771 @default.
• W2141556781 doi "https://doi.org/10.1109/async.2002.1000302" @default.
• W2141556781 hasPublicationYear "2004" @default.
• W2141556781 type Work @default.
• W2141556781 sameAs 2141556781 @default.
• W2141556781 citedByCount "24" @default.
• W2141556781 countsByYear W21415567812016 @default.
• W2141556781 countsByYear W21415567812018 @default.
• W2141556781 countsByYear W21415567812019 @default.
• W2141556781 crossrefType "proceedings-article" @default.
• W2141556781 hasAuthorship W2141556781A5029404550 @default.
• W2141556781 hasAuthorship W2141556781A5041020336 @default.
• W2141556781 hasAuthorship W2141556781A5084205024 @default.
• W2141556781 hasConcept C111919701 @default.
• W2141556781 hasConcept C11413529 @default.
• W2141556781 hasConcept C119599485 @default.
• W2141556781 hasConcept C127413603 @default.
• W2141556781 hasConcept C134146338 @default.
• W2141556781 hasConcept C149635348 @default.
• W2141556781 hasConcept C151319957 @default.
• W2141556781 hasConcept C177264268 @default.
• W2141556781 hasConcept C199360897 @default.
• W2141556781 hasConcept C2524010 @default.
• W2141556781 hasConcept C2776036281 @default.
• W2141556781 hasConcept C31258907 @default.
• W2141556781 hasConcept C33923547 @default.
• W2141556781 hasConcept C41008148 @default.
• W2141556781 hasConcept C55439883 @default.
• W2141556781 hasConcept C85847156 @default.
• W2141556781 hasConcept C93682380 @default.
• W2141556781 hasConcept C98045186 @default.
• W2141556781 hasConceptScore W2141556781C111919701 @default.
• W2141556781 hasConceptScore W2141556781C11413529 @default.
• W2141556781 hasConceptScore W2141556781C119599485 @default.
• W2141556781 hasConceptScore W2141556781C127413603 @default.
• W2141556781 hasConceptScore W2141556781C134146338 @default.
• W2141556781 hasConceptScore W2141556781C149635348 @default.
• W2141556781 hasConceptScore W2141556781C151319957 @default.
• W2141556781 hasConceptScore W2141556781C177264268 @default.
• W2141556781 hasConceptScore W2141556781C199360897 @default.
• W2141556781 hasConceptScore W2141556781C2524010 @default.
• W2141556781 hasConceptScore W2141556781C2776036281 @default.
• W2141556781 hasConceptScore W2141556781C31258907 @default.
• W2141556781 hasConceptScore W2141556781C33923547 @default.
• W2141556781 hasConceptScore W2141556781C41008148 @default.
• W2141556781 hasConceptScore W2141556781C55439883 @default.
• W2141556781 hasConceptScore W2141556781C85847156 @default.
• W2141556781 hasConceptScore W2141556781C93682380 @default.
• W2141556781 hasConceptScore W2141556781C98045186 @default.
• W2141556781 hasLocation W21415567811 @default.
• W2141556781 hasOpenAccess W2141556781 @default.
• W2141556781 hasPrimaryLocation W21415567811 @default.
• W2141556781 hasRelatedWork W1532762289 @default.
• W2141556781 hasRelatedWork W1596801655 @default.
• W2141556781 hasRelatedWork W2277606789 @default.
• W2141556781 hasRelatedWork W2358668433 @default.
• W2141556781 hasRelatedWork W2373011076 @default.
• W2141556781 hasRelatedWork W2376932109 @default.
• W2141556781 hasRelatedWork W2387147530 @default.
• W2141556781 hasRelatedWork W2390279801 @default.

• next