Arun Chandrasekharan

According to our database, Arun Chandrasekharan authored at least 10 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Making PROGRESS in Property Directed Reachability.

Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2022

2018

Approximation-aware testing for approximate circuits.

Arun Chandrasekharan, Stephan Eggersglüß, Daniel Große, Rolf Drechsler

Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018

2017

Yise - a novel framework for boolean networks using y-inverter graphs.

Arun Chandrasekharan, Daniel Große, Rolf Drechsler

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

ProACt: A Processor for High Performance On-demand Approximate Computing.

Arun Chandrasekharan, Daniel Große, Rolf Drechsler

Proceedings of the on Great Lakes Symposium on VLSI 2017, 2017

Trust is good, control is better: Hardware-based instruction-replacement for reliable processor-IPs.

Kenneth Schmitz, Arun Chandrasekharan, Jonas Gomes Filho, Daniel Große, Rolf Drechsler

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2016

Symbolic Error Metric Determination for Approximate Computing.

Arun Chandrasekharan, Daniel Große, Mathias Soeken, Rolf Drechsler

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

Approximation-aware rewriting of AIGs for error tolerant applications.

Arun Chandrasekharan, Mathias Soeken, Daniel Große, Rolf Drechsler

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Precise error determination of approximated components in sequential circuits with model checking.

Arun Chandrasekharan, Mathias Soeken, Daniel Große, Rolf Drechsler

Proceedings of the 53rd Annual Design Automation Conference, 2016

BDD minimization for approximate computing.

Mathias Soeken, Daniel Große, Arun Chandrasekharan, Rolf Drechsler

Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

2015

Ensuring safety and reliability of IP-based system design - A container approach.

Arun Chandrasekharan, Kenneth Schmitz, Ulrich Kühne, Rolf Drechsler

Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015