By Topic

IEE Proceedings - Computers and Digital Techniques

Issue 3 • Date 19 May 2003

Filter Results

Displaying Results 1 - 5 of 5
  • Protocols for process interaction

    Publication Year: 2003, Page(s):157 - 182
    Cited by:  Papers (8)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1693 KB)

    The timing effects of interactions between the component concurrent processes of a real-time system, and between these processes and the system environment, have a crucially important role to play in determining the temporal properties of the system as a whole. First, a new and comprehensive set of unidirectional protocols for characterisation of these timing effects is developed, based on interac... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Power optimisation of combinational circuits by input transformations

    Publication Year: 2003, Page(s):133 - 142
    Cited by:  Patents (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (607 KB)

    An approach is presented for power minimisation of CMOS combinational circuits based on transforming power-expensive inputs to functionally equivalent low-power inputs. It is assumed that the environment information is available in the form of either word-level statistics or a long representative input sequence. From the environment information, power-efficient input transformations are derived th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fan-in- and fan-out-factor oriented BIST design for sequential machines

    Publication Year: 2003, Page(s):183 - 188
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (476 KB)

    BIST design for sequential circuits is a difficult enterprise. The difficulty stems from the lack of uniformity in reachability and emitability of machine states. The paper introduces a BIST-quality metric termed the FiF-FoF (fan-in-factor and fan-out-factor) defined on finite state machine (FSM) states. Based on the FiF-FoF analysis, an efficient synthesis scheme is presented that ensures all sta... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient approach to synthesis of multioutput Boolean functions on PAL-based devices

    Publication Year: 2003, Page(s):143 - 149
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (433 KB)

    An efficient approach to logic synthesis of multioutput functions using PAL-based devices is proposed. According to this approach, product terms included in a logic block can be shared by several functions. The method consists of a search for the common multioutput implicants. After completion of two-level minimisation of the multioutput function, the process of searching for the common implicants... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Algebraic factoring algorithm to recognise read-once functions

    Publication Year: 2003, Page(s):150 - 156
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (546 KB)

    A fast polynomial-time algorithm was recently proposed to determine whether a logic function expressed as a unate DNF (disjunctive normal form) can be expressed as a read-once formula where each variable appears no more than once. The paper uses a combinatorial characterisation of read-once formulas to achieve its objective. It is shown that one can use the well-known and more intuitive notion of ... View full abstract»

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