Raphael ROCHET


ASYL-SdF: A Synthesis Tool for Dependability in Controllers
Raphael ROCHET Regis LEVEUGLE Gabriele SAUCIER 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/10/25
Vol. E79-D  No. 10  pp. 1382-1388
Type of Manuscript:  Special Section PAPER (Special Issue on Synthesis and Verification of Hardware Design)
Category: High-Level Synthesis
Keyword: 
synthesis toolfinite state machinesdependabilityfault detectionfault tolerance
 Summary | Full Text:PDF