Formal verification of digital circuits

A. Salem
4th IEEE International Workshop on System-on-Chip for Real-Time Applications  
doi:10.1109/iwsoc.2004.1319841 fatcat:vxnz5d2en5dsnbvte23maa5vsy