Matches in SemOpenAlex for { <https://semopenalex.org/work/W1541152994> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1541152994 abstract "Abstract : Predicate logic is a powerful and general descriptive formalism with a long history of development. However, since the logic's underlying semantics have no notion of time, statements such as I increases by 2 and The bit signal X rises from 0 to 1 can not be directly expressed. The author presents a formalism called interval temporal logic (ITL) that augments standard predicate logic with time-dependent operators. ITL is like discrete linear-time temporal logic but includes time intervals. The behavior of programs and hardware devices can often be decomposed into successively smaller intervals of activity. State transitions can be characterized by properties relating the initial and final values of variables over intervals. Furthermore, these time periods provide a convenient framework for introducing quantitative timing details. After giving some motivation for reasoning about hardware, he presents the propositional and first-order syntax and semantics of ITL. Demonstrated is ITL's utility for uniformly describing the structure and dynamics of a wide variety of timing-dependent digital circuits. Devices discussed include delay elements, adders, latches, flip-flops, counters, random-access memories, a clocked multiplication circuit and the Am2901 bit slice. ITL also provides a means for expressing properties of such specifications. Also examine are such concepts as device equivalence and internal states. Propositional ITL is shown to be undecidable although useful subsets are of relatively reasonable computational complexity. (Author)" @default.
- W1541152994 created "2016-06-24" @default.
- W1541152994 creator A5074263533 @default.
- W1541152994 date "1983-01-01" @default.
- W1541152994 modified "2023-09-27" @default.
- W1541152994 title "Reasoning about Digital Circuits" @default.
- W1541152994 cites W125106562 @default.
- W1541152994 cites W1490966766 @default.
- W1541152994 cites W1499706288 @default.
- W1541152994 cites W1510460008 @default.
- W1541152994 cites W1574129634 @default.
- W1541152994 cites W1588926042 @default.
- W1541152994 cites W1592287058 @default.
- W1541152994 cites W1666015432 @default.
- W1541152994 cites W1677852443 @default.
- W1541152994 cites W1678180485 @default.
- W1541152994 cites W1965828114 @default.
- W1541152994 cites W1967494119 @default.
- W1541152994 cites W1967686058 @default.
- W1541152994 cites W1968947022 @default.
- W1541152994 cites W2001862172 @default.
- W1541152994 cites W2002089154 @default.
- W1541152994 cites W2027387173 @default.
- W1541152994 cites W2086070079 @default.
- W1541152994 cites W2086440639 @default.
- W1541152994 cites W2118387410 @default.
- W1541152994 cites W2119397055 @default.
- W1541152994 cites W2144922219 @default.
- W1541152994 cites W2163751633 @default.
- W1541152994 cites W2212036697 @default.
- W1541152994 cites W2401007240 @default.
- W1541152994 cites W2801477967 @default.
- W1541152994 cites W30558629 @default.
- W1541152994 cites W31774667 @default.
- W1541152994 cites W47925306 @default.
- W1541152994 cites W50233445 @default.
- W1541152994 cites W3202227343 @default.
- W1541152994 hasPublicationYear "1983" @default.
- W1541152994 type Work @default.
- W1541152994 sameAs 1541152994 @default.
- W1541152994 citedByCount "84" @default.
- W1541152994 countsByYear W15411529942012 @default.
- W1541152994 countsByYear W15411529942013 @default.
- W1541152994 countsByYear W15411529942014 @default.
- W1541152994 countsByYear W15411529942015 @default.
- W1541152994 countsByYear W15411529942016 @default.
- W1541152994 countsByYear W15411529942017 @default.
- W1541152994 countsByYear W15411529942018 @default.
- W1541152994 countsByYear W15411529942019 @default.
- W1541152994 crossrefType "book" @default.
- W1541152994 hasAuthorship W1541152994A5074263533 @default.
- W1541152994 hasConcept C11413529 @default.
- W1541152994 hasConcept C162670838 @default.
- W1541152994 hasConcept C199360897 @default.
- W1541152994 hasConcept C25016198 @default.
- W1541152994 hasConcept C33923547 @default.
- W1541152994 hasConcept C41008148 @default.
- W1541152994 hasConcept C80444323 @default.
- W1541152994 hasConcept C94375191 @default.
- W1541152994 hasConceptScore W1541152994C11413529 @default.
- W1541152994 hasConceptScore W1541152994C162670838 @default.
- W1541152994 hasConceptScore W1541152994C199360897 @default.
- W1541152994 hasConceptScore W1541152994C25016198 @default.
- W1541152994 hasConceptScore W1541152994C33923547 @default.
- W1541152994 hasConceptScore W1541152994C41008148 @default.
- W1541152994 hasConceptScore W1541152994C80444323 @default.
- W1541152994 hasConceptScore W1541152994C94375191 @default.
- W1541152994 hasLocation W15411529941 @default.
- W1541152994 hasOpenAccess W1541152994 @default.
- W1541152994 hasPrimaryLocation W15411529941 @default.
- W1541152994 hasRelatedWork W1497559908 @default.
- W1541152994 hasRelatedWork W1503784010 @default.
- W1541152994 hasRelatedWork W1523652916 @default.
- W1541152994 hasRelatedWork W1949723230 @default.
- W1541152994 hasRelatedWork W1978654873 @default.
- W1541152994 hasRelatedWork W1997064673 @default.
- W1541152994 hasRelatedWork W2004536649 @default.
- W1541152994 hasRelatedWork W2007939755 @default.
- W1541152994 hasRelatedWork W2011132281 @default.
- W1541152994 hasRelatedWork W2017960715 @default.
- W1541152994 hasRelatedWork W2023808162 @default.
- W1541152994 hasRelatedWork W2087983477 @default.
- W1541152994 hasRelatedWork W2092486735 @default.
- W1541152994 hasRelatedWork W2098770011 @default.
- W1541152994 hasRelatedWork W2103976539 @default.
- W1541152994 hasRelatedWork W2154503781 @default.
- W1541152994 hasRelatedWork W2157319504 @default.
- W1541152994 hasRelatedWork W2161484642 @default.
- W1541152994 hasRelatedWork W2167467151 @default.
- W1541152994 hasRelatedWork W2806619258 @default.
- W1541152994 isParatext "false" @default.
- W1541152994 isRetracted "false" @default.
- W1541152994 magId "1541152994" @default.
- W1541152994 workType "book" @default.