يعرض 1 - 10 نتائج من 28 نتيجة بحث عن '"Strauch, Tobias"', وقت الاستعلام: 1.58s تنقيح النتائج
  1. 1
    مؤتمر
    Deductive Formal Verification of Synthesizable, Transaction-Level Hardware Designs Using Coq

    المؤلفون: Strauch, Tobias

    المصدر: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024. :1-6 Mar, 2024

    Relation: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)

    Full Text Finder
    أضف إلى المفضلة
  2. 2
    مؤتمر
    An RTL ATPG Flow Using the Gate Inherent Fault (GIF) Model Applied on Non-, Standard- and Random-Access-Scan (RAS)

    المؤلفون: Strauch, Tobias

    المصدر: 2019 22nd Euromicro Conference on Digital System Design (DSD) Digital System Design (DSD), 2019 22nd Euromicro Conference on. :51-60 Aug, 2019

    Relation: 2019 22nd Euromicro Conference on Digital System Design (DSD)

    أضف إلى المفضلة
  3. 3
    مؤتمر
    Dynamic Inside-Out Verification Using Inverse Transactions in TLM

    المؤلفون: Strauch, Tobias

    المصدر: 2018 Forum on Specification & Design Languages (FDL) Specification & Design Languages (FDL), 2018 Forum on. :5-16 Sep, 2018

    Relation: 2018 Forum on specification & Design Languages (FDL)

    أضف إلى المفضلة
  4. 4
    مؤتمر
    An Aspect and Transaction Oriented Programming, Design and Verification Language (PDVL)

    المؤلفون: Strauch, Tobias

    المصدر: 2017 Euromicro Conference on Digital System Design (DSD) DSD Digital System Design (DSD), 2017 Euromicro Conference on. :30-39 Aug, 2017

    Relation: 2017 Euromicro Conference on Digital System Design (DSD)

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    مؤتمر
    Acceleration Techniques for System-Hyper-Pipelined Soft-Processors on FPGAs

    المؤلفون: Strauch, Tobias

    المصدر: 2017 Euromicro Conference on Digital System Design (DSD) DSD Digital System Design (DSD), 2017 Euromicro Conference on. :119-128 Aug, 2017

    Relation: 2017 Euromicro Conference on Digital System Design (DSD)

    Full Text Finder
    أضف إلى المفضلة
  6. 6
    تقرير
    Deriving AOC C-Models from D&V Languages for Single- or Multi-Threaded Execution Using C or C++

    المؤلفون: Strauch, Tobias

    مصطلحات موضوعية: Computer Science - Hardware Architecture

    URL الوصول: http://arxiv.org/abs/1807.05442

    أضف إلى المفضلة
  7. 7
    تقرير
    Timing Driven C-Slow Retiming on RTL for MultiCores on FPGAs

    المؤلفون: Strauch, Tobias

    مصطلحات موضوعية: Computer Science - Hardware Architecture

    URL الوصول: http://arxiv.org/abs/1807.05446

    أضف إلى المفضلة
  8. 8
    تقرير
    A Novel RTL ATPG Model Based on Gate Inherent Faults (GIF-PO) of Complex Gates

    المؤلفون: Strauch, Tobias

    مصطلحات موضوعية: Computer Science - Hardware Architecture

    URL الوصول: http://arxiv.org/abs/1612.05166

    أضف إلى المفضلة
  9. 9
    مؤتمر
    Timing driven RTL-to-RTL partitioner for multi-FPGA systems

    المؤلفون: Strauch, Tobias

    المصدر: 2013 23rd International Conference on Field programmable Logic and Applications Field Programmable Logic and Applications (FPL), 2013 23rd International Conference on. :1-4 Sep, 2013

    Relation: 2013 23rd International Conference on Field Programmable Logic and Applications (FPL)

    Full Text Finder
    أضف إلى المفضلة
  10. 10
    تقرير
    Using System Hyper Pipelining (SHP) to Improve the Performance of a Coarse-Grained Reconfigurable Architecture (CGRA) Mapped on an FPGA

    المؤلفون: Strauch, Tobias

    مصطلحات موضوعية: Computer Science - Hardware Architecture

    URL الوصول: http://arxiv.org/abs/1508.07139

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء