FRINK Linked Data Fragments server

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

• W2099698078 endingPage "184" @default.
• W2099698078 startingPage "158" @default.
• W2099698078 abstract "The authors present a formal representation for register-level digital designs. The formalism is expressed in term of three models of a design, the data-flow structure, and timing models, and by bindings that express the interrelationships of the three models. The authors describe the desiderata that led to the particular choice of representation: a uniform representation for specification and implementation, the ability to express detailed implementation constraints, formality, descriptiveness, ease of testing, ease of encoding, executability, and prescriptiveness. They then describe related work and describe the representation and correctness constraints. Formal semantics for the representation are given, and a brief overview of a system that implements them is presented.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
• W2099698078 created "2016-06-24" @default.
• W2099698078 creator A5011314280 @default.
• W2099698078 creator A5031995449 @default.
• W2099698078 date "1992-01-01" @default.
• W2099698078 modified "2023-09-27" @default.
• W2099698078 title "A prescriptive formal model for data-path hardware" @default.
• W2099698078 cites W1607877490 @default.
• W2099698078 cites W1989530661 @default.
• W2099698078 cites W1992450290 @default.
• W2099698078 cites W1997875187 @default.
• W2099698078 cites W2002328633 @default.
• W2099698078 cites W2014393101 @default.
• W2099698078 cites W2077567910 @default.
• W2099698078 cites W2100596926 @default.
• W2099698078 cites W2115166483 @default.
• W2099698078 cites W2118113314 @default.
• W2099698078 cites W2120592698 @default.
• W2099698078 cites W2137986435 @default.
• W2099698078 cites W2144478640 @default.
• W2099698078 cites W2149609054 @default.
• W2099698078 cites W2151103736 @default.
• W2099698078 cites W2153443835 @default.
• W2099698078 cites W2164693696 @default.
• W2099698078 cites W2167163830 @default.
• W2099698078 cites W47501553 @default.
• W2099698078 cites W2166092235 @default.
• W2099698078 doi "https://doi.org/10.1109/43.124396" @default.
• W2099698078 hasPublicationYear "1992" @default.
• W2099698078 type Work @default.
• W2099698078 sameAs 2099698078 @default.
• W2099698078 citedByCount "13" @default.
• W2099698078 countsByYear W20996980782013 @default.
• W2099698078 countsByYear W20996980782014 @default.
• W2099698078 countsByYear W20996980782019 @default.
• W2099698078 crossrefType "journal-article" @default.
• W2099698078 hasAuthorship W2099698078A5011314280 @default.
• W2099698078 hasAuthorship W2099698078A5031995449 @default.
• W2099698078 hasConcept C116253237 @default.
• W2099698078 hasConcept C116409475 @default.
• W2099698078 hasConcept C138885662 @default.
• W2099698078 hasConcept C142362112 @default.
• W2099698078 hasConcept C153349607 @default.
• W2099698078 hasConcept C154945302 @default.
• W2099698078 hasConcept C17744445 @default.
• W2099698078 hasConcept C199360897 @default.
• W2099698078 hasConcept C199539241 @default.
• W2099698078 hasConcept C2776359362 @default.
• W2099698078 hasConcept C2777159308 @default.
• W2099698078 hasConcept C41008148 @default.
• W2099698078 hasConcept C41895202 @default.
• W2099698078 hasConcept C489000 @default.
• W2099698078 hasConcept C55439883 @default.
• W2099698078 hasConcept C558565934 @default.
• W2099698078 hasConcept C73301696 @default.
• W2099698078 hasConcept C77088390 @default.
• W2099698078 hasConcept C80444323 @default.
• W2099698078 hasConcept C88468194 @default.
• W2099698078 hasConcept C94625758 @default.
• W2099698078 hasConceptScore W2099698078C116253237 @default.
• W2099698078 hasConceptScore W2099698078C116409475 @default.
• W2099698078 hasConceptScore W2099698078C138885662 @default.
• W2099698078 hasConceptScore W2099698078C142362112 @default.
• W2099698078 hasConceptScore W2099698078C153349607 @default.
• W2099698078 hasConceptScore W2099698078C154945302 @default.
• W2099698078 hasConceptScore W2099698078C17744445 @default.
• W2099698078 hasConceptScore W2099698078C199360897 @default.
• W2099698078 hasConceptScore W2099698078C199539241 @default.
• W2099698078 hasConceptScore W2099698078C2776359362 @default.
• W2099698078 hasConceptScore W2099698078C2777159308 @default.
• W2099698078 hasConceptScore W2099698078C41008148 @default.
• W2099698078 hasConceptScore W2099698078C41895202 @default.
• W2099698078 hasConceptScore W2099698078C489000 @default.
• W2099698078 hasConceptScore W2099698078C55439883 @default.
• W2099698078 hasConceptScore W2099698078C558565934 @default.
• W2099698078 hasConceptScore W2099698078C73301696 @default.
• W2099698078 hasConceptScore W2099698078C77088390 @default.
• W2099698078 hasConceptScore W2099698078C80444323 @default.
• W2099698078 hasConceptScore W2099698078C88468194 @default.
• W2099698078 hasConceptScore W2099698078C94625758 @default.
• W2099698078 hasIssue "2" @default.
• W2099698078 hasLocation W20996980781 @default.
• W2099698078 hasOpenAccess W2099698078 @default.
• W2099698078 hasPrimaryLocation W20996980781 @default.
• W2099698078 hasRelatedWork W1499795143 @default.
• W2099698078 hasRelatedWork W1501233076 @default.
• W2099698078 hasRelatedWork W1576701404 @default.
• W2099698078 hasRelatedWork W1814870153 @default.
• W2099698078 hasRelatedWork W1926463453 @default.
• W2099698078 hasRelatedWork W1991777579 @default.
• W2099698078 hasRelatedWork W2080682474 @default.
• W2099698078 hasRelatedWork W2099698078 @default.
• W2099698078 hasRelatedWork W1489697166 @default.
• W2099698078 hasRelatedWork W2786248583 @default.
• W2099698078 hasVolume "11" @default.
• W2099698078 isParatext "false" @default.
• W2099698078 isRetracted "false" @default.
• W2099698078 magId "2099698078" @default.

• next