<div class="csl-bib-body">
<div class="csl-entry">Maier, J. (2021). <i>Proper abstractions for digital electronic circuits: A physically guided approach</i> [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.102506</div>
</div>
-
dc.identifier.uri
https://doi.org/10.34726/hss.2022.102506
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/20090
-
dc.description.abstract
Over the last decades, major improvements in handling semiconductor materials enabled engineers to realize larger and faster digital circuits. The resulting increase in complexity had, however, negative effects on verification: Although nowadays highly accurate models of the main physical processes, which govern the behavior of a circuit, are available, the size and complexity of these models makes it impossible to finish simulations/computations in reasonable time. One possible solution is to introduce abstractions, which have the goal to reduce the verification effort by hiding certain details while preserving accuracy. Naturally, developing proper abstractions is a very challenging task: Too little or the wrong information provide an incomplete picture while excessive models tend to be slow. In this thesis, we study proper abstractions for digital electronic circuits. In our opinion, the best results are achieved by (i) understanding the underlying physical behaviors and (ii) picking appropriate abstract models and parameters based on the gained insights. Overall, we aim at achieving reliable models, which provide high coverage and accuracy at low verification efforts. To achieve this goal, we thoroughly studied the following domains: (1) We describe the analog behavior of various logic gates based on physically inspired simplified transistor equations. (2) We analyze and extend an existing delay estimation method, i.e., we identify several shortcomings, provide proper explanations and develop suitable extension.(3) Finally we run an in-depth analysis of a Schmitt Triggers susceptibility to metastability. From the answers we obtained we can conclude that there is no “silver bullet” w.r.t. modeling abstractions. Every approach is unique in some respect and thus requires a careful analysis of the governing physical behavior to achieve the optimal performance, accuracy and coverage.
en
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Analog Circuit Simulation
en
dc.subject
Digital Circuit Simulation
en
dc.subject
Faithful Delay Modeling
en
dc.subject
Schmitt-Trigger Metastability Analysis
en
dc.title
Proper abstractions for digital electronic circuits: A physically guided approach
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.identifier.doi
10.34726/hss.2022.102506
-
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Jürgen Maier
-
dc.publisher.place
Wien
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E191 - Institut für Computer Engineering
-
dc.type.qualificationlevel
Doctoral
-
dc.identifier.libraryid
AC16519316
-
dc.description.numberOfPages
243
-
dc.thesistype
Dissertation
de
dc.thesistype
Dissertation
en
tuw.author.orcid
0000-0002-0965-5746
-
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
tuw.advisor.staffStatus
staff
-
tuw.advisor.orcid
0000-0001-9831-8583
-
item.fulltext
with Fulltext
-
item.cerifentitytype
Publications
-
item.mimetype
application/pdf
-
item.openairecristype
http://purl.org/coar/resource_type/c_db06
-
item.languageiso639-1
en
-
item.openaccessfulltext
Open Access
-
item.openairetype
doctoral thesis
-
item.grantfulltext
open
-
crisitem.author.dept
E191-02 - Forschungsbereich Embedded Computing Systems