11 research outputs found

    Techniques for ASIC implementation of vector control

    No full text

    Low power, low noise micropipelined flash A–D converter

    No full text

    Stride: a tool for formal interactive system synthesis

    No full text

    A Predictive Synchronizer for Periodic Clock Domains

    No full text

    The choice uncertainty principle

    No full text

    VLSI Implementation of a Low-Power High-Speed Self-Timed Adder

    No full text

    Use of a theorem prover for transformational synthesis

    No full text
    SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--426) / BLDSC - British Library Document Supply CentreGBUnited Kingdo
    corecore