Efficient SAT-based combinational ATPG using multi-level don't-cares

Multi-level logic minimization using implicit don't cares

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/43.3211 ◽

1988 ◽

Vol 7 (6) ◽

pp. 723-740 ◽

Cited By ~ 166

Author(s):

K.A. Bartlett ◽

R.K. Brayton ◽

G.D. Hachtel ◽

R.M. Jacoby ◽

C.R. Morrison ◽

...

Keyword(s):

Logic Minimization ◽

Multi Level ◽

Don't Cares

Download Full-text

Multi-Level Logic Synthesis Based on Kronecker Decision Diagrams and Boolean Ternary Decision Diagrams for Incompletely Specified Functions

VLSI Design ◽

10.1155/1995/24594 ◽

1995 ◽

Vol 3 (3-4) ◽

pp. 301-313 ◽

Cited By ~ 6

Author(s):

Marek A. Perkowski ◽

Malgorzata Chrzanowska-Jeske ◽

Andisheh Sarabi ◽

Ingo Schäfer

Keyword(s):

Boolean Functions ◽

Logic Synthesis ◽

General Purpose ◽

Compact Representation ◽

Decision Diagrams ◽

Circuit Realization ◽

Orthogonal Expansions ◽

Fine Grain ◽

Multi Level ◽

Don't Cares

This paper introduces several new families of decision diagrams for multi-output Boolean functions. The introduced families include several diagrams known from literature (BDDs, FDDs) as subsets. Due to this property, these diagrams can provide a more compact representation of functions than either of the two decision diagrams. Kronecker Decision Diagrams (KDDs) with negated edges are based on three orthogonal expansions (Shannon, Positive Davio, Negative Davio) and are created here for incompletely specified Boolean functions as well. An improved efficient algorithm for the construction of KDD is presented and applied in a mapping program to ATMEL 6000 fine-grain FPGAs. Four other new families of functional decision diagrams are also presented: Pseudo KDDs, Free KDDs, Boolean Ternary DDs, and Boolean Kronecker Ternary DDs. The last two families introduce nodes with three edges and require AND, OR and EXOR gates for circuit realization. There are two variants of each of the last two families: canonical and non-canonical. While the canonical diagrams can be used as efficient general-purpose Boolean function representations, the non-canonical variants are also applicable to incompletely specified functions and create don't cares in the process of the creation of the diagram.. They lead to even more compact circuits in logic synthesis and technology mapping.

Download Full-text

The use of observability and external don't cares for the simplification of multi-level networks

27th ACM/IEEE Design Automation Conference ◽

10.1145/123186.123280 ◽

1990 ◽

Cited By ~ 9

Author(s):

Hamid Savoj ◽

Robert K. Brayton

Keyword(s):

Multi Level ◽

Don't Cares

Download Full-text

Multi-level logic simplification using don't cares and filters

Proceedings of the 1989 26th ACM/IEEE conference on Design automation conference - DAC '89 ◽

10.1145/74382.74429 ◽

1989 ◽

Cited By ~ 29

Author(s):

A. Saldanha ◽

A. R. Wang ◽

R. K. Brayton ◽

A. L. Sangiovanni-Vincentelli

Keyword(s):

Multi Level ◽

Don't Cares

Download Full-text

Multi-level Issues in Organizational Behavior and Processes

10.1016/s1475-9144(2005)3 ◽

2005 ◽

Keyword(s):

Organizational Behavior ◽

Multi Level

Download Full-text

Verlaufsanalyse wöchentlicher Selbst- und Fremdeinschätzungen in der Langzeittherapie suchtkranker Jugendlicher

Zeitschrift für Kinder- und Jugendpsychiatrie und Psychotherapie ◽

10.1024/1422-4917/a000594 ◽

2019 ◽

Vol 47 (2) ◽

pp. 126-137

Author(s):

Ferdinand Keller ◽

Tatjana Stadnitski ◽

Jakob Nützel ◽

Renate Schepker

Keyword(s):

Allen Vier ◽

Multi Level

Zusammenfassung. Fragestellung: Über Veränderungen in der emotionalen Befindlichkeit von Jugendlichen während einer Suchttherapie ist wenig bekannt. Methode: Die Jugendlichen füllten wöchentlich einen entsprechenden Fragebogen aus, analog ihre Bezugsbetreuer eine parallelisierte Kurzfassung. Von 42 Jugendlichen liegen insgesamt 853 Bogen und von den Bezugsbetreuern 708 Bogen vor. Die Fragebogen wurden zunächst faktorenanalytisch hinsichtlich ihrer Dimensionalität ausgewertet, anschließend wurden gruppenbezogene Verlaufsanalysen (Multi-Level-Modelle) und Abhängigkeitsanalysen auf Einzelfallebene (Zeitreihenanalysen) durchgeführt. Ergebnisse: Im Jugendlichenfragebogen ergaben sich vier Faktoren: negative Befindlichkeit, Wertschätzung von Therapie/Betreuung, Motivation und Suchtdynamik. Die Übereinstimmung zwischen den Jugendlichen- und der (einfaktoriellen) Betreuereinschätzung fiel insgesamt niedrig bis mäßig aus, brachte aber auf Einzelfallebene differenziertere Ergebnisse. Im Verlauf nahmen die Werte auf allen vier Jugendlichenskalen ab. Einzig der Verlauf der Wertschätzung in der Eingewöhnungsphase war prädiktiv für den späteren Abbruch der Maßnahme: Bei den Abbrechern nahm die Wertschätzung ab, während sie bei den Beendern initial stieg. Schlussfolgerungen: Der bedeutsamste Faktor in Bezug auf die Therapiebeendigung suchtkranker Jugendlicher scheint die Wertschätzung von Therapie/Betreuung zu sein, während die Motivation jugendtypische Schwankungen aufweist. Der Suchtdynamik kam eine deutlich weniger bedeutende Rolle zu als allgemein angenommen. Programme in der Langzeittherapie sollten die Wertschätzung von Therapie/Betreuung künftig mehr fokussieren als die Suchtdynamik.

Download Full-text