Zobrazeno 1 - 10
of 39
pro vyhledávání: '"satisfiability solvers"'
Publikováno v:
IET Cyber-Physical Systems (2016)
Due to the ever increasing complexity of embedded and cyber-physical systems, corresponding design solutions relying on modelling languages such as Unified Modelling Language (UML)/Object Constraint Language (OCL) find increasing attention. Due to th
Externí odkaz:
https://doaj.org/article/adf3c01ba4234cd38f650515cc70597a
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Zdenek Vasicek
Publikováno v:
IEEE Access, Vol 7, Pp 177309-177331 (2019)
IEEE Access. 2019, vol. 7, issue 1, p. 177309-177331.
IEEE Access. 2019, vol. 7, issue 1, p. 177309-177331.
Approximate circuits are digital circuits that are intentionally designed in such a way that the specification is violated in terms of functionality in order to obtain some improvements in power consumption, performance or area, in comparison with fu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::72ad517a6e8e40a910677c19268a4bd8
https://ieeexplore.ieee.org/document/8930546/
https://ieeexplore.ieee.org/document/8930546/
In order to decrease the power dissipation in ASIC design, Multi-voltage design techniques such as Power gating, Clock gating, Power down mode, Multi-threshold, etc. are employed. To help designers verify the correct implementation of these low power
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09a9981c59bb6626410b6326beeade76
Autor:
Armin Biere, Paolo Pasini, Denis Patti, Danilo Vendraminetto, Carmelo Loiacono, Stefano Quer, Keijo Heljanko, Gianpiero Cabodi, Marco Palena
Publikováno v:
Journal on Satisfiability, Boolean Modeling and Computation. 9:135-172
Model checkers and sequential equivalence checkers have become essential tools for the semiconductor industry in recent years. The Hardware Model Checking Competition (HWMCC) was founded in 2006 with the purpose of intensifying research interest in t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::840aa2cb116d7d522668ceac4145387c
https://doi.org/10.3233/sat190106
https://doi.org/10.3233/sat190106
Publikováno v:
JOURNAL OF SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION. 9:135-172
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=CSC_________::2898d83dc58d30bf3024abc0ace7ea3a
http://juuli.fi/Record/0274757616
http://juuli.fi/Record/0274757616
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.