Yu Rong HOU


An Algebraic Specification of a Daisy Chain Arbiter
Yu Rong HOU Atsushi OHNISHI Yuji SUGIYAMA Takuji OKAMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/11/25
Vol. E75-D  No. 6  pp. 778-784
Type of Manuscript:  Special Section PAPER (Special Issue on Pacific Rim International Symposium on Fault Tolerant Systems)
Category: 
Keyword: 
specificationalgebraic methodasynchronous circuitsarbiter
 Summary | Full Text:PDF