• Article  

      Exploiting Shared-Memory to Steer Scalability of Fault Simulation Using Multicore Systems 

      Hadjitheophanous, Stavros; Neophytou, Stelios N.; Michael, Maria K. (2019)
      Current and future multicore architectures can significantly accelerate the performance of test automation procedures depending on the underlying architecture and the scalability of their algorithms. This paper proposes a ...
    • Doctoral Thesis  Open Access

      High quality test pattern generation techniques for digital VLSI circuits 

      Neophytou, Stelios N. (Πανεπιστήμιο Κύπρου, Πολυτεχνική Σχολή / University of Cyprus, Faculty of Engineering, 2009-04)
      Η εξέλιξη της τεχνολογίας ολοκλήρωσης επέτρεψε την υλοποίηση ολοκληρωμένων κυκλωμάτων (μικροτσίπ) με εκπληκτικές δυνατότητες. Η δραματική αύξηση της πολυπλοκότητας των ολοκληρωμένων, πολλές φορές δυσανάλογα ως προς το ...
    • Article  

      Path Representation in Circuit Netlists Using Linear-Sized ZDDs with Optimal Variable Ordering 

      Neophytou, Stelios N.; Michael, Maria K. (2018)
      The efficient representation and manipulation of a large number of paths in a Directed Acyclic Graph (DAG) requires the usage of special data structures that may become of exponential size with respect to the size of the ...