Logic synthesis and optimisation using Reed-Muller expansions

This thesis presents techniques and algorithms which may be employed to represent, generate and optimise particular categories of Exclusive-OR SumOf-Products (ESOP) forms. The work documented herein concentrates on two types of Reed-Muller (RM) expressions, namely, Fixed Polarity Reed-Muller (FPRM) expansions and KROnecker (KRO) expansions (a category of mixed polarity RM expansions). Initially, the theory of switching functions is comprehensively reviewed. This includes descriptions of various types of RM expansion and ESOP forms. The structure of Binary Decision Diagrams (BDDs) and Reed-Muller Universal Logic Module (RM-ULM) networks are also examined. Heuristic algorithms for deriving optimal (sub-optimal) FPRM expansions of Boolean functions are described. These algorithms are improved forms of an existing tabular technique [1]. Results are presented which illustrate the performance of these new minimisation methods when evaluated against selected existing techniques. An algorithm which may be employed to generate FPRM expansions from incompletely specified Boolean functions is also described. This technique introduces a means of determining the optimum allocation of the Boolean 'don't care' terms so as to derive equivalent minimal FPRM expansions. The tabular technique [1] is extended to allow the representation of KRO expansions. This new method may be employed to generate KRO expansions from either an initial incompletely specified Boolean function or a KRO expansion of different polarity. Additionally, it may be necessary to derive KRO expressions from Boolean Sum-Of-Products (SOP) forms where the product terms are not minterms. A technique is described which forms KRO expansions from disjoint SOP forms without first expanding the SOP expressions to minterm forms. Reed-Muller Binary Decision Diagrams (RMBDDs) are introduced as a graphical means of representing FPRM expansions. RMBDDs are analogous to the BDDs used to represent Boolean functions. Rules are detailed which allow the efficient representation of the initial FPRM expansions and an algorithm is presented which may be employed to determine an optimum (sub-optimum) variable ordering for the RMBDDs. The implementation of RMBDDs as RM-ULM networks is also examined. This thesis is concluded with a review of the algorithms and techniques developed during this research project. The value of these methods are discussed and suggestions are made as to how improved results could have been obtained. Additionally, areas for future work are proposed

Sigmund J. Beck advanced bankruptcy roundtable

Meeting proceedings of a seminar by the same name, held August 14-15, 2020

Semper floreat

Title varies: Gamut; Time off: Semper; The press. Numbering system very erratic

The Hilltop 11-30-1990

This document created through a generous donation of Mr. Paul Cottonhttps://dh.howard.edu/hilltop_902000/1012/thumbnail.jp

A Student Primer on Intersectionality: Not Just A Buzzword

This book: ● lays out the objectives of WS 166, Gender, Race, and Class, taught in the Women’s and Gender Studies Department, Pace University, New York City campus; ● provides a structure for any course addressing intersectionality, feminism, and oppression; ● describes the framework of intersectionality, which examines societal issues by analyzing the interlocking systems of oppression that shape people’s lives; ● argues for a transnational application of intersectionality that also centers U.S. Black feminists’ contributions to understanding oppression; ● includes journal articles, TED Talks, and class exercises that are generally accessible for most students or interested readers without previous exposure to these topics. We designed this book to illustrate that intersectionality is a powerful tool for learning about and addressing injustice and inequity. When we analyze the world using an intersectionality framework, we learn about people’s lives and experiences in ways that we may never have considered, or wanted to consider. And the mere act of examining multiple systems of oppression is not enough, either, as the point of understanding oppression is to end it in all forms. As you read, be thankful for the discomfort, anger, and compassion that may arise; learning about oppression is never easy, but it is a worthwhile and meaningful task

The New Hampshire, Vol. 88, No. 44 (Apr. 14, 1998)

The student publication of the University of New Hampshire