By Topic

IEE Proceedings E - Computers and Digital Techniques

Issue 6 • Nov 1991

Filter Results

Displaying Results 1 - 7 of 7
  • Minimal synthesis of multivalued functions with new operators

    Publication Year: 1991, Page(s):419 - 423
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (308 KB)

    The operators pi and sigma for multivalued logic are examined. While pi has been originally proposed in the literature, in connection with fuzzy logic, sigma is introduced here. Simple implementations of these operators in the form of I2L circuits are also proposed, with examples for four-valued logic. A simple algebraic treatment leads to the definition of a minimal form for any given ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Boolean matrix transforms for the parity spectrum and minimisation of modulo-2 canonical expansions

    Publication Year: 1991, Page(s):411 - 417
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (336 KB)

    Boolean matrix transforms between the parity spectrum and modulo-2 canonical expansions of a Boolean function are considered. Using a Kronecker matrix product approach, fast recursive algorithms derived for these and other transforms are applied to the minimisation of modulo-2 canonical expansions. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Discrete logarithm hash function that is collision free and one way

    Publication Year: 1991, Page(s):407 - 410
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (284 KB)

    For suitable composite modulus n and suitable base a, the discrete logarithm hash function x to ax mod n is collision free and one way if factoring n is hard. Further results on the relation between the discrete logarithm problem and factoring are given. Some complexity theory issues are considered. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Two-dimensional systolic array for the column-by-column QD algorithm

    Publication Year: 1991, Page(s):401 - 406
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (436 KB)

    A 2D systolic array for the column-by-column QD algorithm is presented. The design requires 4n+R+S-4 steps and (n-1)(2n+2R-1) processors to compute at least R iterations to the roots of S polynomials of degree less than or equal to n. A proof of correctness is given to verify the design and it is shown that the array is asymptotically optimal with respect to processor and bandwidth utilisation. Va... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Concurrent self-checking for microprogrammed control units: an analytical survey

    Publication Year: 1991, Page(s):377 - 388
    Cited by:  Papers (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (928 KB)

    A comparative survey and systematic categorisation of the main western and soviet publications over the past five years in the area of concurrent techniques for control-flow checking for microprocessor-based systems is presented. The types of faults encountered in microprogram execution are described, and a number of techniques for detecting these faults are outlined. These include methods for par... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simulation of PM2I network by folded hypercube

    Publication Year: 1991, Page(s):397 - 400
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (268 KB)

    The folded hypercube (FHC) has been shown to be an attractive hypercube-based network with high performance. Owing to its rich interconnections, the FHC can simulate the functions of some other SIMD networks efficiently. In the paper, the simulation of the PM2I (Plus Minus 2I and also known as the barrel shifter) by the FHC is addressed. A model for SIMD machines is adopted to devise some simple s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • New approach to synthesis of self-checking microprogrammed control units with specified fault-detection probabilities

    Publication Year: 1991, Page(s):389 - 396
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (568 KB)

    The paper presents an initial attempt to create a general procedure for synthesising concurrent self-checking microprogrammed control units having a prescribed quality of checking. The authors consider systems in which diagnostic features are provided by the use of a checking strategy based on special check keys to code the flow graph representing the microinstruction sequence. They investigate th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.