1. Baumgartner J, Mony H, Aziz A (2008) Optimal constraint-preserving netlist simplification. In: Proc formal methods in computer-aided design
2. Berry G, Shiple TR, Touati H (1996) Constructive analysis of cyclic circuits. In: IDTC’96: international design and testing conference, Paris, France
3. Biere A, Jussila T (2008) The model checking competition web page. http://fmv.jku.at/hwmcc08
4. LNCS;P Bjesse,2000
5. Bouali A, Bres Y, Berry G, Sentovich EM (2002) State abstraction techniques for the verification of synchronous circuits. In: dcc02: designing correct circuits 2002. Grenoble, France