Articles with public access mandates - Daniel GrosseLearn more
Not available anywhere: 11
RISC-V based virtual prototype: An extensible and configurable platform for the system-level
V Herdt, D Große, P Pieper, R Drechsler
Journal of Systems Architecture 109, 101756, 2020
Mandates: German Research Foundation, Federal Ministry of Education and Research, Germany
Automatic TLM fault localization for SystemC
HM Le, D Große, R Drechsler
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2012
Mandates: German Research Foundation
Security validation of VP-based SoCs using dynamic information flow tracking
M Goli, M Hassan, D Große, R Drechsler
it-Information Technology 61 (1), 45-58, 2019
Mandates: German Research Foundation, Federal Ministry of Education and Research, Germany
GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools
A Mahzoon, D Große, R Drechsler
Recent Findings in Boolean Techniques: Selected Papers from the 14th …, 2021
Mandates: German Research Foundation
Debugging reversible circuits
R Wille, D Große, S Frehse, GW Dueck, R Drechsler
Integration 44 (1), 51-61, 2011
Mandates: German Research Foundation
Toward RISC-V CSR Compliance Testing
N Bruns, V Herdt, D Große, R Drechsler
IEEE Embedded Systems Letters 13 (4), 202-205, 2021
Mandates: Federal Ministry of Education and Research, Germany
Combining sequentialization-based verification of multi-threaded C programs with symbolic partial order reduction
V Herdt, HM Le, D Große, R Drechsler
International Journal on Software Tools for Technology Transfer 21 (5), 545-565, 2019
Mandates: German Research Foundation, Federal Ministry of Education and Research, Germany
Approximate memory: Data storage in the context of approximate computing
S Froehlich, D Große, R Drechsler
Information Storage: A Multidisciplinary Perspective, 111-133, 2020
Mandates: German Research Foundation
Verifying safety properties of robotic plans operating in real-world environments via logic-based environment modeling
T Meywerk, M Walter, V Herdt, J Kleinekathöfer, D Große, R Drechsler
International Symposium on Leveraging Applications of Formal Methods, 326-347, 2020
Mandates: German Research Foundation
Approximate hardware generation using formal techniques
S Froehlich, D Große, R Drechsler
Approximate Circuits: Methodologies and CAD, 155-174, 2018
Mandates: German Research Foundation
Clustering-Guided SMT () Learning
T Meywerk, M Walter, D Große, R Drechsler
International Conference on Integrated Formal Methods, 41-59, 2020
Mandates: German Research Foundation
Available somewhere: 93
Formal verification of integer multipliers by combining Gröbner basis with logic reduction
A Sayed-Ahmed, D Große, U Kühne, M Soeken, R Drechsler
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2016
Mandates: German Research Foundation
Extensible and configurable RISC-V based virtual prototype
V Herdt, D Große, HM Le, R Drechsler
2018 Forum on Specification & Design Languages (FDL), 5-16, 2018
Mandates: German Research Foundation, Federal Ministry of Education and Research, Germany
Approximation-aware rewriting of AIGs for error tolerant applications
A Chandrasekharan, M Soeken, D Große, R Drechsler
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2016
Mandates: German Research Foundation, European Commission, Federal Ministry of …
BDD minimization for approximate computing
M Soeken, D Große, A Chandrasekharan, R Drechsler
2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC), 474-479, 2016
Mandates: German Research Foundation
RevSCA: Using reverse engineering to bring light into backward rewriting for big and dirty multipliers
A Mahzoon, D Große, R Drechsler
Proceedings of the 56th Annual Design Automation Conference 2019, 1-6, 2019
Mandates: German Research Foundation
Verifying SystemC using an intermediate verification language and symbolic simulation
HM Le, D Große, V Herdt, R Drechsler
Proceedings of the 50th Annual Design Automation Conference, 1-6, 2013
Mandates: German Research Foundation
PolyCleaner: clean your polynomials before backward rewriting to verify million-gate multipliers
A Mahzoon, D Große, R Drechsler
2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2018
Mandates: German Research Foundation
An exact method for design exploration of quantum-dot cellular automata
M Walter, R Wille, D Große, FS Torres, R Drechsler
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 503-508, 2018
Mandates: German Research Foundation
Precise error determination of approximated components in sequential circuits with model checking
A Chandrasekharan, M Soeken, D Große, R Drechsler
Proceedings of the 53rd Annual Design Automation Conference, 1-6, 2016
Mandates: German Research Foundation, European Commission
Publication and funding information is determined automatically by a computer program