Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130763906> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2130763906 abstract "In this work, a logic design assistance system using Tokio is presented. Tokio is a logic programming language which is based on Interval Temporal Logic. Therefore, Tokio can specify both concurrency and sequentiality accurately and easily. In this system, the behaviors at both the algorithmic level and the register transfer level are given in the same language: Tokio. This is one of the most outstanding characteristics. In this paper, we mainly present a data path verifier at the register transfer level. This verifier is a core part of the assistance system." @default.
- W2130763906 created "2016-06-24" @default.
- W2130763906 creator A5027837299 @default.
- W2130763906 creator A5041215077 @default.
- W2130763906 creator A5042127640 @default.
- W2130763906 creator A5076034621 @default.
- W2130763906 creator A5090578339 @default.
- W2130763906 date "1991-01-01" @default.
- W2130763906 modified "2023-10-04" @default.
- W2130763906 title "Logic design assistance using temporal logic based language Tokio" @default.
- W2130763906 cites W1566397985 @default.
- W2130763906 cites W1883859252 @default.
- W2130763906 cites W1992552504 @default.
- W2130763906 cites W4256630848 @default.
- W2130763906 doi "https://doi.org/10.1007/3-540-53919-0_12" @default.
- W2130763906 hasPublicationYear "1991" @default.
- W2130763906 type Work @default.
- W2130763906 sameAs 2130763906 @default.
- W2130763906 citedByCount "0" @default.
- W2130763906 crossrefType "book-chapter" @default.
- W2130763906 hasAuthorship W2130763906A5027837299 @default.
- W2130763906 hasAuthorship W2130763906A5041215077 @default.
- W2130763906 hasAuthorship W2130763906A5042127640 @default.
- W2130763906 hasAuthorship W2130763906A5076034621 @default.
- W2130763906 hasAuthorship W2130763906A5090578339 @default.
- W2130763906 hasConcept C11648818 @default.
- W2130763906 hasConcept C128838566 @default.
- W2130763906 hasConcept C162670838 @default.
- W2130763906 hasConcept C193702766 @default.
- W2130763906 hasConcept C199360897 @default.
- W2130763906 hasConcept C25016198 @default.
- W2130763906 hasConcept C41008148 @default.
- W2130763906 hasConcept C4777664 @default.
- W2130763906 hasConcept C80444323 @default.
- W2130763906 hasConceptScore W2130763906C11648818 @default.
- W2130763906 hasConceptScore W2130763906C128838566 @default.
- W2130763906 hasConceptScore W2130763906C162670838 @default.
- W2130763906 hasConceptScore W2130763906C193702766 @default.
- W2130763906 hasConceptScore W2130763906C199360897 @default.
- W2130763906 hasConceptScore W2130763906C25016198 @default.
- W2130763906 hasConceptScore W2130763906C41008148 @default.
- W2130763906 hasConceptScore W2130763906C4777664 @default.
- W2130763906 hasConceptScore W2130763906C80444323 @default.
- W2130763906 hasLocation W21307639061 @default.
- W2130763906 hasOpenAccess W2130763906 @default.
- W2130763906 hasPrimaryLocation W21307639061 @default.
- W2130763906 hasRelatedWork W1526924704 @default.
- W2130763906 hasRelatedWork W1540031956 @default.
- W2130763906 hasRelatedWork W1579763347 @default.
- W2130763906 hasRelatedWork W1592369848 @default.
- W2130763906 hasRelatedWork W1606314390 @default.
- W2130763906 hasRelatedWork W174561654 @default.
- W2130763906 hasRelatedWork W1792172281 @default.
- W2130763906 hasRelatedWork W181279230 @default.
- W2130763906 hasRelatedWork W1849529882 @default.
- W2130763906 hasRelatedWork W1883859252 @default.
- W2130763906 hasRelatedWork W1994661594 @default.
- W2130763906 hasRelatedWork W199617803 @default.
- W2130763906 hasRelatedWork W2012623308 @default.
- W2130763906 hasRelatedWork W2072078345 @default.
- W2130763906 hasRelatedWork W2092514393 @default.
- W2130763906 hasRelatedWork W2117107687 @default.
- W2130763906 hasRelatedWork W2153903356 @default.
- W2130763906 hasRelatedWork W3146448752 @default.
- W2130763906 hasRelatedWork W34682815 @default.
- W2130763906 hasRelatedWork W2985456438 @default.
- W2130763906 isParatext "false" @default.
- W2130763906 isRetracted "false" @default.
- W2130763906 magId "2130763906" @default.
- W2130763906 workType "book-chapter" @default.