Matches in SemOpenAlex for { <https://semopenalex.org/work/W2178780470> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2178780470 abstract "A scheme for the automatic verification of models described in VHDL (the VHSIC hardware description language) is proposed. For models with many constraints it becomes exceedingly difficult to verify their validity. In the proposed scheme the specifications for the system, i.e. the timing constraints and relations between the inputs and outputs, are described by the designer in modified linear time temporal logic, which is an extension of traditional logic and can describe timing relations among variables. Tests and simulations are conducted on the model described in VHDL, based on the given specifications. The outputs of the simulations are evaluated and compared with expected results. Discrepancies from the given specifications are reported. >" @default.
- W2178780470 created "2016-06-24" @default.
- W2178780470 creator A5024959686 @default.
- W2178780470 creator A5073133315 @default.
- W2178780470 date "2002-12-04" @default.
- W2178780470 modified "2023-09-27" @default.
- W2178780470 title "Automatic verification of models described in VHDL" @default.
- W2178780470 cites W1586491492 @default.
- W2178780470 cites W1967686058 @default.
- W2178780470 cites W1975013071 @default.
- W2178780470 cites W1994661594 @default.
- W2178780470 cites W87447253 @default.
- W2178780470 doi "https://doi.org/10.1109/secon.1990.117985" @default.
- W2178780470 hasPublicationYear "2002" @default.
- W2178780470 type Work @default.
- W2178780470 sameAs 2178780470 @default.
- W2178780470 citedByCount "0" @default.
- W2178780470 crossrefType "proceedings-article" @default.
- W2178780470 hasAuthorship W2178780470A5024959686 @default.
- W2178780470 hasAuthorship W2178780470A5073133315 @default.
- W2178780470 hasConcept C111498074 @default.
- W2178780470 hasConcept C11413529 @default.
- W2178780470 hasConcept C131017901 @default.
- W2178780470 hasConcept C134306372 @default.
- W2178780470 hasConcept C149635348 @default.
- W2178780470 hasConcept C157922185 @default.
- W2178780470 hasConcept C199360897 @default.
- W2178780470 hasConcept C25016198 @default.
- W2178780470 hasConcept C2778029271 @default.
- W2178780470 hasConcept C33923547 @default.
- W2178780470 hasConcept C36941000 @default.
- W2178780470 hasConcept C41008148 @default.
- W2178780470 hasConcept C42143788 @default.
- W2178780470 hasConcept C42935608 @default.
- W2178780470 hasConcept C64859876 @default.
- W2178780470 hasConcept C77618280 @default.
- W2178780470 hasConceptScore W2178780470C111498074 @default.
- W2178780470 hasConceptScore W2178780470C11413529 @default.
- W2178780470 hasConceptScore W2178780470C131017901 @default.
- W2178780470 hasConceptScore W2178780470C134306372 @default.
- W2178780470 hasConceptScore W2178780470C149635348 @default.
- W2178780470 hasConceptScore W2178780470C157922185 @default.
- W2178780470 hasConceptScore W2178780470C199360897 @default.
- W2178780470 hasConceptScore W2178780470C25016198 @default.
- W2178780470 hasConceptScore W2178780470C2778029271 @default.
- W2178780470 hasConceptScore W2178780470C33923547 @default.
- W2178780470 hasConceptScore W2178780470C36941000 @default.
- W2178780470 hasConceptScore W2178780470C41008148 @default.
- W2178780470 hasConceptScore W2178780470C42143788 @default.
- W2178780470 hasConceptScore W2178780470C42935608 @default.
- W2178780470 hasConceptScore W2178780470C64859876 @default.
- W2178780470 hasConceptScore W2178780470C77618280 @default.
- W2178780470 hasLocation W21787804701 @default.
- W2178780470 hasOpenAccess W2178780470 @default.
- W2178780470 hasPrimaryLocation W21787804701 @default.
- W2178780470 hasRelatedWork W1492547117 @default.
- W2178780470 hasRelatedWork W1520121275 @default.
- W2178780470 hasRelatedWork W1565459883 @default.
- W2178780470 hasRelatedWork W1583372371 @default.
- W2178780470 hasRelatedWork W1976277655 @default.
- W2178780470 hasRelatedWork W1979106138 @default.
- W2178780470 hasRelatedWork W1984634196 @default.
- W2178780470 hasRelatedWork W2035127551 @default.
- W2178780470 hasRelatedWork W2041785864 @default.
- W2178780470 hasRelatedWork W2097087931 @default.
- W2178780470 hasRelatedWork W2105182891 @default.
- W2178780470 hasRelatedWork W2121706505 @default.
- W2178780470 hasRelatedWork W2128533727 @default.
- W2178780470 hasRelatedWork W2152691384 @default.
- W2178780470 hasRelatedWork W2156031041 @default.
- W2178780470 hasRelatedWork W2168362805 @default.
- W2178780470 hasRelatedWork W2382522934 @default.
- W2178780470 hasRelatedWork W2985395454 @default.
- W2178780470 hasRelatedWork W3143914093 @default.
- W2178780470 hasRelatedWork W3144618931 @default.
- W2178780470 isParatext "false" @default.
- W2178780470 isRetracted "false" @default.
- W2178780470 magId "2178780470" @default.
- W2178780470 workType "article" @default.