294 citations
- RWTH Aachen UniversityDE9 papers
- Technical University of MunichDE8 papers
- AMO (Germany)DE7 papers
- Infineon Technologies (Austria)AT7 papers
- Aston UniversityGB5 papers
- Hospital de Santa CruzPT4 papers
- Infinera (United States)US4 papers
- Technische Universität DresdenDE3 papers
- Télécom ParisFR3 papers
- TU WienAT3 papers
- University College LondonGB3 papers
- University of ViennaAT3 papers
Showing 2019Show all
2 papers · 1 filter
cond-mat.mes-hall2019★ 186 cited
Integrating Graphene into Semiconductor Fabrication Lines
Daniel Neumaier, Stephan Pindl, Max C. Lemme
Electronic and photonic devices based on the two-dimensional material graphene have unique properties, leading to outstanding performance figures-of-merit. Mastering the integratio…
cs.LO2019★ 12 cited
Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study
Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon +8
We present an industrial case study that demonstrates the practicality and effectiveness of Symbolic Quick Error Detection (Symbolic QED) in detecting logic design flaws (logic bug…