Multi-Terminal Binary Decision Diagrams (MTBDDs) are a well accepted technique for the state graph (SG) based quantitative analysis of large and complex systems specified by means of high-level model description techniques. However, this type of Decision Diagram (DD) is not always the best choice, since finite functions with small satisfaction sets, and where the fulfilling assignments possess ...

BACKGROUND Denys-Drash syndrome (DDS) is associated with mutations of the Wilms' tumour 1 (WT1) gene, and is characterized by pseudohermaphroditism, a progressive glomerulopathy, and the development of Wilms' tumour. More than 90% of patients with DDS who carry constitutional intragenic WT1 mutations are at high risk (90%) for the development of Wilms' tumour. WT1 is a signalling protein with 9...

In this paper, we propose an approach to the reduction of sizes of Multi-Terminal Binary Decision Diagrams (MTBDDs) [3] by using the copy properties of discrete functions. The underlying principles come from copy theory of discrete signals considered in [5, 6, 7]. We propose two modifications of MTBDDs, called Copy DDs (CDDs) and Half Copy DDs (HCDDs), using the corresponding copy operations fr...

Decision Diagrams (DDs) are the state-of-the-art data structure in CAD of integrated circuits. They are used in many safety critical applications, like veriication. In this paper security aspects of implementation techniques of DDs are discussed. A recursive checksum technique is presented for on-line and oo-line checks. These methods are used to verify the integrity of DDs. The correctness of ...

HLA-B*13:01 is associated with dapsone (DDS)-induced hypersensitivity and it has been shown that CD4+ CD8+ T cells are activated by DDS its nitroso metabolite (DDS-NO). However, there a need to define the importance of HLA association in disease pathogenesis. Thus, DDS-NO-specific cell clones (TCC) were generated from hypersensitive patients expressing assessed for phenotype function, HLA-allel...

The introduction of Decision Diagrams (DDs) has brought new means towards solving many of the problems involved in digital circuit design. Compactness of the representation is one key issue. Ordered Pseudo Kronecker Decision Diagrams (OPKDDs) together with the use of complemented edges is known to offer the most general ordered, read-once DD representation at the bit-level, hence OPKDDs hold al...

A new method for hierarchical fault simulation based on multi-level Decision Diagrams (DD) is proposed. We suppose that a register transfer (RT) level information along with gate-level descriptions for blocks of the RT level structure are available. Decision diagrams (DDs) are exploited as a uniform model for describing circuits at these representation levels. The approach proposed allows to re...

A new method for hierarchical fault simulation based on multilevel Decision Diagrams (DD) is proposed. We suppose that a register transfer level (RTL) information along with gate-level descriptions for blocks of the RTL structure are available. Decision diagrams (DDs) are exploited as a uniform model for describing circuits at these representation levels. The approach proposed allows to reduce ...

The paper addresses the problem of the cycle-based simulation performance of synchronous digital systems modeled by the High-Level Decision Diagrams (DDs). A new class of DD representation, called Register-Oriented DDs (RODD) is introduced. RODD model appears to be an efficient and compact representation of the system behavior for the high-level cycle simulation. In order to f i l ly exploit th...