Approximation-aware rewriting of AIGs for error tolerant applications A Chandrasekharan, M Soeken, D Große, R Drechsler 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2016 | 74 | 2016 |
BDD minimization for approximate computing M Soeken, D Große, A Chandrasekharan, R Drechsler 2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC), 474-479, 2016 | 68 | 2016 |
Precise error determination of approximated components in sequential circuits with model checking A Chandrasekharan, M Soeken, D Große, R Drechsler Proceedings of the 53rd Annual Design Automation Conference, 1-6, 2016 | 55 | 2016 |
Approximation-aware testing for approximate circuits A Chandrasekharan, S Eggersglüß, D Große, R Drechsler 2018 23rd Asia and South Pacific design automation conference (ASP-DAC), 239-244, 2018 | 29 | 2018 |
Design automation techniques for approximation circuits A Chandrasekharan, D Große, R Drechsler Springer, 2018 | 16 | 2018 |
ProACt: A processor for high performance on-demand approximate computing A Chandrasekharan, D Große, R Drechsler Proceedings of the on Great Lakes Symposium on VLSI 2017, 463-466, 2017 | 14 | 2017 |
Ensuring safety and reliability of IP-based system design–A container approach A Chandrasekharan, K Schmitz, U Kuhne, R Drechsler 2015 International Symposium on Rapid System Prototyping (RSP), 76-82, 2015 | 9 | 2015 |
Making PROGRESS in property directed reachability T Seufert, C Scholl, A Chandrasekharan, S Reimer, T Welp International Conference on Verification, Model Checking, and Abstract …, 2022 | 6 | 2022 |
Trust is good, control is better: Hardware-based instruction-replacement for reliable processor-ips K Schmitz, A Chandrasekharan, J Gomes Filho, D Große, R Drechsler 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC), 57-62, 2017 | 6 | 2017 |
ProACT: Hardware architecture for cross-layer approximate computing A Chandrasekharan, D Große, R Drechsler, A Chandrasekharan, ... Design Automation Techniques for Approximation Circuits: Verification …, 2019 | 3 | 2019 |
Formal verification of approximate sequential circuits A Chandrasekharan, D Große, R Drechsler, A Chandrasekharan, ... Design Automation Techniques for Approximation Circuits: Verification …, 2019 | 2 | 2019 |
Yise-a novel framework for boolean networks using y-inverter graphs A Chandrasekharan, D Große, R Drechsler Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017 | 1 | 2017 |
Method of checking equivalence between a first design comprising a shift register logic SRL chain and a second design P Warkentin, A Chandrasekharan, T Welp US Patent 11,157,671, 2021 | | 2021 |
Synthesis Techniques for Approximation Circuits A Chandrasekharan, D Große, R Drechsler, A Chandrasekharan, ... Design Automation Techniques for Approximation Circuits: Verification …, 2019 | | 2019 |
Error Metric Computation for Approximate Combinational Circuits A Chandrasekharan, D Große, R Drechsler, A Chandrasekharan, ... Design Automation Techniques for Approximation Circuits: Verification …, 2019 | | 2019 |
Post-Production Test Strategies for Approximation Circuits A Chandrasekharan, D Große, R Drechsler, A Chandrasekharan, ... Design Automation Techniques for Approximation Circuits: Verification …, 2019 | | 2019 |
Design Automation Techniques for Approximation Circuits: Synthesis, Verification and Test A Chandrasekharan Universität Bremen, 2017 | | 2017 |
Symbolic Error Metric Determination for Approximate Computing A Chandrasekharan, D Große, M Soeken, R Drechsler MBMV, 75-76, 2016 | | 2016 |