( en | de | ru )

 

Disambiguation of "Wiersema, Tobias"

Author of the publication

copydeleteadd this publication to your clipboard
Software/Hardware Co-Verification for Custom Instruction Set Processors.

, , , , and . IEEE Access, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tobias Tobias

Tobias Balkenhol

Adaptive Digitalfilter für die aktive Schalldämmung in Röhrensystemen. Uni Paderborn, (2009)

Tobias Scheel

Die B-Zell-Antwort im Synovialgewebe von Patienten mit Rheumatoider Arthritis. HU Berlin, (2009)

Tobias Lentz

Binaural technology for virtual reality. TU Aachen, (2007)

Tobias Kurz

Genexpressionsanalysen in elicitierten Suspensionskulturzellen von Eschscholzia californica Cham. und Identifizierung von EcaERF2 als transkriptioneller Regulator der Alkaloidbiosynthese. Uni Halle-Wittenberg, (2009)
 

Other publications of authors with the same name

Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan., , and . ARC, volume 11444 of Lecture Notes in Computer Science, page 127-136. Springer, (2019)Software/Hardware Co-Verification for Custom Instruction Set Processors., , , , and . IEEE Access, (2021)On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach., , and . ARC, volume 9040 of Lecture Notes in Computer Science, page 365-372. Springer, (2015)Search space characterization for approximate logic synthesis., , , and . DAC, page 433-438. ACM, (2022)Proof-Carrying Approximate Circuits., , and . IEEE Trans. Very Large Scale Integr. Syst., 28 (9): 2084-2088 (2020)Verifying worst-case completion times for reconfigurable hardware modules using proof-carrying hardware., and . ReCoSoC, page 1-8. IEEE, (2016)Timing Optimization for Virtual FPGA Configurations., , , , and . ARC, volume 12700 of Lecture Notes in Computer Science, page 50-64. Springer, (2021)An architecture and design tool flow for embedding a virtual FPGA into a reconfigurable system-on-chip., , and . Comput. Electr. Eng., (2016)MUSCAT: MUS-based Circuit Approximation Technique., , , and . DATE, page 172-177. IEEE, (2022)Malicious Routing: Circumventing Bitstream-level Verification for FPGAs., , and . DATE, page 1490-1495. IEEE, (2021)