Welcome to the extension of my NCSU home page: directories of my research are now synchronized with the Google Drive under the directory  OPUS2. The companion directory,  OPUS, contains a library of articles and books, authored by other researchers. The directory MEDIA is  a placeholder for files I am sharing: articles, books, music, musings, photos, and videos. 

This directory archives code, latex, and media files of earlier work as well as the ongoing collaborative work. Periodically, stable rBed code  files are released under  rBedPlus ....

About Articles and Talks

Most of articles  under  articles+talks have been indexed and are accessible  from Google Scholar,    dblparxiv , researchgate, or academia . Original articles, along with companion slides of talks, stand-alone talks, patents, and co-supervised  MSc/PhD theses , are posted as pdf files  for ready download from  this index file. Presentations of experimental results after 2010 strive to meet the standards defined by Tufte in Beautiful Evidence.

Keywords that point to most of the articles and talks include:

 BDD variable ordering experiments, bipartite graph matchings and covers, boolean matching, built-in self-test, circuit optimization by partitioning, resynthesis and retiming, combinatorial optimization, covertime experiments, design of experiments, diagnosis of wiring interconnect faults, digital filter design, don't care sets, fault coverage, ATPG, first-passage-time, isomorphs, low autocorrelation binary sequence (labs) problem, minimum-cost satisfiability problem, mutants, networks with optimum gain-bandwidth product, optimization, partitioning into FPGAs, permutation-invariant boolean functions, RL networks, sat solvers, self-avoiding walks, set cover problem, silicon compiler with OASIS, switched-capacitor networks, synthesis for testability, taskflow-oriented programming, Tcl/Tk, technology mapping for multi-level logic synthesis, testability-driven random test pattern generation, transition fault simulation, variable equalizers, weighted random pattern hardware, wire-crossing minimization, workflows.

About rBed-google

 Reliable experimental performance evaluation of combinatorial optimization algorithms requires rigorous design of asymptotic and reproducible experiments. The schema, denoted as rBed, encapsulates a number of collaborative projects in progress.  The rBed schema relies on the language of R: not only to encapsulate  solver prototypes  (R, java, python,  C++),  but also to design statistically significant and reproducible asymptotic experiments. 

This directory archives code, latex, and media files of earlier work as well as the ongoing collaborative work.  For details, see the index file.  For an example of the first project, see Asymptotic Experiments with Data Structures: Bipartite Graph Matchings and Covers.

 Periodically, stable rBed  code files are released under  rBedPlus

About the EDA (Electronic Design Automation) benchmarks

The origins of directories and files in this archive go back to the air-mail distribution of magnetic tapes of the ISCAS85 benchmarks to participants in the Special Session on Test Generation, organized by Franc Brglez and Hideo Fujiwara at the International Symposium on Circuits and Systems in 1985 (ISCAS85) in Kyoto, Japan. A trend-setting session of special sessions and international workshops with distribution of benchmarsk  ensued, , including the NSF-sponsored DIMACS series of workshops. As of October 2021, O(807,000) and O(1,110,000) search engine hits have been recorded for ISCAS85 and ISCAS89 acronyms alone.

Initially, the ftp server at MCNC became  the integral part for the new benchmarks distribution as part of the various international workshops held at t MCNC. The initial support for for the distribution of these benchmarks came from Bell-Northern Research , Nortel Networks,  and MCNC. The follow-up  awards that extended the distribution and maintenance of benchmarks in this archive is listed under 'Awards' on my NCSU home page where these benchmarks resided for a number of years.

 Currently, the entire zipped archive can be downloaded here.