About: The Design of Hardware Checkers for Verification and Diagnostic Purposes

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: The Design of Hardware Checkers for Verification and Diagnostic Purposes Goto Sponge Distinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	In the paper, a survey of our research activities the goal of which is to develop a methodology allowing to design on-line checkers of digital components is described. First, our experiments with PSL language and FoCs tool are demonstrated. It is shown how PSL can be used to describe conditions to be checked by an on-line checker of a digital component. It is demonstrated that checkers generated from PSL description demand more sources than the unit under check which is seen as unacceptable result. The principles of our approach based on developing a formal language to describe the functions to be checked and a compiler which transforms the description into VHDL code are explained. In the paper, a survey of our research activities the goal of which is to develop a methodology allowing to design on-line checkers of digital components is described. First, our experiments with PSL language and FoCs tool are demonstrated. It is shown how PSL can be used to describe conditions to be checked by an on-line checker of a digital component. It is demonstrated that checkers generated from PSL description demand more sources than the unit under check which is seen as unacceptable result. The principles of our approach based on developing a formal language to describe the functions to be checked and a compiler which transforms the description into VHDL code are explained. (en)
Title	The Design of Hardware Checkers for Verification and Diagnostic Purposes The Design of Hardware Checkers for Verification and Diagnostic Purposes (en)
skos:prefLabel	The Design of Hardware Checkers for Verification and Diagnostic Purposes The Design of Hardware Checkers for Verification and Diagnostic Purposes (en)
skos:notation	RIV/00216305:26230/08:PU76731!RIV10-MSM-26230___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GD102/05/H050), Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Winter, Jan Straka, Martin Kotásek, Zdeněk
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	362683
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/08:PU76731
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	on-line checker, on-line testing, verification, PSL, FPGA, FoCs, ModelSim (en)
http://linked.open.../riv/klicoveSlovo	on-line testing FPGA verification on-line checker FoCs ModelSim PSL
http://linked.open...ontrolniKodProRIV	[4688E6533E94]
http://linked.open...v/mistoKonaniAkce	High Tatras - Stará Lesná
http://linked.open...i/riv/mistoVydani	High Tatras - Stará Lesná
http://linked.open...i/riv/nazevZdroje	CSE'2008 International Scientific Conference on Computer Science and Engineering
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Integrated Approach to Education of PhD Students in the Area of Parallel and Distributed Systems
http://linked.open...UplatneniVysledku	2008
http://linked.open...iv/tvurceVysledku	Kotásek, Zdeněk Straka, Martin Winter, Jan
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2008-09-24 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
number of pages	7 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Technická univerzita v Košiciach
https://schema.org/isbn	978-80-8086-092-9
http://localhost/t...ganizacniJednotka	26230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 97 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software