Arun Chandrasekharan

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 10

Top Topics

Central Processor

Boolean Networks

Subgraph Isomorphism

Top Venues

Publications

Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp
Making PROGRESS in Property Directed Reachability. MBMV (2022)
Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp
Making PROGRESS in Property Directed Reachability. VMCAI (2022)
Arun Chandrasekharan, Stephan Eggersglüß, Daniel Große, Rolf Drechsler
Approximation-aware testing for approximate circuits. ASP-DAC (2018)
Arun Chandrasekharan, Daniel Große, Rolf Drechsler
ProACt: A Processor for High Performance On-demand Approximate Computing. ACM Great Lakes Symposium on VLSI (2017)
Kenneth Schmitz, Arun Chandrasekharan, Jonas Gomes Filho, Daniel Große, Rolf Drechsler
Trust is good, control is better: Hardware-based instruction-replacement for reliable processor-IPs. ASP-DAC (2017)
Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Yise - a novel framework for boolean networks using y-inverter graphs. MEMOCODE (2017)
Mathias Soeken, Daniel Große, Arun Chandrasekharan, Rolf Drechsler
BDD minimization for approximate computing. ASP-DAC (2016)
Arun Chandrasekharan, Daniel Große, Mathias Soeken, Rolf Drechsler
Symbolic Error Metric Determination for Approximate Computing. MBMV (2016)
Arun Chandrasekharan, Mathias Soeken, Daniel Große, Rolf Drechsler
Precise error determination of approximated components in sequential circuits with model checking. DAC (2016)
Arun Chandrasekharan, Mathias Soeken, Daniel Große, Rolf Drechsler
Approximation-aware rewriting of AIGs for error tolerant applications. ICCAD (2016)
Arun Chandrasekharan, Kenneth Schmitz, Ulrich Kühne, Rolf Drechsler
Ensuring safety and reliability of IP-based system design - A container approach. RSP (2015)