Authors: YUN KY BEEREL PA VAKILOTOJAR V DOOPLY AE ARCEO J

Citation: Ky. Yun et al., THE DESIGN AND VERIFICATION OF A HIGH-PERFORMANCE LOW-CONTROL-OVERHEAD ASYNCHRONOUS DIFFERENTIAL-EQUATION SOLVER, IEEE transactions on very large scale integration (VLSI) systems, 6(4), 1998, pp. 643-655

Authors: BEEREL PA MYERS CJ MENG TH

Citation: Pa. Beerel et al., COVERING CONDITIONS AND ALGORITHMS FOR THE SYNTHESIS OF SPEED-INDEPENDENT CIRCUITS, IEEE transactions on computer-aided design of integrated circuits and systems, 17(3), 1998, pp. 205-219

Authors: VAKILOTOJAR V BEEREL PA

Citation: V. Vakilotojar et Pa. Beerel, RTL VERIFICATION OF TIMED ASYNCHRONOUS AND HETEROGENEOUS SYSTEMS USING SYMBOLIC MODEL CHECKING, Integration, 24(1), 1997, pp. 19-35

Authors: YUN KY BEEREL PA ARCEO J

Citation: Ky. Yun et al., HIGH-PERFORMANCE 2-PHASE MICROPIPELINE BUILDING-BLOCKS - DOUBLE EDGE-TRIGGERED LATCHES AND BURST-MODE SELECT AND TOGGLE CIRCUITS, IEE proceedings. Circuits, devices and systems, 143(5), 1996, pp. 282-288

Authors: BEEREL PA HSIEH CT WADEKAR S

Citation: Pa. Beerel et al., ESTIMATION OF ENERGY-CONSUMPTION IN SPEED-INDEPENDENT CONTROL-CIRCUITS, IEEE transactions on computer-aided design of integrated circuits and systems, 15(6), 1996, pp. 672-680