Homepage Sitemap Contact




Home « Publications « Conferences

sort: [ Title ] [ Author ] [ Conferences ] [ Reference ]
search:





» Property-driven Timestamps Encoding for Timeprints-based Tracing and Monitoring




Author:

Rehab Massoud, Hoang M. Le, Rolf Drechsler
Conference:
17th International Conference on Formal Modeling and Analysis of Timed Systems, (FORMATS)
Reference:

Amsterdam, Netherlands, 27-29 August, 2019
Hyperlink:

[Link to the Conference]



» Systematic RISC-V based Firmware Design




Author:

Vladimir Herdt, Daniel Große, Rolf Drechsler, Christoph Gerum, Alexander Jung, Joscha-Joel Benz, Oliver Bringmann, Michael Schwarz, Dominik Stoffel, Wolfgang Kunz
Conference:
Forum on specification & Design Languages (FDL)
Reference:

Southampton, United Kingdom, 2019
Hyperlink:

[Link to the Conference]



» Functional Coverage-Driven Characterization of RF Amplifiers




Author:

Muhammad Hassan, Daniel Große, Thilo Vörtler, Karsten Einwich and Rolf Drechsler
Conference:
Forum on specification & Design Languages (FDL)
Reference:

Southampton, United Kingdom, 2019
Hyperlink:

[Link to the Conference]



» One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits




Author:

Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille
Conference:
49th IEEE International Symposium on Multiple-Valued Logic (ISMVL)
Reference:

Fredericton, NB, Canada, 2019
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» T-Depth Optimization for Fault-Tolerant Quantum Circuits




Author:

Philipp Niemann, Anshu Gupta, Rolf Drechsler
Conference:
49th IEEE International Symposium on Multiple-Valued Logic (ISMVL)
Reference:

Fredericton, NB, Canada, 2019
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» ComPRIMe: A Compiler for Parallel and Scalable ReRAM-based In-Memory Computing




Author:

Steffen Frerix, Saiedeh Shirinzadeh, Saman Fröhlich, Rolf Drechsler
Conference:
International Symposium on Nanoscale Architectures (NanoArch 2019)
Reference:

Qingdao, China, 2019
PDF:

[click here]



» Scalable Simulation-based Verification of SystemC-based Virtual Prototypes




Author:

Mehran Goli, Rolf Drechsler
Conference:
EUROMICRO Digital System Design Conference (DSD)
Reference:

Kallithea - Chalkidiki, Greece, 2019
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Towards Formal Verification of Plans for Cognition-enabled Autonomous Robotic Agents




Author:

Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
EUROMICRO Digital System Design Conference (DSD)
Reference:

Kallithea - Chalkidiki, Greece, 2019
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» SAT-Hard: A Learning-based Hardware SAT-Solver




Author:

Buse Ustaoglu, Sebastian Huhn, Frank Sill Torres, Daniel Große and Rolf Drechsler
Conference:
EUROMICRO Digital System Design Conference (DSD)
Reference:

Kallithea - Chalkidiki, Greece, 2019
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» A Hybrid Embedded Multichannel Test Compression Architecture for Low-Pin Count Test Environments in Safety-Critical Systems




Author:

Sebastian Huhn, Daniel Tille, Rolf Drechsler
Conference:
International Test Conference in Asia (ITC-Asia)
Reference:

Tokyo, Japan, 2019
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-coupled Nanotechnologies




Author:

Robert Wille, Marcel Walter, Frank Sill Torres, Daniel Große, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Miami, Florida, USA, 2019
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Logic Synthesis for Hybrid CMOS-ReRAM Sequential Circuits




Author:

Saman Fröhlich, Saeideh Shirinzadeh, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Miami, Florida, USA, 2019
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Smart Homes Programming: Development and Evaluation of an Educational Programming Application for Young Learners




Author:

Mazyar Seraj, Cornelia Große, Serge Autexier, Rolf Drechsler
Conference:
2019 ACM Interaction Design and Children (IDC) conference
Reference:

Boise, Idaho, USA, 2019
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Improved Look-ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum Circuits




Author:

Anirban Bhattacharjee, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler and Hafizur Rahaman
Conference:
International Conference on VLSI Design (VLSI Design)
Reference:

Florida, USA, 2019
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Automated Analysis of Virtual Prototypes at Electronic System Level




Author:

Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler
Conference:
29th ACM Great Lakes Symposium on VLSI (GLSVLSI)
Reference:

Washington, D.C., USA, 2019
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Hybrid Architecture for Embedded Test Compression to Process Rejected Test Patterns




Author:

Sebastian Huhn, Daniel Tille, Rolf Drechsler
Conference:
IEEE European Test Symposium (ETS)
Reference:

Baden Baden, Germany, 2019
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Machine Learning-based Prediction of Test Power




Author:

Harshad Dhotre, Stephan Eggersglüß, Krishnendu Chakrabarty, Rolf Drechsler
Conference:
IEEE European Test Symposium (ETS)
Reference:

Baden Baden, Germany, 2019
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study




Author:

Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

Las Vegas, USA, 2019
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» RevSCA: Using Reverse Engineering to Bring Light into Backward Rewriting for Big and Dirty Multipliers




Author:

Alireza Mahzoon, Daniel Große, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

Las Vegas, USA, 2019
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Temporal Tracing of On-Chip Signals using Timeprints




Author:

Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer and Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

Las Vegas, USA, 2019
Hyperlink:

[Link to the Conference]
PDF:

[click here]




older entries in the archive







Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE