Technology Mapping for Circuit Optimization Using Content-Addressable Memory

The growing complexity of Field Programmable Gate Arrays (FPGA's) is leading to architectures with high input cardinality look-up tables (LUT's). This thesis describes a methodology for area-minimizing technology mapping for combinational logic, specifically designed for such FPGA architectures. This methodology, called LURU, leverages the parallel search capabilities of Content-Addressable Memories (CAM's) to outperform traditional mapping algorithms in both execution time and quality of results. The LURU algorithm is fundamentally different from other techniques for technology mapping in that LURU uses textual string representations of circuit topology in order to efficiently store and search for circuit patterns in a CAM. A circuit is mapped to the target LUT technology using both exact and inexact string matching techniques. Common subcircuit expressions (CSE's) are also identified and used for architectural optimization---a small set of CSE's is shown to effectively cover an average of 96% of the test circuits. LURU was tested with the ISCAS'85 suite of combinational benchmark circuits and compared with the mapping algorithms FlowMap and CutMap. The area reduction shown by LURU is, on average, 20% better compared to FlowMap and CutMap. The asymptotic runtime complexity of LURU is shown to be better than that of both FlowMap and CutMap

A Survey on Retrieval of Mathematical Knowledge

We present a short survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 72 papers and tentative taxonomies of both retrieval problems and recurring techniques.Comment: CICM 2015, 20 page

Nominal C-Unification

Nominal unification is an extension of first-order unification that takes into account the \alpha-equivalence relation generated by binding operators, following the nominal approach. We propose a sound and complete procedure for nominal unification with commutative operators, or nominal C-unification for short, which has been formalised in Coq. The procedure transforms nominal C-unification problems into simpler (finite families) of fixpoint problems, whose solutions can be generated by algebraic techniques on combinatorics of permutations.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Innovations that Address Socioeconomic, Cultural, and Geographic Barriers to Preventive Oral Health Care

This report focuses on nine oral health innovations that integrate service delivery and workforce models in order to reduce or eliminate socioeconomic, geographic, and cultural barriers to care. Two additional reports in this series describe the remaining programs that provide care in non-dental settings and care to young children. Although the programs are diverse in their approaches as well as in the specific characteristics of the communities they serve, a common factor among them is the implementation of multiple strategies to increase the number of children from low-income families who access preventive care, and also to engage families and communities in investing in and prioritizing oral health. For low-income children and their families, the barriers that must be addressed to increase access to preventive oral health care are numerous. For example, even children covered by public insurance programs face a shortage of dentists that accept Medicaid and who specialize in pediatric dentistry.(Guay, 2004).The effects of poverty intersect with other barriers such as living in remote geographic areas and community-wide history of poor access to dental care in populations such as recent immigrants . Overcoming these barriers requires creative strategies that address transportation barriers; establish welcoming environments for oral health care; and are linguistically and culturally relevant. Each of these nine programs is based on such strategies, including:-Expanding the dental workforce through training new types of providers or adding new providers to their workforce to increase reach and community presence;-Implementing new strategies to increase the cost-effectiveness of care so that more oral health care services are available and accessible;-Providing training and technical assistance that increase opportunities for and competence in delivering oral health education and care to children;-Developing creative service delivery models that address transportation and cultural barriers as well as the fear and stigma associated with dental care that may arise in communities with historically poor access.The findings from the EAs of these programs are synthesized to highlight diverse and innovative strategies for overcoming barriers to access that have potential for rigorous evaluation that could emerge as best practices. If proven effective, these innovative program elements could then be disseminated and replicated to increase access for populations in need of preventive oral health care