Generalized Miter and its Application in Hardware Design
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F12%3A00197319" target="_blank" >RIV/68407700:21240/12:00197319 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Generalized Miter and its Application in Hardware Design
Original language description
We present a simple method which transforms evaluation problem into conceptual hardware and then to a SAT instance. The evaluation problem over digital circuit is formulated by predicates. These predicates can be further described by logic gates which represent the circuit structure called generalized miter. Then we review the class of dependable circuits studied and present their fault classification. We demonstrate application of the proposed method on this problem, discuss fault classification results for two different implementation technologies, and finally discuss possible applications in other fields of hardware design.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-80-87342-15-2
ISSN
—
e-ISSN
—
Number of pages
2
Pages from-to
119-120
Publisher name
NOVPRESS
Place of publication
Brno
Event location
Znojmo
Event date
Oct 25, 2012
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—