Skip to content

Yiorgos Makris

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

134

Venues

13

Active years

1998–2026

Best venue rank

A*

Where they publish

Papers

134 indexed papers, newest first.

YearVenueTitleAuthors
2026VTSWALET: SHAP-Guided Classification of Wafer-Level E-Test Variability for Early Manufacturing Risk Detection.Ching-Yi Chang, Matthew Nigh, John M. Carulli, Yiorgos Makris
2025ASPDACEfficient and Secure Cloud-based Split Logic Synthesis.Chaitali Sathe, Yiorgos Makris, Benjamin Carrin Schfer
2025FCCMFREEDOM: FPGA-Based Hardware Redaction Emulator.Chaital G. Sathe, Yiorgos Makris, Benjamin Carrion Schafer
2025ICCADUnveiling the Mask: Trusted Semiconductor Manufacturing through Wafer-Level Mask-Set Attestation.Suraag Sunil Tellakula, Ching-Yi Chang, Matthew Nigh, Christos Vasileiou, John M. Carulli, Yiorgos Makris
2025ITCAn SMT-Based Method for Identifying State-Holding Elements in Extracted Netlists.Aric Fowler, Carl Sechen, Yiorgos Makris
2025ITCTeaching Llamas to Test: A Language-Based Approach.Christos Vasileiou, Yiorgos Makris
2025VTSEnhancing Metrology to E-test Correlation Model Accuracy through Process Expertise Integration.Ching-Yi Chang, Matthew Nigh, John M. Carulli, Yiorgos Makris
2024DACNSPG: Natural language Processing-based Security Property Generator for Hardware Security Assurance.Xingyu Meng, Amisha Srivastava, Ayush Arunachalam, Avik Ray, Pedro Henrique Silva, Rafail Psiakis, Yiorgos Makris, Kanad Basu
2024ITCGeneration and Quality Evaluation of Synthetic Process Control Monitoring Data.Matthew Nigh, John M. Carulli, Yiorgos Makris
2024VTSOn the Sensitivity of Analog Artificial Neural Network Models to Process Variation.N. Afroz, A. Sayem, Georgios Volanis, Dzmitry Maliuk, Haralampos-G. Stratigopoulos, Yiorgos Makris
2024VTSTesting a Transistor-Level Programmable Fabric: Challenges and Solutions.Apurva Jain, Thomas Broadfoot, Carl Sechen, Yiorgos Makris
2023DATEQuo Vadis Signal? Automated Directionality Extraction for Post-Programming Verification of a Transistor-Level Programmable Fabric.Apurva Jain, Thomas Broadfoot, Yiorgos Makris, Carl Sechen
2023DATEMANTIS: Machine Learning-Based Approximate ModeliNg of RedacTed Integrated CircuitS.Chaitali Sathe, Yiorgos Makris, Benjamin Carrion Schafer
2023VTSMachine Learning-Based Adaptive Outlier Detection for Underkill Reduction in Analog/RF IC Testing.V. A. Niranjan, Deepika Neethirajan, Constantinos Xanthopoulos, D. Webster, Amit Nahar, Yiorgos Makris
2022DACA defect tolerance framework for improving yield.Shiva Shankar Thiagarajan, Suriyaprakash Natarajan, Yiorgos Makris
2022DATEPhysically and Algorithmically Secure Logic Locking with Hybrid CMOS/Nanomagnet Logic Circuits.Alexander J. Edwards, Naimul Hassan, Dhritiman Bhattacharya, Mustafa M. Shihab, Peng Zhou, Xuan Hu, Jayasimha Atulasimha, Yiorgos Makris, Joseph S. Friedman
2022ICIPEfficient CNN-Based Super Resolution Algorithms for Mmwave Mobile Radar Imaging.Christos Vasileiou, Josiah W. Smith, Shiva Thiagarajan, Matthew Nigh, Yiorgos Makris, Murat Torlak
2022VTSMachine Learning-Based Overkill Reduction through Inter-Test Correlation.Deepika Neethirajan, V. A. Niranjan, Richard Willis, Amit Nahar, D. Webster, Yiorgos Makris
2021DACSecure Logic Locking with Strain-Protected Nanomagnet Logic.Naimul Hassan, Alexander J. Edwards, Dhritiman Bhattacharya, Mustafa M. Shihab, Varun Venkat, Peng Zhou, Xuan Hu, Shamik Kundu, Abraham Peedikayil Kuruvila, Kanad Basu, Jayasimha Atulasimha, Yiorgos Makris, Joseph S. Friedman
2021ICCDFunctional Locking through Omission: From HLS to Obfuscated Design.Zi Wang, Shayan Omais Mohammed, Yiorgos Makris, Benjamin Carrin Schfer
2021VTSTrim Time Reduction in Analog/RF ICs Based on Inter-Trim Correlation.V. A. Niranjan, Deepika Neethirajan, Constantinos Xanthopoulos, E. De La Rosa, C. Alleyne, S. Mier, Yiorgos Makris
2020DACDECOY: DEflection-Driven HLS-Based Computation Partitioning for Obfuscating Intellectual PropertY.Jianqi Chen, Monir Zaman, Yiorgos Makris, R. D. Shawn Blanton, Subhasish Mitra, Benjamin Carrin Schfer
2020DATEAn Efficient MILP-Based Aging-Aware Floorplanner for Multi-Context Coarse-Grained Runtime Reconfigurable FPGAs.Bo Hu, Mustafa M. Shihab, Yiorgos Makris, Benjamin Carrin Schfer, Carl Sechen
2020DATERange-Controlled Floating-Gate Transistors: A Unified Solution for Unlocking and Calibrating Analog ICs.Sai Govinda Rao Nimmalapudi, Georgios Volanis, Yichuan Lu, Angelos Antonopoulos, Andrew Marshall, Yiorgos Makris
2020ISCASCASPER: CAD Framework for a Novel Transistor-Level Programmable Fabric.Mustafa M. Shihab, Bharath Ramanidharan, Gaurav Rajavendra Reddy, Jingxiang Tian, William Swartz, Carl Sechen, Yiorgos Makris
2020VTSATTEST: Application-Agnostic Testing of a Novel Transistor-Level Programmable Fabric.Mustafa Munawar Shihab, Bharath Ramanidharan, Suraag Sunil Tellakula, Gaurav Rajavendra Reddy, Jingxiang Tian, Carl Sechen, Yiorgos Makris
2019DATEDesign Obfuscation through Selective Post-Fabrication Transistor-Level Programming.Mustafa M. Shihab, Jingxiang Tian, Gaurav Rajavendra Reddy, Bo Hu, William Swartz, Benjamin Carrin Schfer, Carl Sechen, Yiorgos Makris
2019DATEWafer-Level Adaptive Vmin Calibration Seed Forecasting.Constantinos Xanthopoulos, Deepika Neethirajan, Sirish Boddikurapati, Amit Nahar, Yiorgos Makris
2019ICCADMachine Learning-Based Hotspot Detection: Fallacies, Pitfalls and Marching Orders.Gaurav Rajavendra Reddy, Kareem Madkour, Yiorgos Makris
2019ICCDRevisiting Capacitor-Based Trojan Design.Mohammad-Mahdi Bidmeshki, Kiruba Sankaran Subramani, Yiorgos Makris
2019IOLTSTrusted and Secure Design of Analog/RF ICs: Recent Developments.Kiruba S. Subramani, Georgios Volanis, Mohammad-Mahdi Bidmeshki, Angelos Antonopoulos, Yiorgos Makris
2019IOLTSAutomated Die Inking through On-line Machine Learning.Constantinos Xanthopoulos, Arnold Neckermann, Paulus List, Klaus-Peter Tschernay, Peter Sarson, Yiorgos Makris
2019ITCSubtle Anomaly Detection of Microscopic Probes using Deep learning based Image Completion.Kosuke Ikeda, Keith Schaub, Ira Leventhal, Yiorgos Makris, Constantinos Xanthopoulos, Deepika Neethirajan
2019ITCVIPER: A Versatile and Intuitive Pattern GenERator for Early Design Space Exploration.Gaurav Rajavendra Reddy, Mohammad-Mahdi Bidmeshki, Yiorgos Makris
2019VTSMachine Learning-based Noise Classification and Decomposition in RF Transceivers.Deepika Neethirajan, Constantinos Xanthopoulos, Kiruba S. Subramani, Keith Schaub, Ira Leventhal, Yiorgos Makris
2019VTSAnalog Performance Locking through Neural Network-Based Biasing.Georgios Volanis, Yichuan Lu, Sai Govinda Rao Nimmalapudi, Angelos Antonopoulos, Andrew Marshall, Yiorgos Makris
2019VTSHardware-based Real-time Workload Forensics via Frame-level TLB Profiling.Yunjie Zhang, Liwei Zhou, Yiorgos Makris
2018DATETowards provably-secure performance locking.Monir Zaman, Abhrajit Sengupta, Danqing Liu, Ozgur Sinanoglu, Yiorgos Makris, Jeyavijayan (JV) Rajendran
2018DATEHardware-assisted rootkit detection via on-line statistical fingerprinting of process execution.Liwei Zhou, Yiorgos Makris
2018ITCOn the use of Bayesian Networks for Resource-Efficient Self-Calibration of Analog/RF ICs.Martin Andraud, Laura Isabel Galindez Olascoaga, Yichuan Lu, Yiorgos Makris, Marian Verhelst
2018ITCHardware Dithering: A Run-Time Method for Trojan Neutralization in Wireless Cryptographic ICs.Christiana Kapatsori, Yu Liu, Angelos Antonopoulos, Yiorgos Makris
2018VTSSpecial session on machine learning: How will machine learning transform test?Yiorgos Makris, Amit Nahar, Haralampos-G. D. Stratigopoulos, Marc Hutner
2018VTSEnhanced hotspot detection through synthetic pattern generation and design of experiments.Gaurav Rajavendra Reddy, Constantinos Xanthopoulos, Yiorgos Makris
2017DATEInformation flow tracking in analog/mixed-signal designs through proof-carrying hardware IP.Mohammad-Mahdi Bidmeshki, Angelos Antonopoulos, Yiorgos Makris
2017DATEA field programmable transistor array featuring single-cycle partial/full dynamic reconfiguration.Jingxiang Tian, Gaurav Rajavendra Reddy, Jiajia Wang, William Swartz, Yiorgos Makris, Carl Sechen
2017DATEHardware-based on-line intrusion detection via system call routine fingerprinting.Liwei Zhou, Yiorgos Makris
2017ETSSecurity and trust in the analog/mixed-signal/RF domain: A survey and a perspective.Angelos Antonopoulos, Christiana Kapatsori, Yiorgos Makris
2017ICCADACE: Adaptive channel estimation for detecting analog/RF trojans in WLAN transceivers.Kiruba Sankaran Subramani, Angelos Antonopoulos, Ahmed Attia Abotabl, Aria Nosratinia, Yiorgos Makris
2017ISCASWafer-level adaptive trim seed forecasting based on E-tests.Constantinos Xanthopoulos, Ali Ahmadi, Sirish Boddikurapati, Amit Nahar, Bob Orr, Yiorgos Makris
2017ITCAutomated die inking: A pattern recognition-based approach.Constantinos Xanthopoulos, Peter Sarson, Heinz Reiter, Yiorgos Makris
2017VTSKnob non-idealities in learning-based post-production tuning of analog/RF ICs: Impact & remedies.Yichuan Lu, Georgios Volanis, Kiruba S. Subramani, Angelos Antonopoulos, Yiorgos Makris
2017VTSForeword.Yiorgos Makris, Srivaths Ravi, Amit Majumdar
2016ICCADA machine learning approach to fab-of-origin attestation.Ali Ahmadi, Mohammad-Mahdi Bidmeshki, Amit Nahar, Bob Orr, Michael Pas, Yiorgos Makris
2016ICCDHardware-based attacks to compromise the cryptographic security of an election system.Mohammad-Mahdi Bidmeshki, Gaurav Rajavendra Reddy, Liwei Zhou, Jeyavijayan Rajendran, Yiorgos Makris
2016ISCASHarnessing fabrication process signature for predicting yield across designs.Ali Ahmadi, Haralampos-G. D. Stratigopoulos, Amit Nahar, Bob Orr, Michael Pas, Yiorgos Makris
2016ITCHarnessing process variations for optimizing wafer-level probe-test flow.Ali Ahmadi, Constantinos Xanthopoulos, Amit Nahar, Bob Orr, Michael Pas, Yiorgos Makris
2016VTSWafer-level process variation-driven probe-test flow selection for test cost reduction in analog/RF ICs.Ali Ahmadi, Amit Nahar, Bob Orr, Michael Pas, Yiorgos Makris
2016VTSOn-die learning-based self-calibration of analog/RF ICs.Georgios Volanis, Dzmitry Maliuk, Yichuan Lu, Kiruba S. Subramani, Angelos Antonopoulos, Yiorgos Makris
2015ICCADYield Forecasting in Fab-to-Fab Production Migration Based on Bayesian Model Fusion.Ali Ahmadi, Haralampos-G. D. Stratigopoulos, Amit Nahar, Bob Orr, Michael Pas, Yiorgos Makris
2015IOLTSWorkload characterization and prediction: A pathway to reliable multi-core systems.Monir Zaman, Ali Ahmadi, Yiorgos Makris
2015ISCASVeriCoq: A Verilog-to-Coq converter for proof-carrying hardware automation.Mohammad-Mahdi Bidmeshki, Yiorgos Makris
2015ITCConcurrent hardware Trojan detection in wireless cryptographic ICs.Yu Liu, Georgios Volanis, Ke Huang, Yiorgos Makris
2015ITCA comparative study of one-shot statistical calibration methods for analog / RF ICs.Yichuan Lu, Kiruba S. Subramani, He Huang, Nathan Kupp, Ke Huang, Yiorgos Makris
2015VTSYield prognosis for fab-to-fab product migration.Ali Ahmadi, Ke Huang, Amit Nahar, Bob Orr, Michael Pas, John M. Carulli, Yiorgos Makris
2014DACHardware Trojan Detection through Golden Chip-Free Statistical Side-Channel Fingerprinting.Yu Liu, Ke Huang, Yiorgos Makris
2014DATEAn analog non-volatile neural network platform for prototyping RF BIST solutions.Dzmitry Maliuk, Yiorgos Makris
2014ITCSpatio-temporal wafer-level correlation modeling with progressive sampling: A pathway to HVM yield estimation.Ali Ahmadi, Ke Huang, Suriyaprakash Natarajan, John M. Carulli Jr., Yiorgos Makris
2014ITCIC laser trimming speed-up through wafer-level spatial correlation modeling.Constantinos Xanthopoulos, Ke Huang, Abbas Poonawala, Amit Nahar, Bob Orr, John M. Carulli Jr., Yiorgos Makris
2013DATEHandling discontinuous effects in modeling spatial correlation of wafer-level analog/RF tests.Ke Huang, Nathan Kupp, John M. Carulli Jr., Yiorgos Makris
2013DATEAVF-driven parity optimization for MBU protection of in-core memory arrays.Michail Maniatakos, Maria K. Michael, Yiorgos Makris
2013ETSOn combining alternate test with spatial correlation modeling in analog/RF ICs.Ke Huang, Nathan Kupp, John M. Carulli Jr., Yiorgos Makris
2013ETSReconciling the IC test and security dichotomy.Ozgur Sinanoglu, Naghmeh Karimi, Jeyavijayan Rajendran, Ramesh Karri, Yier Jin, Ke Huang, Yiorgos Makris
2013ICCADA proof-carrying based framework for trusted microprocessor IP.Yier Jin, Yiorgos Makris
2013ICCADHardware Trojans in wireless cryptographic ICs: silicon demonstration & detection method evaluation.Yu Liu, Yier Jin, Yiorgos Makris
2013IOLTSA post-deployment IC trust evaluation architecture.Yier Jin, Dzmitry Maliuk, Yiorgos Makris
2013IOLTSInvestigating the limits of AVF analysis in the presence of multiple bit errors.Michail Maniatakos, Maria K. Michael, Yiorgos Makris
2013ITCCounterfeit electronics: A rising threat in the semiconductor manufacturing industry.Ke Huang, John M. Carulli, Yiorgos Makris
2013ITCProcess monitoring through wafer-level spatial variation decomposition.Ke Huang, Nathan Kupp, John M. Carulli Jr., Yiorgos Makris
2013VTSInnovative practices session 7C: Self-calibration & trimming.Chen-Yong Cher, Yiorgos Makris, C. Thibeault, Alan J. Drake
2012DATEPost-deployment trust evaluation in wireless cryptographic ICs.Yier Jin, Dzmitry Maliuk, Yiorgos Makris
2012ICCADSpatial correlation modeling for probe test cost reduction in RF devices.Nathan Kupp, Ke Huang, John M. Carulli Jr., Yiorgos Makris
2012ICCDExposing vulnerabilities of untrusted computing platforms.Yier Jin, Michail Maniatakos, Yiorgos Makris
2012ISCASA dual-mode weight storage analog neural network platform for on-chip applications.Dzmitry Maliuk, Yiorgos Makris
2012ITCSpatial estimation of wafer measurement parameters using Gaussian process models.Nathan Kupp, Ke Huang, John M. Carulli Jr., Yiorgos Makris
2012ITCIntegrated optimization of semiconductor manufacturing: A machine learning approach.Nathan Kupp, Yiorgos Makris
2012ITCVulnerability-based Interleaving for Multi-Bit Upset (MBU) protection in modern microprocessors.Michail Maniatakos, Maria K. Michael, Yiorgos Makris
2012VTSProof carrying-based information flow tracking for data secrecy protection and hardware trust.Yier Jin, Yiorgos Makris
2012VTSTowards a fully stand-alone analog/RF BIST: A cost-effective implementation of a neural classifier.Dzmitry Maliuk, Nathan Kupp, Yiorgos Makris
2011DATECorrelating inline data with final test outcomes in analog/RF devices.Nathan Kupp, Mustapha Slamani, Yiorgos Makris
2011ETSAVF Analysis Acceleration via Hierarchical Fault Pruning.Michail Maniatakos, Chandra Tirumurti, Abhijit Jas, Yiorgos Makris
2011ICCADOn proving the efficiency of alternative RF tests.Nathan Kupp, Haralampos-G. D. Stratigopoulos, Petros Drineas, Yiorgos Makris
2011ICCDIs single-scheme Trojan prevention sufficient?Yier Jin, Yiorgos Makris
2011VTSExponent monitoring for low-cost concurrent error detection in FPU control logic.Michail Maniatakos, Yiorgos Makris, Prabhakar Kudva, Bruce M. Fleischer
2010IOLTSAn analog VLSI multilayer perceptron and its application towards built-in self-test in analog circuits.Dzmitry Maliuk, Haralampos-G. D. Stratigopoulos, Yiorgos Makris
2010ITCPost-production performance calibration in analog/RF devices.Nathan Kupp, He Huang, Petros Drineas, Yiorgos Makris
2010ITCAnalog neural network design for RF built-in self-test.Dzmitry Maliuk, Haralampos-G. D. Stratigopoulos, He Huang, Yiorgos Makris
2010VTSWorkload-driven selective hardening of control state elements in modern microprocessors.Michail Maniatakos, Yiorgos Makris
2009DATEEnrichment of limited training sets in machine-learning-based analog/RF test.Haralampos-G. D. Stratigopoulos, Salvador Mir, Yiorgos Makris
2009ICCDImpact analysis of performance faults in modern microprocessors.Naghmeh Karimi, Michail Maniatakos, Chandra Tirumurti, Abhijit Jas, Yiorgos Makris
2009VTSSpecial Session 7C: TTTC 2009 Best Doctoral Thesis Contest.Yiorgos Makris, Haralampos-G. D. Stratigopoulos
2009VTSInstruction-Level Impact Comparison of RT- vs. Gate-Level Faults in a Modern Microprocessor Controller.Michail Maniatakos, Naghmeh Karimi, Chandra Tirumurti, Abhijit Jas, Yiorgos Makris
2008ETSConfidence Estimation in Non-RF to RF Correlation-Based Specification Test Compaction.Nathan Kupp, Petros Drineas, Mustapha Slamani, Yiorgos Makris
2008IOLTSOn the Minimization of Potential Transient Errors and SER in Logic Circuits Using SPFD.Sobeeh Almukhaizim, Yiorgos Makris, Yu-Shen Yang, Andreas G. Veneris
2008ITCOn the Correlation between Controller Faults and Instruction-Level Errors in Modern Microprocessors.Naghmeh Karimi, Michail Maniatakos, Abhijit Jas, Yiorgos Makris
2008VTSA Statistical Approach to Characterizing and Testing Functionalized Nanowires.James Dardig, Haralampos-G. D. Stratigopoulos, Eric Stern, Mark A. Reed, Yiorgos Makris
2007VTSNon-RF to RF Test Correlation Using Learning Machines: A Case Study.Haralampos-G. D. Stratigopoulos, Petros Drineas, Mustapha Slamani, Yiorgos Makris
2006DATEBerger code-based concurrent error detection in asynchronous burst-mode machines.Sobeeh Almukhaizim, Yiorgos Makris
2006ICCADTesting delay faults in asynchronous handshake circuits.Feng Shi, Yiorgos Makris
2006ITCSeamless Integration of SER in Rewiring-Based Design Space Exploration.Sobeeh Almukhaizim, Yiorgos Makris, Yu-Shen Yang, Andreas G. Veneris
2006VTSBridging the Accuracy of Functional and Machine-Learning-Based Mixed-Signal Testing.Haralampos-G. D. Stratigopoulos, Yiorgos Makris
2006VTSSession Abstract.Andreas G. Veneris, Yiorgos Makris
2005ASPDACSPIN-PAC: test compaction for speed-independent circuits.Feng Shi, Yiorgos Makris
2005DATEConcurrent Error Detection in Asynchronous Burst-Mode Controllers.Sobeeh Almukhaizim, Yiorgos Makris
2005ITCTest generation for ultra-high-speed asynchronous pipelines.Feng Shi, Yiorgos Makris, Steven M. Nowick, Montek Singh
2005VTSConstructive Derivation of Analog Specification Test Criteria.Haralampos-G. D. Stratigopoulos, Yiorgos Makris
2004DATEOn Concurrent Error Detection with Bounded Latency in FSMs.Sobeeh Almukhaizim, Petros Drineas, Yiorgos Makris
2004ICCADSPIN-TEST: automatic test pattern generation for speed-independent circuits.Feng Shi, Yiorgos Makris
2004ICCDCompiler-Based Frame Formation for Static Optimization.Feng Shi, Sobeeh Almukhaizim, Pey-Chang Lin, Yiorgos Makris
2004ITCSPIN-SIM: Logic and Fault Simulation for Speed-Independent Circuits.Feng Shi, Yiorgos Makris
2004VTSCost-Driven Selection of Parity Trees.Sobeeh Almukhaizim, Petros Drineas, Yiorgos Makris
2003DATENon-Intrusive Concurrent Error Detection in FSMs through State/Output Compaction and Monitoring via Parity Trees.Petros Drineas, Yiorgos Makris
2003ICCDCost-Effective Graceful Degradation in Speculative Processor Subsystems: The Branch Prediction Case.Sobeeh Almukhaizim, Thomas Verdel, Yiorgos Makris
2003ICCDIndependent Test Sequence Compaction through Integer Programming.Petros Drineas, Yiorgos Makris
2003IOLTSOn Compaction-Based Concurrent Error Detection.Sobeeh Almukhaizim, Petros Drineas, Yiorgos Makris
2003IOLTSAn Analog Checker With Input-Relative Tolerance for Duplicate Signals.Haralampos-G. D. Stratigopoulos, Yiorgos Makris
2003ITCConcurrent Error Detection in Linear Analog Circuits Using State Estimation.Haralampos-G. D. Stratigopoulos, Yiorgos Makris
2003VLSIDSPaRe: Selective Partial Replication for Concurrent Fault Detection in FSMs.Petros Drineas, Yiorgos Makris
2003VTSAn Analog Checker with Dynamically Adjustable Error Threshold for Fully Differential Circuits.Haralampos-G. D. Stratigopoulos, Yiorgos Makris
2001VTSEfficient Transparency Extraction and Utilization in Hierarchical Test.Yiorgos Makris, Vishal Patel, Alex Orailoglu
2000ETSHow to avoid random walks in hierarchical test path identification.Yiorgos Makris, Jamison Collins, Alex Orailoglu
2000ISCASTransparency-based hierarchical test generation for modular RTL designs.Yiorgos Makris, Jamison Collins, Alex Orailoglu, Praveen Vishakantaiah
2000VTSInvariance-Based On-Line Test for RTL Controller-Datapath Circuits.Yiorgos Makris, Ismet Bayraktaroglu, Alex Orailoglu
1999DATEChannel-Based Behavioral Test Synthesis for Improved Module Reachability.Yiorgos Makris, Alex Orailoglu
1998ITCDFT guidance through RTL test justification and propagation analysis.Yiorgos Makris, Alex Orailoglu