Arun Chandrasekharan

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