Matches in SemOpenAlex for { <https://semopenalex.org/work/W1575606589> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1575606589 abstract "Designers use a variety of notations, some of them diagrammatic, while developing systems. Unfortunately, verification tools mainly support single, textual logics. This gap between design practice and verification methodology makes formal verification difficult for designers to apply. Properly formalized, however, diagrams are just as suitable for formal proof as conventional textual notations. Furthermore, heterogeneous logics, those with multiple syntactic representations, support formal interactions between diagrammatic and textual notations.This dissertation defines HHL, a heterogeneous and diagrammatic logic of six hardware design notations: circuit diagrams, state machines, timing diagrams, CTL, second-order logic, and regular expressions over timing diagrams and linear temporal logic formulas. HHL timing diagrams express symbolic as well as concrete timing constraints, generating a class of languages that cuts across the traditional Chomsky hierarchy but is not fully context sensitive.HHL's semantic model is language-based, supporting verification by language-containment testing. Its deductive framework extends this approach beyond the regular languages supported by existing tools, provides a syntactic view of language-containment, and naturally integrates algorithmic and interactive verification techniques. The dissertation also proves that containment of a regular language in a non-regular timing diagram language is decidable, establishing that algorithmic finite-state verification is extendible to timing diagram properties. Worked examples demonstrate the potential of this foundational work to bring computer-aided verification closer to design practice." @default.
- W1575606589 created "2016-06-24" @default.
- W1575606589 creator A5003764289 @default.
- W1575606589 creator A5071335285 @default.
- W1575606589 creator A5074178259 @default.
- W1575606589 date "1996-01-01" @default.
- W1575606589 modified "2023-09-26" @default.
- W1575606589 title "A unified approach to hardware verification through a heterogeneous logic of design diagrams" @default.
- W1575606589 hasPublicationYear "1996" @default.
- W1575606589 type Work @default.
- W1575606589 sameAs 1575606589 @default.
- W1575606589 citedByCount "5" @default.
- W1575606589 crossrefType "journal-article" @default.
- W1575606589 hasAuthorship W1575606589A5003764289 @default.
- W1575606589 hasAuthorship W1575606589A5071335285 @default.
- W1575606589 hasAuthorship W1575606589A5074178259 @default.
- W1575606589 hasConcept C106624574 @default.
- W1575606589 hasConcept C111498074 @default.
- W1575606589 hasConcept C145644426 @default.
- W1575606589 hasConcept C16671368 @default.
- W1575606589 hasConcept C167822520 @default.
- W1575606589 hasConcept C199360897 @default.
- W1575606589 hasConcept C202446494 @default.
- W1575606589 hasConcept C2777904410 @default.
- W1575606589 hasConcept C33923547 @default.
- W1575606589 hasConcept C41008148 @default.
- W1575606589 hasConcept C45357846 @default.
- W1575606589 hasConcept C80444323 @default.
- W1575606589 hasConcept C94375191 @default.
- W1575606589 hasConceptScore W1575606589C106624574 @default.
- W1575606589 hasConceptScore W1575606589C111498074 @default.
- W1575606589 hasConceptScore W1575606589C145644426 @default.
- W1575606589 hasConceptScore W1575606589C16671368 @default.
- W1575606589 hasConceptScore W1575606589C167822520 @default.
- W1575606589 hasConceptScore W1575606589C199360897 @default.
- W1575606589 hasConceptScore W1575606589C202446494 @default.
- W1575606589 hasConceptScore W1575606589C2777904410 @default.
- W1575606589 hasConceptScore W1575606589C33923547 @default.
- W1575606589 hasConceptScore W1575606589C41008148 @default.
- W1575606589 hasConceptScore W1575606589C45357846 @default.
- W1575606589 hasConceptScore W1575606589C80444323 @default.
- W1575606589 hasConceptScore W1575606589C94375191 @default.
- W1575606589 hasLocation W15756065891 @default.
- W1575606589 hasOpenAccess W1575606589 @default.
- W1575606589 hasPrimaryLocation W15756065891 @default.
- W1575606589 hasRelatedWork W1479692980 @default.
- W1575606589 hasRelatedWork W1505685495 @default.
- W1575606589 hasRelatedWork W1507611586 @default.
- W1575606589 hasRelatedWork W1543017360 @default.
- W1575606589 hasRelatedWork W1965570240 @default.
- W1575606589 hasRelatedWork W1998889043 @default.
- W1575606589 hasRelatedWork W2034351045 @default.
- W1575606589 hasRelatedWork W2043510123 @default.
- W1575606589 hasRelatedWork W2063280144 @default.
- W1575606589 hasRelatedWork W2114140373 @default.
- W1575606589 hasRelatedWork W2115781052 @default.
- W1575606589 hasRelatedWork W2126568545 @default.
- W1575606589 hasRelatedWork W2157126000 @default.
- W1575606589 hasRelatedWork W2172146003 @default.
- W1575606589 hasRelatedWork W2539589456 @default.
- W1575606589 hasRelatedWork W3010737172 @default.
- W1575606589 hasRelatedWork W3126422154 @default.
- W1575606589 hasRelatedWork W3153343958 @default.
- W1575606589 hasRelatedWork W1883666430 @default.
- W1575606589 hasRelatedWork W2136291946 @default.
- W1575606589 isParatext "false" @default.
- W1575606589 isRetracted "false" @default.
- W1575606589 magId "1575606589" @default.
- W1575606589 workType "article" @default.