Funkcionalna semantika in formalna verifikacija sinhronih vezij : doktorska disertacija

(UM)

Funkcionalna semantika in formalna verifikacija sinhronih vezij : doktorska disertacija

Brezočnik, Zmago

V disertaciji predlagamo funkcionalno semantiko za sinhrona sekvenčna vezja. Temelji na monotonih funkcijah, ki preslikujejo končne nize na vhodih vezja v enako dolge izhodne nize. V tej semantiki ... definiramo tri relacije skladnosti med sinhronimi vezji: ekvivalenco, relacijo "cevovod" in časovni homomorfizem. Dokažemo tudi, da je zunanja notacijska semantika ekvivalentna preprosti operacijski semantiki. Za specifikacijo zapletenega časovnega obnašanja sinhronih vezij uporabljamo TPDL funkcije. Teoretične raziskave smo podkrepili s programskim paketom VERSYC za avtomatično verifikacijo funkcionalne pravilnosti sinhronih vezij tako na osnovi notacijske kot tudi operacijske semantike. Z njim smo uspešno verificirali že pestro množico vezij z različno stopnjo kompleksnosti, v kateri je najkompleksnejši računalnik z mikrokodirano kontrolno enoto. Primerjava doseženih rezultatov z rezultati drugih avtorjev po našem mnenju kaže na obetavnost pristopa.

Type of material - dissertation

Publication and manufacture - Maribor : [Z. Brezočnik], 1992

Language - slovenian

COBISS.SI-ID - 5157892

Keep searching

Other authors
Horvat, Bogomir, 1936-

Holdings
Availability in other libraries

Library	Call number – location, accession no. ...	Copy status
Library of Technical Faculties, Maribor	pisarna A-003 (FERI) DD BREZOČNIK Z. Funkcionalna	available - reading room
University of Maribor Library	Skladišče II 34341	available - reading room

Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.

Year	Impact factor		Edition		Category		Classification
Year	JCR	SNIP	JCR	SNIP	JCR	SNIP	JCR	SNIP

Links to authors' personal bibliographies	Links to information on researchers in the SICRIS system
Brezočnik, Zmago	02071
Horvat, Bogomir, 1936-	03015

Source: Personal bibliographies and: SICRIS

The material from the parent unit is free. If the material is delivered to the pickup location from another unit, the library may charge you for this service.

Pickup location	Material status	Reservation

Upload image

Shelf entry

Adding material to shelf was successful.

Adding material to shelf failed.

It was not necessary to add the material to the shelf.

Permalink

E-mail

Impact factor

Select the library membership card:

DRS, in which the journal is indexed

Select pickup location:

Material pickup by post

Notification

Citations

Subject headings in COBISS General List of Subject Headings

Select pickup location

Reservation was successful.

Reservation failed.

Reservation...

Bibliographic data

Number of loans

Loan was successful

Loan failed

Loan was successful

Loan failed

Loan was successful

Loan failed

Loan was successful

Loan failed

Theme