Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Gröbe, Daniel
66  Ergebnisse:
Personensuche X
?
1

A RISC-V "V" VP: Unlocking Vector Processing for Evaluation..:

, In: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE),
Schlagl, Manfred ; Stockinger, Moritz ; GroBe, Daniel - p. 1-6 , 2024
Link: https://doi.org/10.23919..
 
?
2

Towards a Highly Interactive Design-Debug-Verification Cycl:

, In: 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC),
Klemmer, Lucas ; Grobe, Daniel - p. 692-697 , 2024
Link: https://doi.org/10.1109/..
 
?
3

Using Formal Verification Methods for Optimization of Circu..:

, In: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE),
Grobe, Daniel ; Klemmer, Lucas ; Bonora, Dominik - p. 1-6 , 2024
Link: https://doi.org/10.23919..
 
?
4

Improving Design Understanding of Processors leveraging Dat..:

, In: 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE),
Ruep, Katharina ; Grobe, Daniel - p. 1-2 , 2023
Link: https://doi.org/10.23919..
 
?
5

Enhancing Compiler-Driven HDL Design with Automatic Wavefor..:

, In: 2023 Forum on Specification & Design Languages (FDL),
Skarman, Frans ; Klemmer, Lucas ; Gustafsson, Oscar. - p. 1-8 , 2023
Link: https://doi.org/10.1109/..
 
?
6

An Exploration Platform for Microcoded RISC-V Cores leverag..:

, In: 2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI),
Klemmer, Lucas ; Grobe, Daniel - p. 38-43 , 2022
Link: https://doi.org/10.1109/..
 
?
7

RevSCA-2.0: SCA-Based Formal Verification of Nontrivial Mul..:

Mahzoon, Alireza ; GroBe, Daniel ; Drechsler, Rolf
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  41 (2022)  5 - p. 1573-1586 , 2022
Link: https://doi.org/10.1109/..
 
?
8

Divider Verification Using Symbolic Computer Algebra and De..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Konrad, Alexander ; Scholl, Christoph ; Mahzoon, Alireza.. - p. 1-10 , 2022
Link: https://doi.org/10.34727..
 
?
9

Maximizing Power State Cross Coverage in Firmware-based Pow..:

, In: 2019 24th Asia and South Pacific Design Automation Conference (ASP-DAC),
Herdt, Vladimir ; Le, Hoang M. ; Grobe, Daniel. - p. 1-6 , 2019
Link: https://doi.org/10.1145/..
 
?
10

Towards Formal Verification of Plans for Cognition-Enabled ..:

, In: 2019 22nd Euromicro Conference on Digital System Design (DSD),
Meywerk, Tim ; Walter, Marcel ; Herdt, Vladimir.. - p. 129-136 , 2019
Link: https://doi.org/10.1109/..
 
?
11

Functional Coverage-Driven Characterization of RF Amplifier:

, In: 2019 Forum for Specification and Design Languages (FDL),
Hassan, Muhammad ; Grobe, Daniel ; Vortler, Thilo.. - p. 1-8 , 2019
Link: https://doi.org/10.1109/..
 
?
12

Scalable Design for Field-Coupled Nanocomputing Circuits:

, In: 2019 24th Asia and South Pacific Design Automation Conference (ASP-DAC),
Walter, Marcel ; Wille, Robert ; Torres, Frank Sill.. - p. 1-6 , 2019
Link: https://doi.org/10.1145/..
 
?
13

Invasion of Trypanosoma cruzi into host cells is impaired b..:

Lieke, Thorsten ; Gröbe, Daniel ; Blanchard, Véronique...
Glycoconjugate Journal.  28 (2011)  1 - p. 31-37 , 2011
Link: https://doi.org/10.1007/..
 
?
14

Biochemische Modifikation von Glykan-Strukturen durch nicht..:

Gröbe, Daniel , 2008
Link: http://nbn-resolving.de/..
 
?
15

Surface-modification of polystyrene-microtitre plates via g..:

W. Eckert, Alexander ; Gröbe, Daniel ; Rothe, Ulrich
Biomaterials.  21 (2000)  5 - p. 441-447 , 2000
Link: https://doi.org/10.1016/..
 
1-15
Mehr Literatur finden
Hans Werner Henze