5CUMMINGS C E,MILLS D.Synchronous resets? Asynchronous resets? I am so confused! How will I ever know which to use?[M/OL].(2002-04-xx)[2012-07-31] http ://www. sunburst- design, com.
6KLEEMAN L, CANTONI A.Metastable behavior in digital systems[J].IEEE Design & Test of Computers, 1987,4(6): 4-19.
10Daskaya I, Huhn M, Milius S. Formal safety analysis in industrial practice. In: Proe. of the 16th Int'l Workshop on. Formal Methods for Industrial Critical Systems (FMICS 2011). LNCS 6959, Berlin: Springer-Verlag, 2011. 68-84. [doi: 10.1007/978-3- 642-24431-57].