Formal verification of hardware correctness: introduction and survey of current research

P. Camurati, P. Prinetto
1988 Computer  
doi:10.1109/2.65 fatcat:dn5xh3m4gbacfffc5ogxybxbjm