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, dblp, arxiv , 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.
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.