Reduced complexity two-phase micropipeline latch controller

IEEE Journal of Solid-State Circuits

Volumn 33, Issue 10, 1998, Pages 1590-1593

  Taylor, George S ^a   Blair, Gerard M ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Asynchronous logic circuits; Process algebra

Indexed keywords

ALGEBRA; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; COMPUTER SOFTWARE; ELECTRIC INVERTERS; LOGIC CIRCUITS;

SOFTWARE PACKAGE SPICE;

FLIP FLOP CIRCUITS;

EID: 0032188345     PISSN: 00189200     EISSN: None     Source Type: Journal    
DOI: 10.1109/4.720411     Document Type: Article

References (11)

1. M. B. Josephs, "Event register specification and decomposition," presented at the AMULETI Modeling Workshop, Windermere, July 1994.
2. I. E. Sutherland, "Micropipelines," Commun. ACM, vol. 32. pp. 720-738, June 1989.
3. P. Day and J. V. Woods. "Investigation into micropipeline latch styles," IEEE Trans. VLSI Syst., vol. 3. pp. 264-272, June 1995
4. S. Furber and P. Day, "Four-phase micropipeline latch control circuits," IEEE Trans. VLSI Syst., vol. 4. pp. 247-253, June 1996.
5. K. Y. Yun, P. A. Beerel, and J. Arceo, "High-performance two-phase micropipeline building blocks: double edge-triggered latches and burst-mode select and toggle circuits," Proc. Inst. Elect. Eng. Circuits Devices Syst., vol. 143. pp. 282-288. Oct. 1996.
6. G. S. Taylor and G. M. Blair, "Reduced complexity two-phase micropipeline latch controller,"in ESSCIRC'97, Sept. 1997, pp. 304-307.
7. R. Milner, Communication and Concurrency, 2nd ed. Englewood Cliffs, NJ: Prentice-Hall, 1989.
8. R. Cleaveland, J. Parrow, and B. Steffen, "The concurrency workbench," Lecture Notes Comput. Sci., vol. 407, pp. 24-37, June 1990.
9. Y. Liu, "AMULETI : Specification and verification in CCS," Ph.D. dissertation, Department of Computer Science, Calgary, Alberta, Canada, 1995.
10. G. Clark and G. S. Taylor, "The verification of asynchronous circuits using CCS," Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, Scotland, Tech. Rep. ECS-LFCS-97.369. Oct. 1997.
11. G. S. Taylor. G. Clark, and G M Blair, "Application of CCS to verify a simplified two-phase micropipeline latch controller,"in proc.2nd UK Asynchronous Forum, July 1997.