Ordered arbiters

Electronics Letters

Volumn 35, Issue 11, 1999, Pages 877-879

  Bystrov, A ^a   Yakovlev, A ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

TELECOMMUNICATION NETWORKS; TELECOMMUNICATION TRAFFIC;

ARBITERS;

VLSI CIRCUITS;

EID: 0032656236     PISSN: 00135194     EISSN: None     Source Type: Journal    
DOI: 10.1049/el:19990617     Document Type: Article

References (4)

1. MENDLER, M., and STROUP, T.: 'Newtonian arbiters cannot be proven correct', Formal Methods Syst. Design, 1993, 3, (3), pp. 233-257
2. MARTIN, A.J.: 'Collected papers on asynchronous VLSI design'. Technical Report, Caltech-CS-TR-90-09, Dept. of Computer Science, California Institute of Technology, 1990, p. 50
3. SEITZ, C.L.: 'Ideas about arbiters', Lambda, 1980, 1, (1), pp. 10-14
4. YAKOVLEV, A.: 'Designing arbiters using Ppetri nets'. 1995. Israel Workshop on Asynchronous VLSI, 1995, (VLSI Systems Research Center, Israel Institute of Technology, Haifa, Israel), pp. 179-201